This HTML5 document contains 38 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
schema	http://schema.org/
n7	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/

Statements

Subject Item

dbr:Stephen_Cook__Stephen_Cook__1

rdf:type

wikidata:Q215627 dbo:Species owl:Thing wikidata:Q729 wikidata:Q19088 dbo:Scientist wikidata:Q901 foaf:Person dbo:Eukaryote n7:NaturalPerson schema:Person dbo:Person wikidata:Q5 dbo:Animal

foaf:name

Stephen Cook

dbo:birthPlace

dbr:Buffalo,_New_York

dbo:birthDate

1939-12-14

dbo:doctoralAdvisor

dbr:Hao_Wang_(academic)

dbo:doctoralStudent

dbr:Walter_Savitch dbr:Toniann_Pitassi dbr:Anna_Lubiw dbr:Mark_Braverman_(mathematician) dbr:Arvind_Gupta_(academic)

dbo:birthName

Stephen Arthur Cook

dbo:academicDiscipline

dbr:Computer_Science

dbo:almaMater

dbr:Harvard_University dbr:University_of_Michigan

dbo:award

dbr:Gerhard_Herzberg_Canada_Gold_Medal_for_Science_and_Engineering dbr:Order_of_Canada dbr:BBVA_Foundation_Frontiers_of_Knowledge_Award dbr:Bernard_Bolzano_Medal dbr:John_L._Synge_Award dbr:CRM-Fields-PIMS_prize dbr:Gödel_Lecture dbr:Turing_Award

dbo:knownFor

dbr:Proof_complexity dbr:Cook–Levin_theorem dbr:NP-complete