%0 Journal Article
%A A. L. Semenov
%A M. A. Babenko
%A A. Ya. Belov
%A N. K. Vereshchagin
%A M. E. Vishnikin
%A E. E. Zolin
%A V. N. Krupski
%A S. L. Kuznetsov
%A V. A. Lyubetskii
%A A. A. Onoprienko
%A M. R. Pentus
%A S. F. Soprunov
%A A. A. Sorokin
%A V. B. Shehtman
%A T. L. Yavorskaya
%T Chair of Mathematical Logic and Theory of Algorithms
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2025
%P 23-32
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_2025_1_a3/
%G ru
%F VMUMM_2025_1_a3