Why Does it Work?

A Homogeneous Environment

• Core infrastructure and standards
  • The TPTP Problem Library
  • The TPTP Language
  • ATP Systems
  • The TSTP Solution Library (with SZS Ontology)
• Services
  • GDV - Semantic Derivation Verification
  • AGInT - Automatic Generation of Interesting Theorems
  • IDV - Interactive Derivation Viewing
  • SystemOnTPTP - ATP in your Web Browser

TPTP Compliance

• Elegance is not optional - Richard O'Keefe
  

• TPTP is not optional - Geoff Sutcliffe

• Not Everyone will Agree

A Focus on Users and Developers

• Many users, many developers, many contributions
• Feedback always welcome