Thousands of Models for Theorem Provers
The TMTP Model Library

Introduction

• TPTP Infrastructure
• Interpretations and Models
• The TMTP Idea

TMTP Models

• Interpretation Formats
• Building the TMTP

Software Infrastructure

• Interpreting wrt an Interpretation
• Tools for Interpretations
• TMTP Online

Conclusion

The End - Any Questions or Suggestions?