Disambiguation evidence for Herbrand conjunction (for universal formulas) via surface form
"Herbrand conjunction (for universal formulas)"
Triples (1)
Triples where some other subject referred to this entity
as "Herbrand conjunction (for universal formulas)".
Herbrand disjunction
→
hasOppositeConcept
→
"Herbrand conjunction (for universal formulas)"
ⓘ
↳ resolves to Herbrand conjunction (for universal formulas)