Hyper Tableaux with Equality
From MaRDI portal
Publication:3608795
Recommendations
Cited in
(17)- The hyper tableaux calculus with equality and an application to finite model computation
- Deontic logic for human reasoning
- Theorem proving with bounded rigid \(E\)-unification
- Superposition-based equality handling for analytic tableaux
- HyperS tableaux -- heuristic hyper tableaux
- scientific article; zbMATH DE number 2219496 (Why is no real title available?)
- scientific article; zbMATH DE number 1950258 (Why is no real title available?)
- Representing and building models for decidable subclasses of equational clausal logic
- scientific article; zbMATH DE number 1543303 (Why is no real title available?)
- LogAnswer - A Deduction-Based Question Answering System (System Description)
- First-order tableaux in applications (extended abstract)
- Possible models computation and revision -- a practical approach
- SCL(EQ): SCL for first-order logic with equality
- SCL(EQ): SCL for first-order logic with equality
- Blocking and other enhancements for bottom-up model generation methods
- Automated reasoning in the wild
- Connection tableaux with lazy paramodulation
This page was built for publication: Hyper Tableaux with Equality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608795)