http://dbpedia.org/ontology/abstract
|
Tobias Nipkow (born 1958) is a German computer scientist.
|
http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Cliff_B._Jones +
|
http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/MIT +
, http://dbpedia.org/resource/Cambridge_University +
, http://dbpedia.org/resource/TU_Munich +
|
http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Isabelle_proof_assistant +
|
http://dbpedia.org/ontology/residence
|
http://dbpedia.org/resource/Munich +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www21.in.tum.de/~nipkow +
, http://www.worldcat.org/title/behavioural-implementation-concepts-for-nondeterministic-data-types/oclc/18002367 +
|
http://dbpedia.org/ontology/wikiPageID
|
43946143
|
http://dbpedia.org/ontology/wikiPageLength
|
6598
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1117950749
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/University_of_Manchester +
, http://dbpedia.org/resource/Journal_of_Automated_Reasoning +
, http://dbpedia.org/resource/Category:Technical_University_of_Munich_faculty +
, http://dbpedia.org/resource/Diplom +
, http://dbpedia.org/resource/ACM_Transactions_on_Programming_Languages_and_Systems +
, http://dbpedia.org/resource/Category:1958_births +
, http://dbpedia.org/resource/Cliff_B._Jones +
, http://dbpedia.org/resource/Herbrand_Award +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Type_systems +
, http://dbpedia.org/resource/Category:Technische_Universit%C3%A4t_Darmstadt_alumni +
, http://dbpedia.org/resource/Interactive_theorem_proving +
, http://dbpedia.org/resource/MIT +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/TU_Munich +
, http://dbpedia.org/resource/Department_of_Computer_Science_of_TU_Darmstadt +
, http://dbpedia.org/resource/Franz_Baader +
, http://dbpedia.org/resource/Isabelle_proof_assistant +
, http://dbpedia.org/resource/Technische_Hochschule_Darmstadt +
, http://dbpedia.org/resource/Lawrence_Paulson +
, http://dbpedia.org/resource/Munich +
, http://dbpedia.org/resource/Programming_language_semantics +
, http://dbpedia.org/resource/Cambridge_University +
, http://dbpedia.org/resource/Functional_programming +
, http://dbpedia.org/resource/Nachum_Dershowitz +
, http://dbpedia.org/resource/LNCS +
, http://dbpedia.org/resource/Technical_University_Munich +
, http://dbpedia.org/resource/Journal_of_the_ACM +
, http://dbpedia.org/resource/Automatic_theorem_proving +
|
http://dbpedia.org/property/birthDate
|
1958
|
http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Cliff_B._Jones +
|
http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Isabelle_proof_assistant +
|
http://dbpedia.org/property/name
|
Tobias Nipkow
|
http://dbpedia.org/property/residence
|
http://dbpedia.org/resource/Munich +
|
http://dbpedia.org/property/thesisTitle
|
Behavioural Implementation Concepts for Nondeterministic Data Types
|
http://dbpedia.org/property/thesisUrl
|
http://www.worldcat.org/title/behavioural-implementation-concepts-for-nondeterministic-data-types/oclc/18002367 +
|
http://dbpedia.org/property/thesisYear
|
1987
|
http://dbpedia.org/property/website
|
http://www21.in.tum.de/~nipkow +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Compu-scientist-stub +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_thesis +
, http://dbpedia.org/resource/Template:Short_description +
|
http://dbpedia.org/property/workplaces
|
http://dbpedia.org/resource/TU_Munich +
, http://dbpedia.org/resource/MIT +
, http://dbpedia.org/resource/Cambridge_University +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Technische_Universit%C3%A4t_Darmstadt_alumni +
, http://dbpedia.org/resource/Category:1958_births +
, http://dbpedia.org/resource/Category:Technical_University_of_Munich_faculty +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
http://schema.org/sameAs
|
http://viaf.org/viaf/113774856 +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Tobias_Nipkow?oldid=1117950749&ns=0 +
|
http://xmlns.com/foaf/0.1/homepage
|
http://www21.in.tum.de/~nipkow +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Tobias_Nipkow +
|
http://xmlns.com/foaf/0.1/name
|
Tobias Nipkow
|
owl:sameAs |
http://www.wikidata.org/entity/Q18217799 +
, http://d-nb.info/gnd/112439985 +
, http://d-nb.info/gnd/174092776 +
, http://viaf.org/viaf/113774856 +
, http://d-nb.info/gnd/17275660X +
, http://rdf.freebase.com/ns/m.0120y3t3 +
, http://data.bibliotheken.nl/id/thes/p120012014 +
, https://dblp.org/pid/n/TobiasNipkow +
, http://yago-knowledge.org/resource/Tobias_Nipkow +
, http://dbpedia.org/resource/Tobias_Nipkow +
, https://orcid.org/0000-0003-0730-515X +
, https://global.dbpedia.org/id/kwcv +
|
rdf:type |
http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q19088 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/ontology/Person +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q729 +
, http://schema.org/Person +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/ontology/Animal +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
|
rdfs:comment |
Tobias Nipkow (born 1958) is a German computer scientist.
|
rdfs:label |
Tobias Nipkow
|