Mathematical proof

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

Field Hierarchy

Parent
Mathematics 22.2M papers	Geometry 6.4M papers	Algebra 98 papers
Current
Mathematical proof 44.3k papers
Child
Gas meter prover 3,226 papers	Proof theory 2,583 papers	Proof assistant 2,129 papers	Zero-knowledge proof 1,960 papers
Sequent calculus 1,804 papers	Proof complexity 1,450 papers	Structural proof theory 1,198 papers	Analytic proof 815 papers
Formal proof 776 papers		Cut-elimination theorem 770 papers

Trends

Notes

History