The TPTP Problem Library

TPTP

Geoff Sutcliffe
Department of Computer Science
University of Miami
geoff@cs.miami.edu

Abstract

This report provides a detailed description of the TPTP Problem Library for automated theorem proving systems. The library forms a common basis for development of and experimentation with automated theorem provers. This report provides:

the motivations for building the library;
a discussion of the inadequacies of previous problem collections, and how these have been resolved in the TPTP;
a description of the library structure, including overview information;
descriptions of supplementary utility programs;
guidelines for obtaining and using the library.

If you're new to all this and don't want to wade through the details provided in this manual, you might want to start at the TPTP and TSTP Quick Guide.
You could also work your way through the slides of the TPTP World Tutorial.

Introduction
Inside the TPTP
Utilities
Getting and Using the TPTP
Conclusion

The TPTP Problem Library

TPTP

Abstract

Table of Contents