Proof complexity

https://www.wikidata.org/wiki/Q7249999

Field Hierarchy

Parent
Mathematics 22.2M papers	Geometry 6.4M papers	Mathematical proof 44.3k papers
Current
Proof complexity 1,450 papers
Child
Probabilistically checkable proof 0 papers	Propositional proof system 0 papers	Frege system 0 papers	Polynomial calculus 0 papers

Trends

Notes

History