Assertion: logic's theorem | /r/Desires | basic probability theory
Facets:
Source sentences:
text: The proof of Theorem 4 is significantly more difficult than that of Theorem 2: Theorem 2 requires only basic probability theory, whereas Theorem 4 is proved using methods from linear programming (Adams and Levine 1975; Goldman and Tucker 1956).