PanLinx
русский
rus-000
унитарная выполнимость
English
eng-000
unitary satisfiability
PanLex