PanLinx
русский
rus-000
теоретико-числовой предикат
English
eng-000
number-theoretic predicate
PanLex
