(Q376166)
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 切消定理