GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
William Craig
URI:
https://gptkb.org/entity/William_Craig
GPTKB entity
Statements (22)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Harvard_University
gptkb:Princeton_University
gptkbp:birthDate
1918-11-13
gptkbp:deathDate
2016-01-13
gptkbp:doctoralAdvisor
gptkb:Alfred_Tarski
gptkbp:doctoralStudent
gptkb:Harvey_Friedman
gptkb:Jon_Barwise
gptkbp:employer
gptkb:University_of_California,_Berkeley
gptkbp:familyName
Craig
gptkbp:field
gptkb:logic
gptkb:philosophy
gptkbp:givenName
gptkb:William
https://www.w3.org/2000/01/rdf-schema#label
William Craig
gptkbp:nationality
gptkb:United_States
gptkbp:notableFor
gptkb:Craig_interpolation_theorem
gptkbp:occupation
gptkb:logic
gptkb:philosopher
gptkbp:bfsParent
gptkb:Leon_Henkin
gptkb:Haskell_Curry
gptkb:Enemy_at_the_Gates
gptkbp:bfsLayer
5