Disambiguation evidence for either-or alternative theorem via surface form
"either-or alternative theorem"
Triples (1)
Triples where some other subject referred to this entity
as "either-or alternative theorem".
Gale’s theorem on linear inequalities
→
logicalForm
→
"either-or alternative theorem"
ⓘ
↳ resolves to either-or alternative theorem