PanLinx
русский
rus-000
полиномиальная сводимость
English
eng-000
polynomial reducedness
PanLex