TY - RPRT TI - On verifying hypotheses by verifying their implicates. AU - H M JOHNSON PY - 1954 UR - https://pubmed.ncbi.nlm.nih.gov/13228739/ ID - 13228739 ER -