TPTP Problems and Axioms

Versions

• Problems
  • Abstract problems
  • Versions
    • Different axiomatizations
    • Different formulations
    • FOF, CNF
    • Modifications
• Axioms
  • Standard, Especial
  • Augmented, Reduced

Examples

• Domains
• FOF problem: GRP194+1.p (online)
• FOF axioms: GRP004+0.ax (online)
• CNF problem: GRP039-1.p (online)
• CNF axioms: GRP004-0.ax (online)
• Synopsis