Pages that link to "Item:Q1344881"
From MaRDI portal
The following pages link to Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881):
Displaying 10 items.
- Incorporating top-down information into bottom-up hypothetical reasoning (Q688821) (← links)
- Clause trees: A tool for understanding and implementing resolution in automated reasoning (Q1402732) (← links)
- \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE (Q1429427) (← links)
- SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy (Q1877374) (← links)
- SATCHMORE: SATCHMO with RElevancy (Q1891262) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- The TPTP problem library (Q5210777) (← links)
- Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving (Q5234700) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)
