%0 Journal Article
%A L. A. Lyutikova
%A E. V. Shmatova
%T On the use of variable predicates to formalize

%J News of the Kabardin-Balkar scientific center of RAS
%D 2018
%P 5-10
%N 6-3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_2018_6-3_a0/
%G ru
%F IZKAB_2018_6-3_a0