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