Disambiguation evidence for Myhill–Nerode theorem via surface form

"Myhill–Nerode theorem"

Triples (1)

Triples where some other subject referred to this entity as "Myhill–Nerode theorem".

Formal language theory → hasKeyConcept →
"Myhill–Nerode theorem"
↳ resolves to Myhill–Nerode theorem
ⓘ