Disambiguation evidence for HOL via surface form

"HOL"

Triples (1)

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

Hall of Languages → hasNickname →
"HOL"
↳ resolves to HOL
ⓘ