The following pages link to Generating relevant models (Q809621):
Displaying 7 items.
- A relevance restriction strategy for automated deduction (Q814429) (← links)
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881) (← links)
- Eliminating redundant search space on backtracking for forward chaining theorem proving (Q1412130) (← links)
- \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE (Q1429427) (← links)
- SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy (Q1877374) (← links)
- Theorem proving for intensional logic (Q1891256) (← links)
- SATCHMORE: SATCHMO with RElevancy (Q1891262) (← links)
