The following pages link to (Q4539623):
Displaying 8 items.
- DCTP (Q18709) (← links)
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- A relevance restriction strategy for automated deduction (Q814429) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- History and Prospects for First-Order Automated Deduction (Q3454079) (← links)
- The Relative Power of Semantics and Unification (Q4916085) (← links)
