TPTP swMATH ID: 4143 Software Authors: Sutcliffe, Geoff; Suttner, Christian 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; Isabelle/HOL; SPASS; OTTER; z3; Satallax; iProver; Coq; HOL; Sledgehammer; SETHEO; Mizar; Mace4; SMT-LIB; LEO-II; HOL Light; StarExec; CVC4; MiniSat Cited in: 432 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 482 Authors 38 Sutcliffe, Geoff 35 Benzmüller, Christoph Ewald 25 Voronkov, Andrei 21 Urban, Josef 17 Baumgartner, Peter 17 Blanchette, Jasmin Christian 17 Kaliszyk, Cezary 16 Schulz, Stephan 14 Kovács, Laura Ildikó 13 Paulson, Lawrence Charles 12 Reger, Giles 12 Weidenbach, Christoph 10 Otten, Jens 10 Vukmirović, Petar 9 Bentkamp, Alexander 9 Korovin, Konstantin 9 Rabe, Florian 9 Steen, Alexander 9 Tourret, Sophie 8 Furbach, Ulrich 8 Suda, Martin 7 Brown, Chad Edward 7 Claessen, Koen 6 Cruanes, Simon 6 Hasegawa, Ryuzo 6 Janičić, Predrag 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 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 Lifschitz, Vladimir 4 Lillieström, Ann 4 Meier, Andreas 4 Meng, Jia 4 Narboux, Julien 4 Nummelin, Visa 4 Paskevich, Andrei 4 Pelzer, Björn 4 Quaresma, Pedro 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 Bibel, Wolfgang 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 Johansson, Moa 3 Kohlhase, Michael 3 Kreitz, Christoph 3 Kühlwein, Daniel 3 Löchner, Bernd 3 Lühne, Patrick 3 Lyaletski, Alexander V. 3 Peltier, Nicolas 3 Pfenning, Frank 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 Bishop, Matthew 2 Bonacina, Maria Paola ...and 382 more Authors all top 5 Cited in 38 Serials 57 Journal of Automated Reasoning 17 AI Communications 9 Annals of Mathematics and Artificial Intelligence 8 Journal of Applied Logic 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 Information Sciences 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 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 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 Logic Journal of the IGPL 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 14 Fields 421 Computer science (68-XX) 160 Mathematical logic and foundations (03-XX) 7 Geometry (51-XX) 6 General and overarching topics; collections (00-XX) 3 Operations research, mathematical programming (90-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Associative rings and algebras (16-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Commutative algebra (13-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Mathematics education (97-XX) Citations by Year