Inside the TPTP

Structure

• Axioms
  • Examples: GRP004+0.ax GRP004-0.ax
• Problems
  • Domains: ALG ANA BOO ... TOP
    • Examples: GRP194+1.p GRP039-1.p
• Documents
  • Problem, Axioms, and Generator Lists
  • Synopses and Statistics
  • Reference Documents

Utilities

• tptp2X
  • Converts TPTP problems to formats used by existing ATP systems
  • Applies transformations
  • Controls generation
• tptp1T
  • Identifes problems with specified characteristics

Online Access

• http://tptp.org/