PanLinx
русский
rus-000
формализованная теория
English
eng-000
formalized theory
PanLex