Pages that link to "Item:Q3188337"
From MaRDI portal
The following pages link to QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE TRACE OF SETS (Q3188337):
Displayed 4 items.
- Quasipolynomial size proofs of the propositional pigeonhole principle (Q2344736) (← links)
- Propositional Proofs in Frege and Extended Frege Systems (Abstract) (Q3194704) (← links)
- Short Proofs of the Kneser-Lovász Coloring Principle (Q3449464) (← links)
- Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770) (← links)