%0 Journal Article
%A Kramosil, Ivan
%T A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
%J Kybernetika
%D 1973
%P -173
%V 09
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1973__9_3_a1/
%G en
%F KYB_1973__9_3_a1