×

Statistical verification procedures for propositional calculus. (English) Zbl 0529.68066


MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68Q25 Analysis of algorithms and problem complexity
03B35 Mechanization of proofs and logical operations
03B05 Classical propositional logic

Citations:

Zbl 0529.68071
PDFBibTeX XMLCite