Pages that link to "Item:Q3613405"
From MaRDI portal
The following pages link to Blocking and Other Enhancements for Bottom-Up Model Generation Methods (Q3613405):
Displaying 14 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Computing finite models by reduction to function-free clause logic (Q1006733) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- Exploring Theories with a Model-Finding Assistant (Q3454114) (← links)
- Modal Tableau Systems with Blocking and Congruence Closure (Q3455760) (← links)
- Superposition for Bounded Domains (Q4913861) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- Optimized Description Logic Reasoning via Core Blocking (Q5747784) (← links)
