Mark Stickel

URI: https://gptkb.org/entity/Mark_Stickel
GPTKB entity
Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:employer gptkb:SRI_International
gptkbp:field gptkb:artificial_intelligence
gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label Mark Stickel
gptkbp:knownFor gptkb:SNARK_theorem_prover
automated theorem proving
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:Symbolics
gptkbp:bfsLayer 5