Mathematical proof

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

Field Hierarchy

Parent
Mathematics 21.8M papers	Geometry 6.3M papers	Algebra 98 papers
Current
Mathematical proof 43.7k papers
Child
Gas meter prover 3,193 papers	Proof theory 2,561 papers	Proof assistant 2,105 papers	Zero-knowledge proof 1,847 papers
Sequent calculus 1,785 papers	Proof complexity 1,435 papers	Structural proof theory 1,186 papers	Analytic proof 803 papers
Formal proof 771 papers		Cut-elimination theorem 760 papers

Trends

Notes

History