PanLinx
русский
rus-000
вычислительная аксиоматизируемость
English
eng-000
calculable axiomatizability
PanLex