Pages that link to "Item:Q1187214"
From MaRDI portal
The following pages link to Reduction rules for resolution-based systems (Q1187214):
Displaying 6 items.
- How to avoid the derivation of redundant clauses in reasoning systems (Q688551) (← links)
- Resolution theorem proving in reified modal logics (Q1332644) (← links)
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- (Q3705542) (← links)
- Reducibility Relationships Between Decision Problems for System Functions (Q3791141) (← links)
- Semantic trees revisited: Some new completeness results (Q4647548) (← links)