Pages that link to "Item:Q1023053"
From MaRDI portal
The following pages link to Describing proofs by short tautologies (Q1023053):
Displaying 6 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- On the elimination of quantifier-free cuts (Q650922) (← links)
- On the complexity of finding falsifying assignments for Herbrand disjunctions (Q892133) (← links)
- On the form of witness terms (Q982183) (← links)
- A sequent-calculus based formulation of the extended first epsilon theorem (Q1709688) (← links)
- Herbrand-confluence (Q2871477) (← links)