PanLinx
português
por-000
decidabilidade
English
eng-000
decidability
PanLex
