Cut-elimination theorem

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

Field Hierarchy

Parent
Computer science 62.9M papers	Mathematics 22.2M papers	Programming language 7.7M papers	Geometry 6.4M papers
Discrete mathematics 696k papers	Theoretical computer science 626k papers	Mathematical proof 44.3k papers	Natural deduction 2,776 papers
Linear logic 2,128 papers		Sequent calculus 1,804 papers
Current
Cut-elimination theorem 770 papers
Child
Calculus of structures 0 papers

Trends

Notes

History