PanLinx
español
spa-000
decidible
čeština
ces-000
rozhodnutelný
English
eng-000
decidable
PanLex
