About: Christoph Walther

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property Value
dbo: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. (en)
dbo:almaMater
dbo:birthDate
  • 1950-08-09 (xsd:date)
dbo:knownFor
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 45466408 (xsd:integer)
dbo:wikiPageLength
  • 7612 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1019413863 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:birthDate
  • 1950-08-09 (xsd:date)
dbp:doctoralAdvisor
  • Peter Deussen (en)
dbp:knownFor
dbp:thesisTitle
  • A many-Sorted Calculus Based on Resolution and Paramodulation (en)
dbp:thesisYear
  • 1984 (xsd:integer)
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
schema:sameAs
rdf:type
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. (en)
rdfs:label
  • Christoph Walther (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License