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