Disambiguation evidence for Herbrand interpretation via surface form

"Herbrand models"

Triples (1)

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

Herbrand universe → usedIn →
"Herbrand models"
↳ resolves to Herbrand interpretation
ⓘ