Search results
From MaRDI portal
- Many-Sorted Language 2011-10-07 Paper Connection Tableaux with Lazy Paramodulation 2009-03-12 Paper System for Automated Deduction (SAD): A Tool for Proof...10 bytes (16 words) - 16:05, 10 December 2023
- by reformulation into satisfiability modulo theories 2015-01-22 Paper Paramodulation with non-monotonic orderings and simplification 2013-07-05 Paper The...10 bytes (16 words) - 03:19, 25 September 2023
- Approaches to Solving Polynomial Constraints and Extensions 2014-09-26 Paper Paramodulation with non-monotonic orderings and simplification 2013-07-05 Paper The...10 bytes (16 words) - 03:19, 25 September 2023
- Publication Date of Publication Type Conjunctive Abstract Interpretation Using Paramodulation 2017-02-21 Paper...10 bytes (16 words) - 17:49, 6 October 2023
- Publication Date of Publication Type Horn equational theories and paramodulation 1989-01-01 Paper...10 bytes (16 words) - 21:22, 24 September 2023
- completion of horn clause programs for restricted linear resolution and paramodulation 2023-03-09 Paper Completion-time optimization of rewrite-time goal solving...10 bytes (16 words) - 02:38, 28 December 2023
- 1993-04-01 Paper Using forcing to prove completeness of resolution and paramodulation 1991-01-01 Paper...10 bytes (16 words) - 11:45, 7 October 2023
- 2022-12-09 Paper Using forcing to prove completeness of resolution and paramodulation 1991-01-01 Paper A Technique for Establishing Completeness Results in...10 bytes (18 words) - 11:45, 7 October 2023
- Publication Date of Publication Type \textsf{lazyCoP}: lazy paramodulation meets neurally guided search 2022-05-25 Paper Eliminating models during model...10 bytes (16 words) - 01:25, 25 September 2023
- NC-resolution 1994-08-21 Paper Nonequivalence of input paramodulation refutation and unit paramodulation refutation 1993-05-16 Paper Reasoning under uncertainty...10 bytes (16 words) - 23:09, 9 December 2023
- NC-resolution 1994-08-21 Paper Nonequivalence of input paramodulation refutation and unit paramodulation refutation 1993-05-16 Paper...10 bytes (16 words) - 10:05, 7 October 2023
- abstractions 2017-07-14 Paper Conjunctive Abstract Interpretation Using Paramodulation 2017-02-21 Paper Property Directed Abstract Interpretation 2016-03-23...10 bytes (16 words) - 12:48, 12 December 2023
- Certified Compilers 2014-07-28 Paper Verified heap theorem prover by paramodulation 2014-07-21 Paper Verified Compilation for Shared-Memory C 2014-04-16...10 bytes (16 words) - 19:33, 6 October 2023
- complexity analysis by basic paramodulation 1999-11-29 Paper https://portal.mardi4nfdi.de/entity/Q4264721 1999-10-10 Paper Paramodulation with built-in AC-theories...10 bytes (16 words) - 03:55, 25 September 2023
- mardi4nfdi.de/entity/Q3999759 1993-01-23 Paper Horn equational theories and paramodulation 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3765264 1987-01-01...10 bytes (17 words) - 10:27, 13 December 2023
- proof assistant 2007-12-03 Paper Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case 2007-11-28 Paper Types for...10 bytes (17 words) - 06:52, 9 December 2023
- Publication Type Non-disjoint combined unification and closure by equational paramodulation 2022-03-24 Paper Terminating non-disjoint combined unification 2022-03-23...10 bytes (16 words) - 11:33, 6 October 2023
- mardi4nfdi.de/entity/Q5037672 2022-03-03 Paper Extensional higher-order paramodulation in Leo-III 2021-11-23 Paper Theorem Provers For Every Normal Modal Logic...10 bytes (16 words) - 20:26, 24 September 2023
- Modification Errors 2017-02-21 Paper Conjunctive Abstract Interpretation Using Paramodulation 2017-02-21 Paper Decidability of inferring inductive invariants 2016-10-24...10 bytes (16 words) - 14:28, 24 September 2023
- 2024-02-08 Paper Non-disjoint combined unification and closure by equational paramodulation 2022-03-24 Paper Algorithmic problems in the symbolic approach to the...10 bytes (18 words) - 11:33, 6 October 2023