Определяется делимое пополнение разрешимой группы Баумслага–Солитера и доказывается, что при некоторых ограничениях на элементарная теория этого пополнения алгоритмически разрешима.
Индексирование
Scopus
Crossref
Высшая аттестационная комиссия
При Министерстве образования и науки Российской Федерации