PanLinx
русский
rus-000
арифметически определимый
English
eng-000
arithmetically definable
PanLex
