The following pages link to (Q4345253):
Displayed 6 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Resolution remains hard under equivalence (Q1961451) (← 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)