John Shepherdson

URI: https://gptkb.org/entity/John_Shepherdson
GPTKB entity
Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:coauthor gptkb:Howard_Sturgis
gptkbp:field gptkb:logic
computer science
gptkbp:knownFor gptkb:Shepherdson–Sturgis_theorem
gptkbp:nationality British
gptkbp:occupation gptkb:mathematician
gptkbp:bfsParent gptkb:Shepherdson–Sturgis
gptkb:Shepherdson–Sturgis_theorem
gptkbp:bfsLayer 9
https://www.w3.org/2000/01/rdf-schema#label John Shepherdson