Statements (33)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:person
|
gptkbp:birthDate |
1945
|
gptkbp:doctoralAdvisor |
gptkb:Dirk_van_Dalen
|
gptkbp:doctoralStudent |
gptkb:Johan_van_Benthem
gptkb:Jan_Bergstra gptkb:Jan_Rutten gptkb:Mark_van_den_Brand gptkb:Wan_Fokkink Bas Luttik Bert Lisser Erik de Vink Femke van Raamsdonk Frits Blokzijl Frits Vaandrager Hanne Riis Nielson Hans Zantema Herman Geuvers Jaco van de Pol Jan Friso Groote Jeroen Ketema Jurriaan Hage Roel de Vrijer |
gptkbp:employer |
gptkb:Vrije_Universiteit_Amsterdam
|
https://www.w3.org/2000/01/rdf-schema#label |
Jan Willem Klop
|
gptkbp:knownFor |
gptkb:lambda_calculus
process algebra term rewriting systems |
gptkbp:nationality |
Dutch
|
gptkbp:occupation |
gptkb:computer_scientist
gptkb:mathematician |
gptkbp:bfsParent |
gptkb:J._A._Bergstra
gptkb:Erik_Meijer |
gptkbp:bfsLayer |
7
|