Pages that link to "Item:Q3066113"
From MaRDI portal
The following pages link to Atomic Cut Introduction by Resolution: Proof Structuring and Compression (Q3066113):
Displaying 9 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- The problem of \(\Pi_{2}\)-cut-introduction (Q1680562) (← links)
- Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)
- Physics and proof theory (Q2249005) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)
- Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (Q3454106) (← links)
- Contextual Natural Deduction (Q3455860) (← links)
- Complexity of translations from resolution to sequent calculus (Q5236549) (← links)
