Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Michael_Kohlhase> ?p ?o }
- Michael_Kohlhase abstract "Michael Kohlhase (born 13 September 1964 in Erlangen) is a German computer scientist and professor at Jacobs University, Bremen, Germany, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content) at the School of Engineering and Science.".
- Michael_Kohlhase almaMater Saarland_University.
- Michael_Kohlhase birthDate "1964-09-13".
- Michael_Kohlhase birthPlace Erlangen.
- Michael_Kohlhase birthPlace Germany.
- Michael_Kohlhase birthYear "1964".
- Michael_Kohlhase doctoralAdvisor Jörg_Siekmann.
- Michael_Kohlhase field Computer_science.
- Michael_Kohlhase field Mathematics.
- Michael_Kohlhase knownFor OMDoc.
- Michael_Kohlhase nationality Germans.
- Michael_Kohlhase residence Germany.
- Michael_Kohlhase thumbnail MichaelKohlhaseExplainsNestedWorkingCopies.jpg?width=300.
- Michael_Kohlhase wikiPageExternalLink Kohlhase:Michael.
- Michael_Kohlhase wikiPageExternalLink id.php?id=136649.
- Michael_Kohlhase wikiPageExternalLink kwarc.info.
- Michael_Kohlhase wikiPageExternalLink kohlhase.
- Michael_Kohlhase wikiPageExternalLink publications.html.
- Michael_Kohlhase wikiPageExternalLink sks.
- Michael_Kohlhase wikiPageExternalLink www.mathweb.org.
- Michael_Kohlhase wikiPageExternalLink www.openmath.org.
- Michael_Kohlhase wikiPageID "15329773".
- Michael_Kohlhase wikiPageLength "6834".
- Michael_Kohlhase wikiPageOutDegree "68".
- Michael_Kohlhase wikiPageRevisionID "700406179".
- Michael_Kohlhase wikiPageWikiLink ArXiv.
- Michael_Kohlhase wikiPageWikiLink Automated_theorem_proving.
- Michael_Kohlhase wikiPageWikiLink Bremen.
- Michael_Kohlhase wikiPageWikiLink CALCULEMUS.
- Michael_Kohlhase wikiPageWikiLink Carnegie_Mellon_University.
- Michael_Kohlhase wikiPageWikiLink Category:1964_births.
- Michael_Kohlhase wikiPageWikiLink Category:Artificial_intelligence_researchers.
- Michael_Kohlhase wikiPageWikiLink Category:German_academics.
- Michael_Kohlhase wikiPageWikiLink Category:German_computer_scientists.
- Michael_Kohlhase wikiPageWikiLink Category:Living_people.
- Michael_Kohlhase wikiPageWikiLink Category:Studienstiftung_alumni.
- Michael_Kohlhase wikiPageWikiLink CiteSeer.
- Michael_Kohlhase wikiPageWikiLink Computer_science.
- Michael_Kohlhase wikiPageWikiLink Conference_on_Automated_Deduction.
- Michael_Kohlhase wikiPageWikiLink DBLP.
- Michael_Kohlhase wikiPageWikiLink Educational_technology.
- Michael_Kohlhase wikiPageWikiLink Erlangen.
- Michael_Kohlhase wikiPageWikiLink German_Annual_Conference_on_Artificial_Intelligence.
- Michael_Kohlhase wikiPageWikiLink German_Research_Centre_for_Artificial_Intelligence.
- Michael_Kohlhase wikiPageWikiLink German_Research_Foundation.
- Michael_Kohlhase wikiPageWikiLink Germans.
- Michael_Kohlhase wikiPageWikiLink Germany.
- Michael_Kohlhase wikiPageWikiLink Habilitation.
- Michael_Kohlhase wikiPageWikiLink Inference.
- Michael_Kohlhase wikiPageWikiLink International_Mathematical_Union.
- Michael_Kohlhase wikiPageWikiLink Jacobs_University_Bremen.
- Michael_Kohlhase wikiPageWikiLink Jörg_Siekmann.
- Michael_Kohlhase wikiPageWikiLink Knowledge_representation_and_reasoning.
- Michael_Kohlhase wikiPageWikiLink LaTeX.
- Michael_Kohlhase wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Michael_Kohlhase wikiPageWikiLink MathML.
- Michael_Kohlhase wikiPageWikiLink Mathematical_knowledge_management.
- Michael_Kohlhase wikiPageWikiLink Mathematics.
- Michael_Kohlhase wikiPageWikiLink Mathematics_Genealogy_Project.
- Michael_Kohlhase wikiPageWikiLink Natural_language_processing.
- Michael_Kohlhase wikiPageWikiLink OMDoc.
- Michael_Kohlhase wikiPageWikiLink OpenMath.
- Michael_Kohlhase wikiPageWikiLink SRI_International.
- Michael_Kohlhase wikiPageWikiLink Saarland_University.
- Michael_Kohlhase wikiPageWikiLink Semantic_search.
- Michael_Kohlhase wikiPageWikiLink Semantics.
- Michael_Kohlhase wikiPageWikiLink Studienstiftung.
- Michael_Kohlhase wikiPageWikiLink University_of_Amsterdam.
- Michael_Kohlhase wikiPageWikiLink University_of_Bonn.
- Michael_Kohlhase wikiPageWikiLink University_of_Edinburgh.
- Michael_Kohlhase wikiPageWikiLink File:MichaelKohlhaseExplainsMathWebSearch.jpg.
- Michael_Kohlhase wikiPageWikiLinkText "Michael Kohlhase".
- Michael_Kohlhase almaMater Saarland_University.
- Michael_Kohlhase birthDate "1964-09-13".
- Michael_Kohlhase birthPlace Erlangen.
- Michael_Kohlhase birthPlace Germany.
- Michael_Kohlhase dateOfBirth "1964-09-13".
- Michael_Kohlhase doctoralAdvisor Jörg_Siekmann.
- Michael_Kohlhase fields Computer_science.
- Michael_Kohlhase fields Mathematics.
- Michael_Kohlhase knownFor OMDoc.
- Michael_Kohlhase name "Kohlhase".
- Michael_Kohlhase name "Michael Kohlhase".
- Michael_Kohlhase nationality Germans.
- Michael_Kohlhase placeOfBirth Erlangen.
- Michael_Kohlhase placeOfBirth Germany.
- Michael_Kohlhase residence Germany.
- Michael_Kohlhase shortDescription "German computer scientist".
- Michael_Kohlhase thesisTitle "A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle".
- Michael_Kohlhase thesisYear "1994".
- Michael_Kohlhase wikiPageUsesTemplate Template:Authority_control.
- Michael_Kohlhase wikiPageUsesTemplate Template:Birth_date.
- Michael_Kohlhase wikiPageUsesTemplate Template:Infobox_scientist.
- Michael_Kohlhase wikiPageUsesTemplate Template:Persondata.
- Michael_Kohlhase wikiPageUsesTemplate Template:Reflist.
- Michael_Kohlhase description "German computer scientist".
- Michael_Kohlhase description "German computer scientist".
- Michael_Kohlhase subject Category:1964_births.
- Michael_Kohlhase subject Category:Artificial_intelligence_researchers.
- Michael_Kohlhase subject Category:German_academics.