Pages that link to "Item:Q3406685"
From MaRDI portal
The following pages link to The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation (Q3406685):
Displaying 7 items.
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- Connection tableaux with lazy paramodulation (Q928656) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Superposition for Bounded Domains (Q4913861) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)