The TPTP World -- infrastructure for automated reasoning
From MaRDI portal
Publication:3066085
Recommendations
Cited in
(21)- Inductive theorem proving based on tree grammars
- JEFL: joint embedding of formal proof libraries
- GKC: a reasoning system for large knowledge bases
- The CADE-26 automated theorem proving system competition -- CASC-26
- TPTP, TSTP, CASC, etc.
- Predicate Elimination for Preprocessing in First-Order Theorem Proving
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- scientific article; zbMATH DE number 5850137 (Why is no real title available?)
- The higher-order prover \textsc{Leo}-II
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic
- Improving stateful premise selection with transformers
- Combining and automating classical and non-classical logics in classical higher-order logics
- The TPTP typed first-order form with arithmetic
- TPTP
- Theorem proving in large formal mathematics as an emerging AI field
- Fully reusing clause deduction algorithm based on standard contradiction separation rule
- The logic languages of the TPTP world
- Theorem proving as constraint solving with coherent logic
- Structure formation in large theories
- Hammer for Coq: automation for dependent type theory
- System description: GAPT 2.0
Describes a project that uses
Uses Software
This page was built for publication: The TPTP World -- infrastructure for automated reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066085)