Pages that link to "Item:Q757093"
From MaRDI portal
The following pages link to Using forcing to prove completeness of resolution and paramodulation (Q757093):
Displaying 6 items.
- Redundancy criteria for constrained completion (Q673620) (← links)
- Local simplification (Q1271570) (← links)
- Automated deduction with associative-commutative operators (Q1340508) (← links)
- On the termination of clause graph resolution (Q1344889) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898) (← links)
- Redundancy criteria for constrained completion (Q5055781) (← links)
