Corpus / a/cut-elimination
cut-elimination
Uses your system voice; voice and rate in settings.
Q376166Snapshot
≈ 1 min read
Paste this to embed this article on any page:
Names in other languages
- DeutschGentzenscher Hauptsatz
- Englishcut-elimination
- 中文切消定理
- 简体中文切消定理
- 繁體中文切消定理
- 中文切消定理
- 中文切消定理
- 中文切消定理
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
theorem
Structured factual content from Wikidata, released under CC0.
References
10 claims could not be tied to a specific sentence and are listed in the table below instead.