Disambiguation evidence for cut-elimination theorem via surface form
"cut elimination theorem"
Triples (1)
Triples where some other subject referred to this entity
as "cut elimination theorem".
sequent calculus
→
centralResult
→
"cut elimination theorem"
ⓘ
↳ resolves to cut-elimination theorem