cut-elimination (Q376166)
Jump to navigation
Jump to search
theorem
- Cut-elimination theorem
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | cut-elimination |
theorem |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(11 entries)
- dewiki Gentzenscher Hauptsatz
- enwiki Cut-elimination theorem
- eswiki Teorema de corte-eliminación
- frwiki Théorème d'élimination des coupures
- itwiki Teorema di eliminazione del taglio
- jawiki カット除去定理
- kowiki 자름-제거 정리
- nlwiki Cut-eliminatiestelling
- ptwiki Teorema da eliminação do corte
- ruwiki Устранимость сечений
- zhwiki 切消定理