Pages that link to "Item:Q3066085"
From MaRDI portal
The following pages link to The TPTP World – Infrastructure for Automated Reasoning (Q3066085):
Displaying 16 items.
- TPTP (Q16327) (← links)
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- JEFL: joint embedding of formal proof libraries (Q831932) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Improving stateful premise selection with transformers (Q2128800) (← links)
- GKC: a reasoning system for large knowledge bases (Q2305438) (← links)
- Inductive theorem proving based on tree grammars (Q2344621) (← links)
- System Description: GAPT 2.0 (Q2817928) (← links)
- Predicate Elimination for Preprocessing in First-Order Theorem Proving (Q2818027) (← links)
- Structure Formation in Large Theories (Q3453112) (← links)
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)
- The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)
