%0 Journal Article %A A. L. Chistov %T An efficient algorithm for testing the solvability for a system of polynomial equations over $p$-adic integers %J Algebra i analiz %D 2021 %P 162-196 %V 33 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/AA_2021_33_6_a8/ %G ru %F AA_2021_33_6_a8