Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Stephen Cook
An Entity of Type:
animal
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
academicDiscipline
dbr
:Computer_Science
dbo:
almaMater
dbr
:University_of_Michigan
dbr
:Harvard_University
dbo:
award
dbr
:John_L._Synge_Award
dbr
:Turing_Award
dbr
:Gödel_Lecture
dbr
:Gerhard_Herzberg_Canada_Gold_Medal_for_Science_and_Engineering
dbr
:BBVA_Foundation_Frontiers_of_Knowledge_Award
dbr
:CRM-Fields-PIMS_prize
dbr
:Order_of_Canada
dbr
:Bernard_Bolzano_Medal
dbo:
birthDate
1939-12-14
(xsd:date)
dbo:
birthName
Stephen Arthur Cook
(en)
dbo:
birthPlace
dbr
:Buffalo,_New_York
dbo:
doctoralAdvisor
dbr
:Hao_Wang_(academic)
dbo:
doctoralStudent
dbr
:Anna_Lubiw
dbr
:Walter_Savitch
dbr
:Toniann_Pitassi
dbr
:Arvind_Gupta_(academic)
dbr
:Mark_Braverman_(mathematician)
dbo:
knownFor
dbr
:Proof_complexity
dbr
:NP-complete
dbr
:Cook–Levin_theorem
rdf:
type
owl
:Thing
foaf
:Person
dbo
:Person
dul
:NaturalPerson
wikidata
:Q19088
wikidata
:Q215627
wikidata
:Q5
wikidata
:Q729
dbo
:Animal
dbo
:Eukaryote
dbo
:Scientist
dbo
:Species
schema
:Person
wikidata
:Q901
foaf:
name
Stephen Cook
(en)
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License