TPTP Users

        
Me 		       
Christian Suttner (1996) 		       
Larry Paulson 		       
Sarah Winkler 		       
Josef Urban 		       
Allen Van Gelder 		       
Koen Claessen 		       
Laura Kovacs 		       
Joe Hurd 		       
Doug Lenat 		                     
Keloğlan (with TPTP) 		       
Prof. Deniz Turgay Altilar
(with TPTP) 		       

TPTP Non-Users

        
Tim Bray 		       
Christian Suttner (2018) 		       
Bill McCune 		       
Christoph Weidenbach 		       
Volker Diekert 		       
Alan Bundy 		       
Random CADE‑21 attendee 		       
Jörg Siekmann 		       
John Slaney 		       
AI Researcher 		       
Keloğlan  		       
Prof. Deniz Turgay Altilar