| Publication | Date of Publication | Type |
|---|
| Who finds the short proof? | 2024-11-15 | Paper |
| The logic languages of the TPTP world | 2024-02-20 | Paper |
| Solving modal logic problems by translation to higher-order logic | 2024-01-16 | Paper |
| The 11th IJCAR automated theorem proving system competition – CASC-J11 | 2023-09-08 | Paper |
| Larry Wos: visions of automated reasoning | 2022-12-12 | Paper |
| Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers | 2022-08-14 | Paper |
| The CADE-28 Automated Theorem Proving System Competition – CASC-28 | 2022-04-19 | Paper |
| The 10th IJCAR automated theorem proving system competition – CASC-J10 | 2022-01-11 | Paper |
| The CADE-27 Automated theorem proving System Competition – CASC-27 | 2021-01-20 | Paper |
| The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 | 2021-01-20 | Paper |
| The CADE-26 automated theorem proving system competition – CASC-26 | 2021-01-20 | Paper |
| JGXYZ: an ATP system for gap and glut logics | 2020-03-10 | Paper |
| GRUNGE: a grand unified ATP challenge | 2020-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5219924 | 2020-03-09 | Paper |
| The TPTP problem library | 2020-01-21 | Paper |
| The design of the CADE-13 ATP system competition | 2019-01-15 | Paper |
| The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 | 2018-02-02 | Paper |
| The CADE-25 Automated Theorem Proving system competition – CASC-25 | 2017-11-10 | Paper |
| The 8th IJCAR automated theorem proving system competition – CASC-J8 | 2017-11-10 | Paper |
| The 7th IJCAR automated theorem proving system competition – CASC-J7 | 2017-11-07 | Paper |
| Detecting inconsistencies in large first-order knowledge bases | 2017-09-22 | Paper |
| An interactive derivation viewer | 2013-12-20 | Paper |
| ATP and presentation service for Mizar formalizations | 2013-04-17 | Paper |
| The TPTP Typed First-Order Form with Arithmetic | 2012-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075241 | 2011-02-10 | Paper |
| The TPTP World – Infrastructure for Automated Reasoning | 2011-01-07 | Paper |
| Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar | 2010-08-24 | Paper |
| Large theory reasoning with SUMO at CASC | 2010-06-17 | Paper |
| The CADE-22 automated theorem proving system competition – CASC-22 | 2010-05-25 | Paper |
| The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 | 2010-01-25 | Paper |
| Automated verification of refinement laws | 2009-11-16 | Paper |
| ATP-based cross-verification of Mizar proofs: method, systems, and first experiments | 2009-09-18 | Paper |
| Progress in the Development of Automated Theorem Proving for Higher-Order Logic | 2009-07-28 | Paper |
| Solving the \$100 modal logic challenge | 2009-03-25 | Paper |
| Using the TPTP Language for Writing Derivations and Finite Interpretations | 2009-03-12 | Paper |
| Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation | 2009-03-12 | Paper |
| SRASS - A Semantic Relevance Axiom Selection System | 2009-03-06 | Paper |
| THF0 – The Core of the TPTP Language for Higher-Order Logic | 2008-11-27 | Paper |
| MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance | 2008-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3515519 | 2008-07-29 | Paper |
| TPTP, TSTP, CASC, etc. | 2008-06-03 | Paper |
| ATP Cross-Verification of the Mizar MPTP Challenge Problems | 2008-05-15 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5486135 | 2006-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809065 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3150299 | 2003-09-21 | Paper |
| The IJCAR ATP system competition | 2002-08-20 | Paper |
| Evaluating general purpose automated theorem proving systems | 2002-07-24 | Paper |
| The CADE-17 ATP system competition | 2002-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723436 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723438 | 2001-07-05 | Paper |
| The CADE-16 ATP system competition | 2001-02-01 | Paper |
| The TPTP problem library. CNF release v1. 2. 1 | 1999-01-03 | Paper |
| The CADE-14 ATP system competition | 1999-01-03 | Paper |
| An erratum for some errata to ATP problems | 1997-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282532 | 1994-04-17 | Paper |
| Graphix a graph theory sub language | 1985-01-01 | Paper |
