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; Mizar; z3; Coq; HOL; SETHEO; Mace4; Sledgehammer; iProver; LEO-II; SMT-LIB; HOL Light; TPS; Waldmeister; Isabelle Cited in: 396 Publications 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 450 Authors 35 Sutcliffe, Geoff 33 Benzmüller, Christoph Ewald 25 Voronkov, Andrei 21 Urban, Josef 17 Baumgartner, Peter 17 Kaliszyk, Cezary 16 Schulz, Stephan 13 Blanchette, Jasmin Christian 13 Paulson, Lawrence Charles 11 Kovács, Laura Ildikó 10 Otten, Jens 10 Reger, Giles 10 Weidenbach, Christoph 8 Furbach, Ulrich 8 Korovin, Konstantin 8 Rabe, Florian 8 Suda, Martin 7 Brown, Chad Edward 7 Claessen, Koen 7 Steen, Alexander 6 Hasegawa, Ryuzo 6 Koshimura, Miyuki 6 Sorge, Volker 6 Tinelli, Cesare 6 Woltzenlogel Paleo, Bruno 5 Bentkamp, Alexander 5 Cruanes, Simon 5 Delahaye, David 5 Hetzl, Stefan 5 Hoder, Kryštof 5 Plaisted, David Alan 5 Raths, Thomas 5 Tourret, Sophie 5 Vukmirović, Petar 4 Böhme, Sascha 4 Ebner, Gabriel 4 Fuchs, Dirk 4 Hillenbrand, Thomas 4 Janičić, Predrag 4 Kerber, Manfred 4 Letz, Reinhold 4 Lillieström, Ann 4 Meier, Andreas 4 Meng, Jia 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 4 Winkler, Sarah 3 Barrett, Clark W. 3 Burel, Guillaume 3 Colton, Simon 3 Cristiá, Maximiliano 3 Denzinger, Jörg 3 Fuchs, Matthias 3 Fujita, Hiroshi 3 Gilbert, Frédéric 3 Höfner, Peter 3 Ibens, Ortrun 3 Kohlhase, Michael 3 Kreitz, Christoph 3 Kühlwein, Daniel 3 Löchner, Bernd 3 Lyaletski, Alexander V. 3 Peltier, Nicolas 3 Pfenning, Frank 3 Quaresma, Pedro 3 Rawson, Michael 3 Reynolds, Andrew 3 Riener, Martin 3 Rossi, Gianfranco 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 Bourke, Timothy 2 Bury, Guillaume 2 Cauderlier, Raphaël 2 Chao, Yuyan 2 Dang, Han-Hing 2 Défourneaux, Gilles 2 Doligez, Damien 2 Duarte, André 2 Egly, Uwe 2 Färber, Michael ...and 350 more Authors all top 5 Cited in 35 Serials 51 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 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 2 Logical Methods in Computer Science 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 Journal of Logical and Algebraic Methods in Programming 1 DISKI. Dissertationen zur Künstlichen Intelligenz all top 5 Cited in 13 Fields 385 Computer science (68-XX) 151 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