Pages that link to "Item:Q2405255"
From MaRDI portal
The following pages link to A unifying principle for clause elimination in first-order logic (Q2405255):
Displaying 6 items.
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- Set-blocked clause and extended set-blocked clause in first-order logic (Q2333858) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Truth Assignments as Conditional Autarkies (Q3297584) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)
