%0 Journal Article
%A N. V. Avkhimovich
%A S. M. Dudakov
%T On decidability of finite subsets’ theory for dense linear order
%J Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
%D 2023
%P 24-35
%N 1
%U http://geodesic.mathdoc.fr/item/VTPMK_2023_1_a1/
%G ru
%F VTPMK_2023_1_a1