"probabilistic proof" - related articles and key terms