PanLinx
English
eng-000
reducible property
русский
rus-000
приводимое свойство
PanLex
