Disambiguation evidence for Herbrand universe via surface form
"Herbrand universe of the underlying language"
Triples (1)
Triples where some other subject referred to this entity
as "Herbrand universe of the underlying language".
Herbrand disjunction
→
hasDomain
→
"Herbrand universe of the underlying language"
ⓘ
↳ resolves to Herbrand universe