Disambiguation evidence for compactness theorem via surface form

"compactness theorem"

Triples (1)

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

Löwenheim–Skolem theorem → relatedTo →
"compactness theorem"
↳ resolves to compactness theorem
ⓘ
linked to: Löwenheim–Skolem theorem (via additional arguments)