Why Does it Work?

CADE-12, 30 Years Ago

• An invited talk
• A question after lunch
• Wet pants at night
• An idea in the park

A Focus on Users and Developers

• Many users, many developers, many contributions
• Feedback always welcome
• Special thanks to Christian Suttner

A Homogeneous Environment

• Standards: TPTP language, SZS ontologies, SPCs, Derivations, Interpretations
• Core components: TPTP library, TSTP library, Ratings
• Services: SystemOnTPTP, StarExec, CASC
• TPTP compliance
  • Elegance is not optional - Richard O'Keefe
  • TPTP compliance is not optional - Geoff Sutcliffe
  • A curious effect

Who will lay the Stepping Stones to the Future TPTP World?