PanLinx
English
eng-000
truth-table reducedness
русский
rus-000
табличная сводимость
PanLex