@article{KYB_1973__9_3_a1,
     author = {Kramosil, Ivan},
     title = {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},
     journal = {Kybernetika},
     pages = {--173},
     publisher = {mathdoc},
     volume = {09},
     number = {3},
     year = {1973},
     mrnumber = {0343415},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1973__9_3_a1/}
}