Christoph Weidenbach

URI: https://gptkb.org/entity/Christoph_Weidenbach

GPTKB entity

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
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	6
https://www.w3.org/2000/01/rdf-schema#label	Christoph Weidenbach