Three semantical interpretations of a statistical theoremhood testing procedure Ivan Kramosil (1982) Kybernetika Similarity: