PanLinx
English
eng-000
reducible theory
русский
rus-000
сводимая теория
PanLex