|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:birthDate
|
1908-07-07
|
|
gptkbp:birthPlace
|
gptkb:Almelo,_Netherlands
|
|
gptkbp:deathDate
|
1964-04-12
|
|
gptkbp:deathPlace
|
gptkb:Amsterdam,_Netherlands
|
|
gptkbp:doctoralAdvisor
|
gptkb:Arend_Heyting
|
|
gptkbp:education
|
gptkb:University_of_Amsterdam
|
|
gptkbp:employer
|
gptkb:University_of_Amsterdam
|
|
gptkbp:field
|
gptkb:logic
gptkb:mathematics
gptkb:philosophy_of_science
|
|
gptkbp:influenced
|
gptkb:Anne_Troelstra
gptkb:Kees_Doets
|
|
gptkbp:influencedBy
|
gptkb:Alfred_Tarski
gptkb:Jan_Łukasiewicz
|
|
gptkbp:knownFor
|
gptkb:Beth_definability_theorem
semantic tableaux
|
|
gptkbp:language
|
Dutch
English
|
|
gptkbp:memberOf
|
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
|
|
gptkbp:nationality
|
Dutch
|
|
gptkbp:notableWork
|
gptkb:Beth_definability_theorem
semantic tableaux
|
|
gptkbp:occupation
|
gptkb:logic
gptkb:mathematician
gptkb:philosopher
|
|
gptkbp:bfsParent
|
gptkb:Utrecht_University
|
|
gptkbp:bfsLayer
|
5
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Evert Willem Beth
|