Home›Browse›cut-elimination🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPortuguêsРусский한국어中文日本語EntityQ376166· pop 11· linked from 40 articlescut-eliminationSign in to saveAlso known as Cut-elimination theoremtheoremAvailable in 11 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoNederlands한국어via Wikidata sitelinks · CC0