PanLinx
English
eng-000
covering congruence
русский
rus-000
покрывающее сравнение
PanLex