Michael Kohlhase (born 13 September 1964 in Erlangen) is a German computer scientist and professor at Friedrich-Alexander University Erlangen-Nürnberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content).

Property Value
dbo:abstract
  • Michael Kohlhase (born 13 September 1964 in Erlangen) is a German computer scientist and professor at Friedrich-Alexander University Erlangen-Nürnberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content). (en)
dbo:academicDiscipline
dbo:almaMater
dbo:birthDate
  • 1964-09-13 (xsd:date)
dbo:birthPlace
dbo:doctoralAdvisor
dbo:knownFor
dbo:nationality
dbo:residence
dbo:thumbnail
dbo:wikiPageEditLink
dbo:wikiPageExternalLink
dbo:wikiPageExtracted
  • 2018-05-03 22:47:05Z (xsd:date)
dbo:wikiPageHistoryLink
dbo:wikiPageID
  • 15329773 (xsd:integer)
dbo:wikiPageLength
  • 6678 (xsd:integer)
dbo:wikiPageModified
  • 2018-01-28 02:21:16Z (xsd:date)
dbo:wikiPageOutDegree
  • 65 (xsd:integer)
dbo:wikiPageRevisionID
  • 822716613 (xsd:integer)
dbo:wikiPageRevisionLink
dbp:almaMater
dbp:birthDate
  • 1964-09-13 (xsd:date)
dbp:birthPlace
dbp:doctoralAdvisor
dbp:fields
dbp:knownFor
dbp:name
  • Michael Kohlhase (en)
dbp:nationality
dbp:residence
dbp:thesisTitle
  • A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle (en)
dbp:thesisYear
  • 1994 (xsd:integer)
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Michael Kohlhase (born 13 September 1964 in Erlangen) is a German computer scientist and professor at Friedrich-Alexander University Erlangen-Nürnberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content). (en)
rdfs:label
  • Michael Kohlhase (en)
owl:sameAs
foaf:depiction
foaf:gender
  • male (en)
foaf:isPrimaryTopicOf
foaf:name
  • Michael Kohlhase (en)
is dbo:wikiPageDisambiguates of
is dbp:owner of
is foaf:primaryTopic of