Pages that link to "Item:Q688551"
From MaRDI portal
The following pages link to How to avoid the derivation of redundant clauses in reasoning systems (Q688551):
Displaying 5 items.
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Avoiding duplicate proofs with the foothold refinement (Q1924821) (← links)
- The disconnection method (Q4645231) (← links)
- On fairness of completion-based theorem proving strategies (Q5055773) (← links)
