TPTP swMATH ID: 4143 Software Authors: Geoff Sutcliffe; Christian Suttner Description: The TPTP (Thousands of Problems for Theorem Provers) is a library of test problems for automated theorem proving (ATP) systems. The TPTP supplies the ATP community with: A comprehensive library of the ATP test problems that are available today, in order to provide an overview and a simple, unambiguous reference mechanism. A comprehensive list of references and other interesting information for each problem. Arbitrary size instances of generic problems (e.g., the N-queens problem). A utility to convert the problems to existing ATP systems’ formats. General guidelines outlining the requirements for ATP system evaluation. Standards for input and output for ATP systems. The principal motivation for the TPTP is to support the testing and evaluation of ATP systems, to help ensure that performance results accurately reflect capabilities of the ATP systems being considered. A common library of problems is necessary for meaningful system evaluations, meaningful system comparisons, repeatability of testing, and the production of statistically significant results. The TPTP is such a library. Homepage: http://www.cs.miami.edu/~tptp/ Related Software: VAMPIRE; E Theorem Prover; SPASS; Isabelle/HOL; OTTER; Satallax; z3; Coq; Sledgehammer; Mizar; HOL; SETHEO; Mace4; iProver; LEO-II; SMT-LIB; HOL Light; StarExec; TPS; Waldmeister Cited in: 412 Documents Standard Articles 3 Publications describing the Software, including 3 Publications in zbMATH Year The TPTP World – infrastructure for automated reasoning. Zbl 1253.68292Sutcliffe, Geoff 2010 The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0. Zbl 1185.68636Sutcliffe, Geoff 2009 The TPTP problem library. CNF release v1. 2. 1. Zbl 0910.68197Sutcliffe, Geoff; Suttner, Christian 1998 all top 5 Cited by 460 Authors 35 Sutcliffe, Geoff 33 Benzmüller, Christoph Ewald 25 Voronkov, Andrei 21 Urban, Josef 17 Baumgartner, Peter 17 Blanchette, Jasmin Christian 17 Kaliszyk, Cezary 16 Schulz, Stephan 13 Paulson, Lawrence Charles 12 Kovács, Laura Ildikó 12 Reger, Giles 11 Weidenbach, Christoph 10 Otten, Jens 10 Vukmirović, Petar 9 Bentkamp, Alexander 9 Korovin, Konstantin 9 Tourret, Sophie 8 Furbach, Ulrich 8 Rabe, Florian 8 Suda, Martin 7 Brown, Chad Edward 7 Claessen, Koen 7 Steen, Alexander 6 Cruanes, Simon 6 Hasegawa, Ryuzo 6 Koshimura, Miyuki 6 Sorge, Volker 6 Tinelli, Cesare 6 Winkler, Sarah 6 Woltzenlogel Paleo, Bruno 5 Delahaye, David 5 Hetzl, Stefan 5 Hoder, Kryštof 5 Janičić, Predrag 5 Plaisted, David Alan 5 Raths, Thomas 4 Böhme, Sascha 4 Ebner, Gabriel 4 Fuchs, Dirk 4 Hillenbrand, Thomas 4 Kerber, Manfred 4 Letz, Reinhold 4 Lillieström, Ann 4 Meier, Andreas 4 Meng, Jia 4 Nummelin, Visa 4 Paskevich, Andrei 4 Pelzer, Björn 4 Reis, Giselle 4 Riazanov, Alexandre 4 Struth, Georg 4 Suttner, Christian B. 4 Waldmann, Uwe 4 Windsteiger, Wolfgang 3 Barrett, Clark W. 3 Bhayat, Ahmed 3 Burel, Guillaume 3 Colton, Simon 3 Cristiá, Maximiliano 3 Denzinger, Jörg 3 Duarte, André 3 Fuchs, Matthias 3 Fujita, Hiroshi 3 Gilbert, Frédéric 3 Gleiss, Bernhard 3 Höfner, Peter 3 Ibens, Ortrun 3 Kohlhase, Michael 3 Kreitz, Christoph 3 Kühlwein, Daniel 3 Lifschitz, Vladimir 3 Löchner, Bernd 3 Lühne, Patrick 3 Lyaletski, Alexander V. 3 Narboux, Julien 3 Peltier, Nicolas 3 Pfenning, Frank 3 Quaresma, Pedro 3 Rawson, Michael 3 Reynolds, Andrew 3 Riener, Martin 3 Rossi, Gianfranco 3 Schaub, Torsten H. 3 Siekmann, Jörg H. 3 Slaney, John K. 3 Smallbone, Nicholas 3 Sultana, Nik 3 Theiss, Frank 3 Verchinine, Konstantin 3 Vyskočil, Jiří 3 Wisniewski, Max 2 Anai, Hirokazu 2 Andrews, Peter B. 2 Arai, Noriko H. 2 Autexier, Serge 2 Bezem, Marc 2 Bibel, Wolfgang 2 Bishop, Matthew 2 Bonacina, Maria Paola 2 Bourke, Timothy ...and 360 more Authors all top 5 Cited in 37 Serials 55 Journal of Automated Reasoning 16 AI Communications 8 Journal of Applied Logic 7 Annals of Mathematics and Artificial Intelligence 6 Journal of Symbolic Computation 6 Information and Computation 6 Lecture Notes in Computer Science 4 Artificial Intelligence 4 Mathematics in Computer Science 3 Logical Methods in Computer Science 3 Journal of Formalized Reasoning 2 Theoretical Computer Science 2 Journal of Computer Science and Technology 2 Formal Methods in System Design 2 Journal of Applied Non-Classical Logics 2 Theory and Practice of Logic Programming 1 American Mathematical Monthly 1 Information Sciences 1 Journal of Computer and System Sciences 1 Journal of Philosophical Logic 1 Studia Logica 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Formal Aspects of Computing 1 Machine Learning 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Computer Mathematics 1 The Journal of Artificial Intelligence Research (JAIR) 1 Kuwait Journal of Science and Engineering 1 Fundamenta Informaticae 1 Journal of Universal Computer Science 1 The Journal of Logic and Algebraic Programming 1 Logic and Logical Philosophy 1 ACM Transactions on Computational Logic 1 Journal of Logical and Algebraic Methods in Programming 1 DISKI. Dissertationen zur Künstlichen Intelligenz all top 5 Cited in 13 Fields 401 Computer science (68-XX) 162 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Geometry (51-XX) 2 Operations research, mathematical programming (90-XX) 1 History and biography (01-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year