George Logemann

URI: https://gptkb.org/entity/George_Logemann
GPTKB entity
Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:field gptkb:mathematics
computer science
gptkbp:inventedBy gptkb:DPLL_algorithm
gptkbp:knownFor gptkb:Davis–Putnam–Logemann–Loveland_algorithm
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:computer_scientist
gptkb:mathematician
gptkbp:bfsParent gptkb:Davis–Putnam–Logemann–Loveland_algorithm
gptkbp:bfsLayer 6
https://www.w3.org/2000/01/rdf-schema#label George Logemann
Please wait…