TPTP
The TPTP (Thousands of Problems for Theorem Provers) problem library is a collection of test problems for Automated Theorem Proving (ATP) systems.
Science software · tptp.org
Open TPTP in AirStackWhat TPTP’s own pages say
| What it says it does | The TPTP (Thousands of Problems for Theorem Provers) problem library is a collection of test problems for Automated Theorem Proving (ATP) systems. tptp.org |
|---|
Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.