论文信息 - Statistical methods for comparing theorem proving algorithms - 字舞流文

Statistical methods for comparing theorem proving algorithms

Ivan Kramosil | Zbigniew Zwinogrodzki

[1] Ivan Kramosil. A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.) , 1972, Kybernetika.

[2] William Craig,et al. Linear reasoning. A new form of the Herbrand-Gentzen theorem , 1957, Journal of Symbolic Logic.

[3] Ivan Kramosil. Statistical estimation of deducibility in polyadic algebras , 1971, Kybernetika.

[4] Alonzo Church,et al. A note on the Entscheidungsproblem , 1936, Journal of Symbolic Logic.

[5] Hao Wang,et al. Toward Mechanical Mathematics , 1960, IBM J. Res. Dev..