Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:birthDate |
1953
|
| gptkbp:causeOfDeath |
gptkb:murder
|
| gptkbp:deathDate |
1994
|
| gptkbp:deathPlace |
gptkb:Pasadena,_California,_United_States
|
| gptkbp:employer |
gptkb:California_Institute_of_Technology
gptkb:Eindhoven_University_of_Technology |
| gptkbp:knownFor |
research in computer science
|
| gptkbp:nationality |
Dutch
|
| gptkbp:notableWork |
Prove-It (theorem prover)
|
| gptkbp:occupation |
gptkb:computer_scientist
|
| gptkbp:bfsParent |
gptkb:John_V._P._van_de_Snepscheut
|
| gptkbp:bfsLayer |
7
|
| http://www.w3.org/2000/01/rdf-schema#label |
Johannes van de Snepscheut
|