Disambiguation evidence for Henkin construction via surface form
"Henkin construction"
Triples (2)
Triples where some other subject referred to this entity
as "Henkin construction".
completeness theorem for first-order logic
→
laterProofMethod
→
"Henkin construction"
ⓘ
↳ resolves to Henkin construction