Pages that link to "Item:Q2198231"
From MaRDI portal
The following pages link to Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231):
Displaying 6 items.
- \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality (Q2156971) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)
- A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams (Q6089954) (← links)
- On structures of regular standard contradictions in propositional logic (Q6154459) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)
