×

Statistical studies of theoremhood in classical propositional and first order predicate calculus. (English) Zbl 0246.68017


MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03-04 Software, source code, etc. for problems pertaining to mathematical logic and foundations
PDF BibTeX XML Cite
Full Text: DOI