Donald Loveland

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:awardReceived	gptkb:Herbrand_Award
gptkbp:employer	gptkb:Duke_University
gptkbp:fieldOfWork	gptkb:artificial_intelligence gptkb:logic computer science
gptkbp:knownFor	gptkb:Loveland–Stapp_method gptkb:Loveland's_model_elimination contributions to automated theorem proving
gptkbp:nationality	gptkb:American
gptkbp:notableStudent	gptkb:William_McCune
gptkbp:occupation	gptkb:computer_scientist
gptkbp:position	gptkb:professor
gptkbp:bfsParent	gptkb:Davis–Putnam–Logemann–Loveland_algorithm
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	Donald Loveland