Proof calculus

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

Field Hierarchy

Parent
Computer science 54.8M papers	Mathematics 21.1M papers	Programming language 7.2M papers	Discrete mathematics 700k papers
Theoretical computer science 615k papers	Natural deduction 2,474 papers	Linear logic 2,078 papers
Current
Proof calculus 993 papers
Child
Cut-elimination theorem 744 papers

Trends

Notes

History