PanLinx
English
eng-000
invariant condition
русский
rus-000
инвариантное условие
PanLex