Statements (14)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | gptkb:mathematical_concept | 
| gptkbp:alsoKnownAs | Motzkin's transposition theorem | 
| gptkbp:appliesTo | systems of linear inequalities | 
| gptkbp:field | linear algebra convex geometry | 
| gptkbp:namedAfter | gptkb:Theodore_Motzkin | 
| gptkbp:relatedTo | gptkb:Farkas'_lemma linear programming | 
| gptkbp:sentence | A finite system of linear inequalities over the real numbers is solvable if and only if every finite subsystem is solvable. | 
| gptkbp:yearProposed | 1936 | 
| gptkbp:bfsParent | gptkb:Leo_Motzkin gptkb:Theodore_Samuel_Motzkin | 
| gptkbp:bfsLayer | 7 | 
| https://www.w3.org/2000/01/rdf-schema#label | Motzkin's theorem |