Stepping Stones in the TPTP World

The TPTP World

Core Components

• The TPTP Language
• The TPTP Problem Library
• The TSTP Solution Library

Cool Components

• SZS Ontologies
• Specialist Problem Classes
• Problem and System Ratings

Computational Components

• SystemOnTPTP
• StarExec
• CADE ATP System Competition

Conclusion

• Work in Progress
• Why Does it Work?

The End - Any Questions?

Advertisement: The TPTP World Tour