Thousands of Problems for Theorem Provers

TPTP (Thousands of Problems for Theorem Provers) is a freely available collection of problems for automated theorem proving. It is used to evaluate the efficacy of automated reasoning algorithms. Problems are expressed in a simple text-based format for first order logic or higher-order logic. TPTP is used as the source of some problems in CASC.

References


Retrieved from "https://en.wikipedia.org/w/index.php?title=Thousands_of_Problems_for_Theorem_Provers&oldid=1239858297"
Uses material from the Wikipedia article Thousands of Problems for Theorem Provers, released under the CC BY-SA 4.0 license.