Christoph Weidenbach

URI: https://gptkb.org/entity/Christoph_Weidenbach
GPTKB entity
Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Karlsruhe
gptkbp:employer gptkb:Max_Planck_Institute_for_Informatics
gptkbp:field gptkb:artificial_intelligence
automated reasoning
https://www.w3.org/2000/01/rdf-schema#label Christoph Weidenbach
gptkbp:knownFor gptkb:SPASS_theorem_prover
theorem proving
superposition calculus
gptkbp:memberOf gptkb:European_Association_for_Theoretical_Computer_Science
gptkbp:nationality gptkb:German
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:Max_Planck_Institute_for_Informatics
gptkbp:bfsLayer 3