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