Disambiguation evidence for Herbrand expansion via surface form
"Herbrand expansion"
Triples (5)
Triples where some other subject referred to this entity
as "Herbrand expansion".
Recherches sur la théorie de la démonstration
→
introducesConcept
→
"Herbrand expansion"
ⓘ
↳ resolves to Herbrand expansion
Herbrand conjunction (for universal formulas)
→
relatedTo
→
"Herbrand expansion"
ⓘ
↳ resolves to Herbrand expansion