Pages that link to "Item:Q1707598"
From MaRDI portal
The following pages link to Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598):
Displaying 8 items.
- Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs (Q832719) (← links)
- SGGS decision procedures (Q2096457) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
