Pages that link to "Item:Q5187860"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5187860):
Displaying 6 items.
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- On simplification of formulas with unconstrained variables and quantifiers (Q1680265) (← links)
- Fast simplifications for Tarski formulas (Q2883801) (← links)
- Theorem Proving with Bounded Rigid E-Unification (Q3454123) (← links)
- RegSTAB: A SAT Solver for Propositional Schemata (Q5747769) (← links)