cut-elimination
theorem
Press Enter · cited answer in seconds
0 sources
cut-elimination
Summary
cut-elimination is a theorem[1]. cut-elimination draws 45 Wikipedia views per month (theorem category, ranking #239 of 1,306).[2]
Key Facts
- cut-elimination's instance of is recorded as theorem[3].
- Gerhard Gentzen is named after cut-elimination[4].
- cut-elimination's part of is recorded as list of theorems[5].
- cut-elimination's Freebase ID is recorded as /m/03p1l3[6].
- cut-elimination's proved by is recorded as Gerhard Gentzen[7].
- cut-elimination's studied by is recorded as proof theory[8].
- cut-elimination's MathWorld ID is recorded as CutEliminationTheorem[9].
- cut-elimination's maintained by WikiProject is recorded as WikiProject Mathematics[10].
- cut-elimination's Microsoft Academic ID is recorded as 111404639[11].
- cut-elimination's OpenAlex ID is recorded as C111404639[12].
Why It Matters
cut-elimination draws 45 Wikipedia views per month (theorem category, ranking #239 of 1,306).[2] cut-elimination has Wikipedia articles in 11 language editions, a strong signal of global cultural recognition.[13] cut-elimination is known by 6 alternative names across languages and contexts.[14]