If-clauses and probability operators

From MaRDI portal
Publication:1929171