Mathematical proof

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

Field Hierarchy

Parent
Mathematics 21.1M papers		Geometry 6.2M papers
Current
Mathematical proof 44.1k papers
Child
Gas meter prover 3,043 papers	Proof theory 2,356 papers	Proof assistant 2,098 papers	Zero-knowledge proof 1,907 papers
Sequent calculus 1,735 papers	Proof complexity 1,307 papers	Structural proof theory 1,106 papers	Analytic proof 895 papers
Computer-assisted proof 764 papers		Formal proof 752 papers

Trends

Notes

History