Journal of the ACM Bibliography
S. C. van Westrehnen.
Statistical studies of theoremhood in classical propositional and first
order predicate calculus. Journal of the ACM,
19(2):347-365, April 1972.
[BibTeX entry]
Additional Key Words and Phrases:
conjunctive normal form, clause, tautology, (un)provable, proof
procedure, Herbrand's theorem, stochastic variable, probability
distribution, error probability, statistical estimation procedure
Selected references
Shortcuts: