PanLinx
русский
rus-000
полуразрешимый
English
eng-000
semidecidable
PanLex
