CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgr:
Tobias_Nipkow
Property
Value
rdf:
type
Theoretical computer scientist
owl:
NamedIndividual
1958 birth
German computer scientist
Living person
Technische Universität Darmstadt alumnus
rdfs:
label
Tobias Nipkow
owl:
sameAs
dbr:
Tobias_Nipkow
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Technische_Universit%C3%A4t_Darmstadt_alumni
http://en.wikipedia.org/wiki/Category:1958_births
http://en.wikipedia.org/wiki/Category:Lists_of_living_people
http://en.wikipedia.org/wiki/Category:Living_people
http://en.wikipedia.org/wiki/List_of_computer_scientists
http://en.wikipedia.org/wiki/List_of_living_people
http://en.wikipedia.org/wiki/Category:Theoretical_computer_scientists
http://en.wikipedia.org/wiki/Category:German_computer_scientists
http://en.wikipedia.org/wiki/Herbrand_Award
http://en.wikipedia.org/wiki/Summer_School_Marktoberdorf
skos:
prefLabel
Tobias Nipkow
clgo:
academicDiscipline
Computer science
clgo:
almaMater
Technische Universität Darmstadt
clgo:
birthYear
1958
clgo:
doctoralAdvisor
Cliff Jones (computer scientist)
clgo:
institution
Technical University of Munich
University of Cambridge
Massachusetts Institute of Technology
clgo:
knownFor
Isabelle (proof assistant)
clgo:
residence
Munich
is
clgo:
doctoralStudent
of
Cliff Jones (computer scientist)