PanLinx
русский
rus-000
псевдобулев
English
eng-000
pseudo-Boolean
PanLex