Sequent calculus

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

Field Hierarchy

Parent
Mathematics 21.8M papers	Geometry 6.3M papers	Mathematical proof 43.7k papers
Current
Sequent calculus 1,785 papers
Child
Cut-elimination theorem 760 papers

Trends

Notes

History