Disambiguation evidence for Hauptsatz via surface form

"Hauptsatz"

Triples (1)

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

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