The following pages link to (Q4524783):
Displaying 7 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- Liberalized variable splitting (Q877894) (← 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)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
