PanLinx
русский
rus-000
минорируемое множество
English
eng-000
minorized set
PanLex
