Pages that link to "Item:Q5436992"

The following pages link to Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs (Q5436992):

Displaying 5 items.

• Algorithmic introduction of quantified cuts (Q402115) (← links)
• The problem of \(\Pi_{2}\)-cut-introduction (Q1680562) (← links)
• Physics and proof theory (Q2249005) (← links)
• On the generation of quantified lemmas (Q2417949) (← links)
• (Q4524785) (← links)