Top Qs
Timeline
Chat
Perspective
Thousands of Problems for Theorem Provers
Collection of problems for Automated Theorem Proving From Wikipedia, the free encyclopedia
Remove ads
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.
Remove ads