Via the TPTP

To the TPTP

• Testing of ATP systems
• Problem analysis for strategy selection
• Axiom sets for new problems
• Problems for system certification
• The TSTP

From the TPTP

• Common problem language
• Problem syntax