[ogogmad]

That's cool, but where does it say it's decidable?

[eru]

Not on that Wikipedia page, but you might want to have a look at the papers?