scientific article; zbMATH DE number 1765699
From MaRDI portal
Publication:4539640
Recommendations
Cited in
(17)- Differential dynamic logic for hybrid systems
- Depth-first proof search without backtracking for free-variable clausal tableaux
- Goal-sensitive reasoning with disconnection tableaux
- First-order automated reasoning with theories: when deduction modulo theory meets practice
- The model evolution calculus as a first-order DPLL method
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)
- Satisfiability solving and model generation for quantified first-order logic formulas
- Free-variable tableaux for monotonic preorders
- Proof generalization in \(\mathrm {LK}\) by second order unifier minimization
- Theorem proving with bounded rigid E-unification
- Incremental variable splitting
- Incremental theory reasoning methods for semantic tableaux
- Logics in Artificial Intelligence
- KeY: A Formal Method for Object-Oriented Systems
- Superposition-based equality handling for analytic tableaux
- Liberalized variable splitting
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539640)
