The following pages link to (Q4345253):
Displaying 11 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Resolution remains hard under equivalence (Q1961451) (← links)
- SGGS decision procedures (Q2096457) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- History and Prospects for First-Order Automated Deduction (Q3454079) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
