Disambiguation evidence for Heyting implication via surface form

"Heyting implication"

Triples (1)

Triples where some other subject referred to this entity as "Heyting implication".

Arend Heyting → hasConceptNamedAfter →
"Heyting implication"
↳ resolves to Heyting implication
ⓘ