Thousands of Problems for Theorem Provers
Collection of problems for Automated Theorem Proving From Wikipedia, the free encyclopedia
TPTP (Thousands of Problems for Theorem Provers)[1] is a freely available collection of problems for automated theorem proving. It is used to evaluate the efficacy of automated reasoning algorithms.[2][3][4] Problems are expressed in a simple text-based format for first order logic or higher-order logic.[5] TPTP is used as the source of some problems in CASC.
References
External links
Wikiwand - on
Seamless Wikipedia browsing. On steroids.