Search results
From MaRDI portal
- Conditional term rewriting and first-order theorem proving 2023-03-09 Paper Semantically guided first-order theorem proving using hyper-linking 2020-01-21...10 bytes (16 words) - 12:26, 14 March 2024
- for first-order theorem proving 2015-06-23 Paper Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical...10 bytes (18 words) - 13:01, 11 December 2023
- Paper The search efficiency of theorem proving strategies 2020-01-21 Paper Semantically guided first-order theorem proving using hyper-linking 2020-01-21...10 bytes (19 words) - 14:32, 8 December 2023
- Type Heterogeneous heuristic optimisation and scheduling for first-order theorem proving 2022-04-22 Paper...10 bytes (18 words) - 14:05, 24 September 2023
- Publication Date of Publication Type Conditional term rewriting and first-order theorem proving 2023-03-09 Paper https://portal.mardi4nfdi.de/entity/Q4375764...10 bytes (18 words) - 01:28, 28 December 2023
- Publication Date of Publication Type Subsumption demodulation in first-order theorem proving 2022-11-09 Paper Automated generation of exam sheets for automated...10 bytes (16 words) - 23:41, 24 September 2023
- rules for first-order theorem proving 1999-11-29 Paper https://portal.mardi4nfdi.de/entity/Q4234210 1999-03-16 Paper On first-order theorem proving using generalized...10 bytes (17 words) - 15:48, 12 December 2023
- Publication Date of Publication Type Subsumption demodulation in first-order theorem proving 2022-11-09 Paper Layered clause selection for theory reasoning...10 bytes (16 words) - 18:13, 24 September 2023
- Paper Heterogeneous heuristic optimisation and scheduling for first-order theorem proving 2022-04-22 Paper The \texttt{ksmt} calculus is a \(\delta \)-complete...10 bytes (16 words) - 15:05, 24 September 2023
- 2022-02-07 Paper Machine learning for first-order theorem proving 2015-06-23 Paper https://portal.mardi4nfdi.de/entity/Q2780168 2002-04-15 Paper https://portal...10 bytes (18 words) - 03:58, 25 September 2023
- Structures 2017-01-19 Paper Predicate Elimination for Preprocessing in First-Order Theorem Proving 2016-09-05 Paper https://portal.mardi4nfdi.de/entity/Q2848685...10 bytes (17 words) - 18:04, 9 December 2023
- fuzzy relation 2023-10-30 Paper Conditional term rewriting and first-order theorem proving 2023-03-09 Paper Dimensionality reduction by feature clustering...10 bytes (18 words) - 16:12, 6 October 2023
- relations of imperative programs 2018-10-18 Paper A First Class Boolean Sort in First-Order Theorem Proving and TPTP 2015-11-20 Paper Minimization of a quadratic...10 bytes (17 words) - 20:26, 24 September 2023
- Properties Using Symbol Elimination 2015-12-03 Paper A First Class Boolean Sort in First-Order Theorem Proving and TPTP 2015-11-20 Paper Playing in the grey area...10 bytes (18 words) - 10:04, 6 October 2023
- monadic shallow linear first-order fragment with straight dismatching constraints 2017-09-22 Paper First-Order Logic Theorem Proving and Model Building via...10 bytes (16 words) - 01:24, 25 September 2023
- de/entity/Q4718969 2000-01-04 Paper Well-behaved inference rules for first-order theorem proving 1999-11-29 Paper https://portal.mardi4nfdi.de/entity/Q4234179...10 bytes (16 words) - 23:13, 24 September 2023
- Paper Machine learning for first-order theorem proving 2015-06-23 Paper A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY...10 bytes (19 words) - 19:14, 9 December 2023
- Publication Date of Publication Type Using First-Order Theorem Provers in the Jahob Data Structure Verification System 2008-04-04 Paper...10 bytes (16 words) - 21:56, 27 December 2023
- Boolean Algebra with Presburger Arithmetic 2009-03-06 Paper Using First-Order Theorem Provers in the Jahob Data Structure Verification System 2008-04-04 Paper...10 bytes (19 words) - 03:01, 13 December 2023
- 2008-11-20 Paper Linear Arithmetic with Stars 2008-07-15 Paper Using First-Order Theorem Provers in the Jahob Data Structure Verification System 2008-04-04 Paper...10 bytes (16 words) - 20:06, 12 December 2023