| dbo:abstract |
Michael Kohlhase (* 13. September 1964 in Erlangen) ist ein deutscher Informatiker und Professor an der Friedrich-Alexander-Universität Erlangen-Nürnberg, wo er an der Technischen Fakultät die Forschungsgruppe KWARC (Knowledge Adaptation and Reasoning for Content) leitet. (de) Michael Kohlhase (born 13 September 1964, in Erlangen) is a German computer scientist and professor at University of Erlangen–Nuremberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content). (en) Michael Kohlhase (Erlangen, 13 settembre 1964) è un informatico e matematico tedesco, attualmente professore alla Scuola di Ingegneria e Scienza della Jacobs University di Brema, Germania; qui dirige il gruppo di ricerca KWARC (Knowledge Adaptation and Reasoning for Content). (it) |
| dbo:thumbnail |
wiki-commons:Special:FilePath/MichaelKohlhaseExplainsNestedWorkingCopies.jpg?width=300 |
| dbo:wikiPageExternalLink |
http://kwarc.info/kohlhase https://kwarc.info/people/mkohlhase https://web.archive.org/web/20091108061913/http:/www.dfki.de/web/research/sks http://dblp.uni-trier.de/pers/hd/k/Kohlhase:Michael http://kwarc.info http://www.mathweb.org http://www.openmath.org http://genealogy.math.ndsu.nodak.edu/id.php%3Fid=136649 |
| dbo:wikiPageID |
15329773 (xsd:integer) |
| dbo:wikiPageLength |
7650 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1112982393 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Carnegie_Mellon_University dbr:Natural_language_processing dbr:OpenMath dbr:Bremen dbr:Deutsche_Forschungsgemeinschaft dbr:University_of_Amsterdam dbr:University_of_Bonn dbr:University_of_Edinburgh dbr:University_of_Erlangen–Nuremberg dbr:Inference dbr:International_Mathematical_Union dbr:OMDoc dbc:Living_people dbr:Computer_Science dbr:MathML dbr:Mathematics dbr:SRI_International dbr:Saarland_University dbc:German_computer_scientists dbr:Germans dbr:Germany dbr:Conference_on_Automated_Deduction dbr:ArXiv dbr:Studienstiftung dbr:Frank_Pfenning dbr:Automated_theorem_proving dbc:1964_births dbc:Natural_language_processing_researchers dbc:University_of_Erlangen-Nuremberg_faculty dbr:CiteSeer dbr:Habilitation dbr:Lecture_Notes_in_Computer_Science dbr:DBLP dbr:Erlangen dbr:German_Research_Centre_for_Artificial_Intelligence dbr:Global_Digital_Mathematics_Library dbr:Knowledge_representation dbr:Jacobs_University_Bremen dbc:Artificial_intelligence_researchers dbc:Studienstiftung_alumni dbr:LaTeX dbr:Mathematics_Genealogy_Project dbr:Semantic_search dbr:Mathematical_Knowledge_Management dbr:Linguistic_semantics dbr:Electronic_learning dbr:Jörg_Siekmann dbr:CALCULEMUS dbr:File:MichaelKohlhaseExplainsMathWebSearch.jpg dbr:German_Annual_Conference_on_Artificial_Intelligence |
| dbp:almaMater |
dbr:Saarland_University |
| dbp:birthDate |
1964-09-13 (xsd:date) |
| dbp:birthPlace |
dbr:Germany dbr:Erlangen |
| dbp:doctoralAdvisor |
dbr:Frank_Pfenning dbr:Jörg_Siekmann |
| dbp:fields |
dbr:Computer_Science dbr:Mathematics |
| dbp:knownFor |
dbr:OMDoc |
| dbp:name |
Michael Kohlhase (en) |
| dbp:nationality |
dbr:Germans |
| dbp:residence |
dbr:Germany |
| dbp:thesisTitle |
A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle (en) |
| dbp:thesisYear |
1994 (xsd:integer) |
| dbp:wikiPageUsesTemplate |
dbt:Authority_control dbt:Distinguish dbt:Reflist dbt:Short_description dbt:Birth_date_and_age dbt:Infobox_scientist |
| dcterms:subject |
dbc:Living_people dbc:German_computer_scientists dbc:1964_births dbc:Natural_language_processing_researchers dbc:University_of_Erlangen-Nuremberg_faculty dbc:Artificial_intelligence_researchers dbc:Studienstiftung_alumni |
| gold:hypernym |
dbr:Scientist |
| schema:sameAs |
http://viaf.org/viaf/2721665 |
| rdf:type |
owl:Thing dbo:Person yago:WikicatArtificialIntelligenceResearchers yago:WikicatComputerScientists yago:WikicatLivingPeople yago:WikicatStudienstiftungAlumni yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:ResearchWorker110523076 yago:WikicatGermanAcademics yago:WikicatGermanComputerScientists yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatEthnicGermanPeople |
| rdfs:comment |
Michael Kohlhase (* 13. September 1964 in Erlangen) ist ein deutscher Informatiker und Professor an der Friedrich-Alexander-Universität Erlangen-Nürnberg, wo er an der Technischen Fakultät die Forschungsgruppe KWARC (Knowledge Adaptation and Reasoning for Content) leitet. (de) Michael Kohlhase (born 13 September 1964, in Erlangen) is a German computer scientist and professor at University of Erlangen–Nuremberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content). (en) Michael Kohlhase (Erlangen, 13 settembre 1964) è un informatico e matematico tedesco, attualmente professore alla Scuola di Ingegneria e Scienza della Jacobs University di Brema, Germania; qui dirige il gruppo di ricerca KWARC (Knowledge Adaptation and Reasoning for Content). (it) |
| rdfs:label |
Michael Kohlhase (de) Michael Kohlhase (it) Michael Kohlhase (en) |
| owl:differentFrom |
dbr:Michael_Kohlhaas |
| owl:sameAs |
freebase:Michael Kohlhase yago-res:Michael Kohlhase http://d-nb.info/gnd/111886600 http://viaf.org/viaf/2721665 dbpedia-commons:Michael Kohlhase http://d-nb.info/gnd/1129482057 https://dblp.org/pid/k/MKohlhase https://orcid.org/0000-0002-9859-6337 wikidata:Michael Kohlhase http://data.bibliotheken.nl/id/thes/p320840050 http://arz.dbpedia.org/resource/مايكل_كولهيز dbpedia-de:Michael Kohlhase dbpedia-it:Michael Kohlhase https://global.dbpedia.org/id/548kf |
| prov:wasDerivedFrom |
wikipedia-en:Michael_Kohlhase?oldid=1112982393&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/MichaelKohlhaseExplainsMathWebSearch.jpg wiki-commons:Special:FilePath/MichaelKohlhaseExplainsNestedWorkingCopies.jpg |
| foaf:isPrimaryTopicOf |
wikipedia-en:Michael_Kohlhase |
| is dbo:doctoralStudent of |
dbr:Frank_Pfenning |
| is dbo:wikiPageDisambiguates of |
dbr:Kohlhase |
| is dbo:wikiPageRedirects of |
dbr:Kohlhase,_Michael |
| is dbo:wikiPageWikiLink of |
dbr:OpenMath dbr:OMDoc dbr:Comparison_of_document_markup_languages dbr:Frank_Pfenning dbr:Prototype_Verification_System dbr:Global_Digital_Mathematics_Library dbr:Kohlhase dbr:Kohlhase,_Michael |
| is dbp:doctoralStudents of |
dbr:Frank_Pfenning |
| is dbp:owner of |
dbr:OMDoc |
| is foaf:primaryTopic of |
wikipedia-en:Michael_Kohlhase |
