Semantic representation of the probability of formulas in formalized theories
scientific article; zbMATH DE number 3456888