Disambiguation evidence for model theory via surface form
"model theory"
Triples (1)
Triples where some other subject referred to this entity
as "model theory".
completeness theorem for first-order logic
→
isCornerstoneOf
→
"model theory"
ⓘ
↳ resolves to model theory