PanLinx
English
eng-000
numeralwise decidable formula
русский
rus-000
нумерически разрешимая формула
PanLex
