Sequent calculus

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

Field Hierarchy

Parent
Mathematics 21.1M papers	Geometry 6.2M papers	Mathematical proof 44.1k papers
Current
Sequent calculus 1,735 papers
Child
Cut-elimination theorem 744 papers

Trends

Notes

History