http://dbpedia.org/ontology/abstract
|
Michael Kohlhase (Erlangen, 13 settembre 1 … 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).dge Adaptation and Reasoning for Content).
, Michael Kohlhase (* 13. September 1964 in … 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.ptation and Reasoning for Content) leitet.
, 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).
|
http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/MichaelKohlhaseExplainsNestedWorkingCopies.jpg?width=300 +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://genealogy.math.ndsu.nodak.edu/id.php%3Fid=136649 +
, http://kwarc.info/kohlhase +
, http://www.mathweb.org +
, http://www.openmath.org +
, 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 +
, https://kwarc.info/people/mkohlhase +
|
http://dbpedia.org/ontology/wikiPageID
|
15329773
|
http://dbpedia.org/ontology/wikiPageLength
|
7650
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1112982393
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Mathematical_Knowledge_Management +
, http://dbpedia.org/resource/Knowledge_representation +
, http://dbpedia.org/resource/OMDoc +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/University_of_Amsterdam +
, http://dbpedia.org/resource/Category:Artificial_intelligence_researchers +
, http://dbpedia.org/resource/Conference_on_Automated_Deduction +
, http://dbpedia.org/resource/Frank_Pfenning +
, http://dbpedia.org/resource/Jacobs_University_Bremen +
, http://dbpedia.org/resource/German_Research_Centre_for_Artificial_Intelligence +
, http://dbpedia.org/resource/Electronic_learning +
, http://dbpedia.org/resource/LaTeX +
, http://dbpedia.org/resource/Semantic_search +
, http://dbpedia.org/resource/University_of_Edinburgh +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Erlangen +
, http://dbpedia.org/resource/CiteSeer +
, http://dbpedia.org/resource/Lecture_Notes_in_Computer_Science +
, http://dbpedia.org/resource/Automated_theorem_proving +
, http://dbpedia.org/resource/Category:Studienstiftung_alumni +
, http://dbpedia.org/resource/Inference +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Category:1964_births +
, http://dbpedia.org/resource/Deutsche_Forschungsgemeinschaft +
, http://dbpedia.org/resource/OpenMath +
, http://dbpedia.org/resource/International_Mathematical_Union +
, http://dbpedia.org/resource/ArXiv +
, http://dbpedia.org/resource/Category:Natural_language_processing_researchers +
, http://dbpedia.org/resource/MathML +
, http://dbpedia.org/resource/Natural_language_processing +
, http://dbpedia.org/resource/Category:University_of_Erlangen-Nuremberg_faculty +
, http://dbpedia.org/resource/German_Annual_Conference_on_Artificial_Intelligence +
, http://dbpedia.org/resource/CALCULEMUS +
, http://dbpedia.org/resource/Saarland_University +
, http://dbpedia.org/resource/SRI_International +
, http://dbpedia.org/resource/File:MichaelKohlhaseExplainsMathWebSearch.jpg +
, http://dbpedia.org/resource/Global_Digital_Mathematics_Library +
, http://dbpedia.org/resource/J%C3%B6rg_Siekmann +
, http://dbpedia.org/resource/Mathematics_Genealogy_Project +
, http://dbpedia.org/resource/Bremen +
, http://dbpedia.org/resource/Studienstiftung +
, http://dbpedia.org/resource/Germans +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Linguistic_semantics +
, http://dbpedia.org/resource/University_of_Bonn +
, http://dbpedia.org/resource/Germany +
, http://dbpedia.org/resource/Habilitation +
, http://dbpedia.org/resource/University_of_Erlangen%E2%80%93Nuremberg +
, http://dbpedia.org/resource/DBLP +
, http://dbpedia.org/resource/Carnegie_Mellon_University +
|
http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Saarland_University +
|
http://dbpedia.org/property/birthDate
|
"1964-09-13"^^xsd:date
|
http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/Erlangen +
, http://dbpedia.org/resource/Germany +
|
http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/J%C3%B6rg_Siekmann +
, http://dbpedia.org/resource/Frank_Pfenning +
|
http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Mathematics +
|
http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/OMDoc +
|
http://dbpedia.org/property/name
|
Michael Kohlhase
|
http://dbpedia.org/property/nationality
|
http://dbpedia.org/resource/Germans +
|
http://dbpedia.org/property/residence
|
http://dbpedia.org/resource/Germany +
|
http://dbpedia.org/property/thesisTitle
|
A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
|
http://dbpedia.org/property/thesisYear
|
1994
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Distinguish +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Reflist +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Natural_language_processing_researchers +
, http://dbpedia.org/resource/Category:1964_births +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Category:Studienstiftung_alumni +
, http://dbpedia.org/resource/Category:Artificial_intelligence_researchers +
, http://dbpedia.org/resource/Category:University_of_Erlangen-Nuremberg_faculty +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
http://schema.org/sameAs
|
http://viaf.org/viaf/2721665 +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Michael_Kohlhase?oldid=1112982393&ns=0 +
|
http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/MichaelKohlhaseExplainsMathWebSearch.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/MichaelKohlhaseExplainsNestedWorkingCopies.jpg +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Michael_Kohlhase +
|
owl:differentFrom |
http://dbpedia.org/resource/Michael_Kohlhaas +
|
owl:sameAs |
http://data.bibliotheken.nl/id/thes/p320840050 +
, https://orcid.org/0000-0002-9859-6337 +
, https://global.dbpedia.org/id/548kf +
, http://www.wikidata.org/entity/Q91233 +
, http://d-nb.info/gnd/1129482057 +
, http://rdf.freebase.com/ns/m.03m55f0 +
, http://de.dbpedia.org/resource/Michael_Kohlhase +
, http://yago-knowledge.org/resource/Michael_Kohlhase +
, http://commons.dbpedia.org/resource/Michael_Kohlhase +
, http://viaf.org/viaf/2721665 +
, http://dbpedia.org/resource/Michael_Kohlhase +
, https://dblp.org/pid/k/MKohlhase +
, http://arz.dbpedia.org/resource/%D9%85%D8%A7%D9%8A%D9%83%D9%84_%D9%83%D9%88%D9%84%D9%87%D9%8A%D8%B2 +
, http://it.dbpedia.org/resource/Michael_Kohlhase +
, http://d-nb.info/gnd/111886600 +
|
rdf:type |
http://dbpedia.org/class/yago/WikicatStudienstiftungAlumni +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/class/yago/Educator110045713 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Professional110480253 +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/WikicatArtificialIntelligenceResearchers +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/ResearchWorker110523076 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/WikicatGermanComputerScientists +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/WikicatEthnicGermanPeople +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/WikicatGermanAcademics +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/Academician109759069 +
|
rdfs:comment |
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).
, Michael Kohlhase (* 13. September 1964 in … 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.ptation and Reasoning for Content) leitet.
, Michael Kohlhase (Erlangen, 13 settembre 1 … 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).dge Adaptation and Reasoning for Content).
|
rdfs:label |
Michael Kohlhase
|