Disambiguation evidence for Herbrand base via surface form

"Herbrand base"

Triples (4)

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

Herbrand's theorem → usesConcept →
"Herbrand base"
↳ resolves to Herbrand base
ⓘ
Herbrand universe → relatedConcept →
"Herbrand base"
↳ resolves to Herbrand base
ⓘ
Herbrand expansion → relatedTo →
"Herbrand base"
↳ resolves to Herbrand base
ⓘ
Herbrand interpretation → basedOn →
"Herbrand base"
↳ resolves to Herbrand base
ⓘ