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

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

PrefixNamespace IRI
n8http://dbpedia.org/resource/Isabelle_(proof_assistant)
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://dbpedia.org/resource/Cliff_Jones_(computer_scientist)
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:Tobias_Nipkow
rdfs:comment
Tobias Nipkow (born 1958) is a German computer scientist. He received his Diplom (MSc) in computer science from the Technische Hochschule Darmstadt in 1982, and his Ph.D. from the University of Manchester in 1987. He worked at MIT from 1987, changed to Cambridge University in 1989, and to Technical University Munich in 1992, where he was appointed professor for programming theory.
foaf:name
Tobias Nipkow Nipkow, Tobias
dc:description
German computer scientist
dbpedia-owl:birthYear
1958-01-01Z
dbpedia-owl:doctoralAdvisor
n5:
dbpedia-owl:knownFor
n8:
dbpedia-owl:residence
dbpedia:Munich