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 8 items.
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- Recognizing unnecessary clauses in resolution based systems (Q688549) (← links)
- Reduction rules for resolution-based systems (Q1187214) (← 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)
- Preprocessing of propagation redundant clauses (Q2104502) (← links)
- The disconnection method (Q4645231) (← links)
- On fairness of completion-based theorem proving strategies (Q5055773) (← links)