Disambiguation evidence for cut-elimination theorem via surface form
"cut-elimination theorem"
Triples (3)
Triples where some other subject referred to this entity
as "cut-elimination theorem".
Gentzen’s consistency proof for arithmetic
→
reliesOn
→
"cut-elimination theorem"
ⓘ
↳ resolves to cut-elimination theorem
linked to:
Gentzen