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