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