Assertion: logic | /r/CapableOf | allow polynomial weight formulas
Facets:
value: for formulas of the form
type: OTHER
Source sentences:
text: Polynomial weight formulas: Logics with polynomial weight formulas (involving both weighted sums and products of probability terms), can allow for formulas of the form \(P(\phi)P(\psi)-P(\phi\wedge \psi)