PanLinx
русский
rus-000
нумерически представимая формула
English
eng-000
numeralwise representable formula
PanLex
