PanLinx
English
eng-000
implicit sequent
русский
rus-000
неявная секвенция
PanLex
