PanLinx
русский
rus-000
гомоморфно устойчивая формула
English
eng-000
homomorphically stable formula
PanLex