The following pages link to Geoff Sutcliffe (Q679254):
Displaying 50 items.
- (Q230821) (redirect page) (← links)
- An erratum for some errata to ATP problems (Q679255) (← links)
- ATP-based cross-verification of Mizar proofs: method, systems, and first experiments (Q841684) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- The CADE-14 ATP system competition (Q1272606) (← links)
- The TPTP problem library. CNF release v1. 2. 1 (Q1272614) (← links)
- Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
- The IJCAR ATP system competition (Q1610672) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- The CADE-16 ATP system competition (Q1977578) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- JGXYZ: an ATP system for gap and glut logics (Q2305437) (← links)
- Detecting inconsistencies in large first-order knowledge bases (Q2405258) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- (Q2723436) (← links)
- (Q2723438) (← links)
- An Interactive Derivation Viewer (Q2867942) (← links)
- The TPTP Typed First-Order Form with Arithmetic (Q2891471) (← links)
- The TPTP World – Infrastructure for Automated Reasoning (Q3066085) (← links)
- (Q3075241) (← links)
- (Q3150299) (← links)
- ATP Cross-Verification of the Mizar MPTP Challenge Problems (Q3498492) (← links)
- TPTP, TSTP, CASC, etc. (Q3499763) (← links)
- (Q3515519) (← links)
- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance (Q3541722) (← links)
- THF0 – The Core of the TPTP Language for Higher-Order Logic (Q3541725) (← links)
- The CADE-22 automated theorem proving system competition – CASC-22 (Q3561621) (← links)
- Large theory reasoning with SUMO at CASC (Q3568226) (← links)
- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar (Q3582702) (← links)
- SRASS - A Semantic Relevance Axiom Selection System (Q3608780) (← links)
- Using the TPTP Language for Writing Derivations and Finite Interpretations (Q3613401) (← links)
- Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation (Q3613406) (← links)
- (Q4282532) (← links)
- The 7th IJCAR automated theorem proving system competition – CASC-J7 (Q4589120) (← links)
- The CADE-25 Automated Theorem Proving system competition – CASC-25 (Q4589259) (← links)
- The 8th IJCAR automated theorem proving system competition – CASC-J8 (Q4589264) (← links)
- The design of the CADE-13 ATP system competition (Q4647509) (← links)
- (Q4809065) (← links)
- The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
- The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
- The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)
- The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 (Q5145447) (← links)
- The CADE-27 Automated theorem proving System Competition – CASC-27 (Q5145460) (← links)
- Graphix a graph theory sub language (Q5184374) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- The TPTP problem library (Q5210777) (← links)
- (Q5219924) (← links)
