PanLinx
English
eng-000
reducibility ordering
русский
rus-000
упорядочение по сводимости
PanLex