| http://dbpedia.org/ontology/abstract
|
Christoph Walther (born 9 August 1950)is a German computer scientist, known for his contributions to automated theorem proving.He is Professor emeritus at Darmstadt University of Technology.
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Karlsruhe_University +
|
| http://dbpedia.org/ontology/birthDate
|
"1950-08-09"^^xsd:date
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Walther_recursion +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/lpar-2005-termination_incomplete-springer.pdf +
, http://www.inferenzsysteme.informatik.tu-darmstadt.de/mitarbeiter/christophwalther.de.jsp +
, http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/On-proving-termination-AIJ-71-1_1994-2.pdf +
, http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps +
, http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf +
, http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/cade-2003-about-vf-springer.pdf +
, http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/Combining_Induction_Axioms_by_Machine_IJCAI-13_1993.pdf +
, http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/Computing_Induction_Axioms_LPAR-1992-web.pdf +
, http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/Criteria-Termination-I_CL-Kluwer-2000.ps%7Cformat=postscript +
, http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/Handbook_LAI_LP-Mathematical_Induction.pdf +
, http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
45466408
|
| http://dbpedia.org/ontology/wikiPageLength
|
7612
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1019413863
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Walther_recursion +
, http://dbpedia.org/resource/Professor_emeritus +
, http://dbpedia.org/resource/Andrei_Voronkov +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Karlsruhe_University +
, http://dbpedia.org/resource/IJCAI +
, http://dbpedia.org/resource/Conference_on_Automated_Deduction +
, http://dbpedia.org/resource/Artificial_Intelligence_%28journal%29 +
, http://dbpedia.org/resource/Darmstadt_University_of_Technology +
, http://dbpedia.org/resource/Category:Technische_Universit%C3%A4t_Darmstadt_alumni +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Logic_for_Programming%2C_Artificial_Intelligence_and_Reasoning +
, http://dbpedia.org/resource/LNAI +
, http://dbpedia.org/resource/Category:Karlsruhe_Institute_of_Technology_alumni +
, http://dbpedia.org/resource/Termination_analysis +
, http://dbpedia.org/resource/J.A._Robinson +
, http://dbpedia.org/resource/Dov_M._Gabbay +
, http://dbpedia.org/resource/Franz_Baader +
, http://dbpedia.org/resource/Category:1950_births +
, http://dbpedia.org/resource/Automated_theorem_proving +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Karlsruhe_University +
|
| http://dbpedia.org/property/birthDate
|
"1950-08-09"^^xsd:date
|
| http://dbpedia.org/property/doctoralAdvisor
|
Peter Deussen
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Walther_recursion +
|
| http://dbpedia.org/property/thesisTitle
|
A many-Sorted Calculus Based on Resolution and Paramodulation
|
| http://dbpedia.org/property/thesisYear
|
1984
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Cite_report +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Cite_book +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Category:Karlsruhe_Institute_of_Technology_alumni +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:1950_births +
, http://dbpedia.org/resource/Category:Technische_Universit%C3%A4t_Darmstadt_alumni +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/100386491 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Christoph_Walther?oldid=1019413863&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Christoph_Walther +
|
| owl:sameAs |
http://yago-knowledge.org/resource/Christoph_Walther +
, http://viaf.org/viaf/100386491 +
, https://dblp.org/pid/w/ChristophWalther +
, https://orcid.org/0000-0002-9382-5399 +
, http://dbpedia.org/resource/Christoph_Walther +
, http://d-nb.info/gnd/1090228198 +
, http://rdf.freebase.com/ns/m.012w4v2x +
, http://d-nb.info/gnd/123321123 +
, https://global.dbpedia.org/id/2Fpnw +
, http://www.wikidata.org/entity/Q24004969 +
|
| rdf:type |
http://dbpedia.org/ontology/Species +
, http://dbpedia.org/ontology/Animal +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q5 +
, http://schema.org/Person +
, http://www.wikidata.org/entity/Q901 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q19088 +
|
| rdfs:comment |
Christoph Walther (born 9 August 1950)is a German computer scientist, known for his contributions to automated theorem proving.He is Professor emeritus at Darmstadt University of Technology.
|
| rdfs:label |
Christoph Walther
|
