PanLinx
English
eng-000
decidable system
русский
rus-000
разрешимая система
PanLex