TPTP History

Conception

• With Christian Suttner from TU München
  • They had the ideas
  • I had infrastructure
• Alpha and Beta releases in 1992-1993
• First released Fri Nov 12 15:30:54 +1000 1993

TPTP Releases

• v.Version.Edition.Patch
• Version - New features
• Edition - New problems
• Patch - Bugfixes

TPTP Languages

• 1993 - v1.0.0 - CNF
• 1997 - v2.0.0 - FOF
• 2004 - v3.0.0 - New syntax
• 2009 - v4.0.0 - TH0
• 2010 - v5.0.0 - TF0
• 2013 - v6.0.0 - TF1
• 2017 - v7.0.0 - TH1