🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPortuguêsРусский한국어中文日本語EntityQ376166· pop 11· linked from 40 articlescut-eliminationAlso known as Cut-elimination theoremtheoremAvailable in 11 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoNederlands한국어Connectionssequent calculusEntityproof theoryEntityCategoriesProof theoryTheorems in the foundations of mathematics