PanLinx
English
eng-000
deterministic operator
русский
rus-000
детерминированный оператор
PanLex