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
Ivan Kramosil
Classification:
62D05, 62P99, 03B99