PanLinx
русский
rus-000
экзистенциально интерпретируемая теория
English
eng-000
existentially interpretable theory
PanLex
