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