Displaying similar documents to “Computational complexity of a statistical theoremhood testing procedure for propositional calculus with pseudo-random inputs”