Assertion: logic's theorem | /r/HasProperty | proved using method
Facets:
value: from linear programming
type: OTHER
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).