]> 2012-02-10T08:59:28-05:00 Geoff Sutcliffe Geoff Geoff Sutcliffe Sutcliffe TPTP meeting, 2008-07-16 TPTP meeting, 2008-07-21 TPTP-PML Explaining Results from Deductive Engines: The TPTP Environment User Interfaces for Portable Proofs Presenting TSTP Proofs with Inference Web Tools User Interfaces for Portable Proofs Presenting TSTP Proofs with Inference Web Tools Author Has author Has member Has participant Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person