Disambiguation evidence for completeness theorem for first-order logic via surface form
"Gödel's completeness theorem"
Triples (2)
Triples where some other subject referred to this entity
as "Gödel's completeness theorem".
completeness theorem for first-order logic
→
alsoKnownAs
→
"Gödel's completeness theorem"
ⓘ
↳ resolves to completeness theorem for first-order logic
Herbrand's theorem
→
relatedTo
→
"Gödel's completeness theorem"
ⓘ
↳ resolves to completeness theorem for first-order logic