Pages that link to "Item:Q1377601"
From MaRDI portal
The following pages link to \(\text{Count}(q)\) does not imply \(\text{Count}(p)\) (Q1377601):
Displaying 4 items.
- Proof complexity in algebraic systems and bounded depth Frege systems with modular counting (Q1377580) (← links)
- The independence of the modulo \(p\) counting principles (Q2817631) (← links)
- The Complexity of Propositional Proofs (Q5444711) (← links)
- Uniformly generated submodules of permutation modules over fields of characteristic 0. (Q5939910) (← links)