PanLinx
English
eng-000
inductive invariant
русский
rus-000
индуктивный инвариант
PanLex
