# A reduction of proof complexity to computational complexity for 𝐴𝐶⁰[𝑝] Frege systems

> Research article (Proceedings of the American Mathematical Society, 2015) · cited 29× · AI/ML

**Wikidata**: [openalex:W2963526214](https://www.wikidata.org/wiki/openalex:W2963526214)  
**Source**: https://4ort.xyz/entity/a-reduction-of-proof-complexity-to-computational-complexity-for-ac0-p-frege-systems