PanLinx
čeština
ces-000
rozhodnutelnost
English
eng-000
decidability
PanLex
