Disambiguation evidence for Gentzen’s Hauptsatz via surface form

"Gentzen’s Hauptsatz"

Triples (1)

Triples where some other subject referred to this entity as "Gentzen’s Hauptsatz".

cut-elimination theorem → alsoKnownAs →
"Gentzen’s Hauptsatz"
↳ resolves to Gentzen’s Hauptsatz
ⓘ