Pages that link to "Item:Q4095910"
From MaRDI portal
The following pages link to Problems and Experiments for and with Automated Theorem-Proving Programs (Q4095910):
Displaying 19 items.
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- On solving the equality problem in theories defined by Horn clauses (Q1085152) (← links)
- Hierarchical deduction (Q1098332) (← links)
- Seventy-five problems for testing automatic theorem provers (Q1101242) (← links)
- Experiments with resolution-based theorem-proving algorithms (Q1165594) (← links)
- Uniform strategies: The CADE-11 theorem proving contest (Q1319384) (← links)
- The problem of reasoning by case analysis (Q1319394) (← links)
- The rue theorem-proving system: The complete set of LIM+ challenge problems (Q1337564) (← links)
- A learning procedure for mathematics. (Q1353940) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
- Automated production of traditional proofs in solid geometry (Q1891257) (← links)
- The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404) (← links)
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- The TPTP problem library (Q5210777) (← links)