PanLinx
русский
rus-000
ядро эквивалентности
English
eng-000
equivalence kernel
PanLex
