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