Wolfgang Bibel

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Munich
gptkbp:awardReceived	gptkb:Herbrand_Award
gptkbp:birthDate	1941
gptkbp:doctoralAdvisor	gptkb:Kurt_Schütte
gptkbp:employer	gptkb:Technische_Universität_Darmstadt
gptkbp:field	gptkb:artificial_intelligence
https://www.w3.org/2000/01/rdf-schema#label	Wolfgang Bibel
gptkbp:knownFor	gptkb:artificial_intelligence automated reasoning
gptkbp:member	gptkb:European_Academy_of_Sciences
gptkbp:nationality	gptkb:German
gptkbp:notableWork	gptkb:Automated_Theorem_Proving gptkb:Knowledge_Representation_and_Artificial_Intelligence
gptkbp:occupation	gptkb:computer_scientist gptkb:professor
gptkbp:bfsParent	gptkb:University_of_Darmstadt gptkb:Technical_University_of_Darmstadt gptkb:Technische_Universität_Darmstadt gptkb:TU_Darmstadt
gptkbp:bfsLayer	5