Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

TPTP

< >

TPTP, aka Thousands of Problems for Theorem Provers, is a mathematics created in 1993 by Geoff Sutcliffe.

#1894on PLDB 32Years Old
HomepageWikipediaDocs

TPTP (Thousands of Problems for Theorem Provers) is a library of test problems for automated theorem proving systems, expressed in a standardized text-based format supporting first-order logic (FOF), typed first-order form (TFF), typed higher-order form (THF), and clause normal form (CNF). It serves as a benchmark for evaluating automated reasoning algorithms and supports the CADE ATP System Competition (CASC).


- Build the next great programming language Add Add Prompt Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v178.2.1