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