PrSAT

MaRDI QIDQ53796swMATHFDO

Official website http://fitelson.org/PrSAT/

Described by source

• A decision procedure for probability calculus with applications

Cited in

(3)

• Is there a place in Bayesian confirmation theory for the reverse Matthew effect?
• Contrastive confirmation: some competing accounts
• Probabilistic measures of coherence: from adequacy constraints towards pluralism

This page was built for software: PrSAT