Pages that link to "Item:Q5055756"
From MaRDI portal
The following pages link to Goal directed strategies for paramodulation (Q5055756):
Displaying 7 items.
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Paramodulation with built-in AC-theories and symbolic constraints (Q1355755) (← links)
- Basic paramodulation (Q1899908) (← links)
- Paramodulation-based theorem proving (Q2751359) (← links)
- (Q4989394) (← links)
- Set-of-support strategy for higher-order logic (Q5881215) (← links)
- Simultaneous paramodulation (Q6488550) (← links)