Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Thousands of Problems for Theorem Provers
open-in-new
<h2 id="external-links">External links</h2> <ul><li><a href="https://www.tptp.org/">Official website</a> </li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>"The TPTP Problem Library for Automated Theorem Proving". <a href="http://www.tptp.org/" target="_blank">http://www.tptp.org/</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Hoder, Kryštof; Voronkov, Andrei (2009). "Comparing Unification Algorithms in First-Order Theorem Proving". KI 2009: Advances in Artificial Intelligence. Lecture Notes in Computer Science. Vol. 5803. pp. 435–443. CiteSeerX 10.1.1.329.1809. doi:10.1007/978-3-642-04617-9_55. ISBN 978-3-642-04616-2. <a href="978-3-642-04616-2" target="_blank">978-3-642-04616-2</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Hurd, Joe (September 2003). "First-Order Proof Tactics in Higher-Order Logic Theorem Provers". In Archer, Myla; De Vito, Ben; Muñoz, César (eds.). Proceedings STRATA 2003. First International Workshop on Design and Application of Strategies/Tactics in Higher Order Logics; Focus on PVS Experiences (PDF). Conference Publications. Vol. NASA/CP-2003-212448. NASA Scientific and Technical Information Program Office. pp. 56–68. S2CID 11201048. <a href="https://ntrs.nasa.gov/api/citations/20030067561/downloads/20030067561.pdf" target="_blank">https://ntrs.nasa.gov/api/citations/20030067561/downloads/20030067561.pdf</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Segre, Alberto Maria; Sturgill, David B. (1994). "Using Hundreds of Workstations to Solve First-Order Logic Problems" (PDF). AAAI-94 Proceedings. <a href="https://www.aaai.org/Papers/AAAI/1994/AAAI94-029.pdf" target="_blank">https://www.aaai.org/Papers/AAAI/1994/AAAI94-029.pdf</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff (2008). "THF0 – The Core of the TPTP Language for Higher-Order Logic". Automated Reasoning. Lecture Notes in Computer Science. Vol. 5195. pp. 491–506. doi:10.1007/978-3-540-71070-7_41. ISBN 978-3-540-71069-1. <a href="978-3-540-71069-1" target="_blank">978-3-540-71069-1</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> </ol>