PanLinx
русский
rus-000
синтаксическая аксиоматизация
English
eng-000
syntactic axiomatization
PanLex