PanLinx
русский
rus-000
денотационная семантика
English
eng-000
denotational semantics
PanLex