{"entities":{"Q7361012":{"pageid":31518575,"ns":120,"title":"Item:Q7361012","lastrevid":105362399,"modified":"2026-10-07T13:34:12Z","type":"item","id":"Q7361012","labels":{"en":{"language":"en","value":"Linear Inequalities"}},"descriptions":{"en":{"language":"en","value":"AFP entry Linear_Inequalities"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bbcbcd8b8e22cbd1e950c83d53dfe19c006f440","datavalue":{"value":"https://isa-afp.org/entries/Linear_Inequalities.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361012$93C50B2A-B5E6-4A48-A125-A7640DDCEE79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5d802cb4234323fb0bcc54172e16aa118515daa","datavalue":{"value":{"time":"+2019-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361012$48879776-6AAB-4DA9-8FE9-BC26F5C4484A","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"d6e2e06bc6d38783fcdfb6387c30d5f45465b3a1","datavalue":{"value":"Ralph Bottesch","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361012$F9DF0848-4A5B-442E-98D5-CC3046E7255C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"16f9696f2e63bfd5893826091f1d22fb187d4c61","datavalue":{"value":"Alban Reynaud","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361012$896B4050-CCFD-4547-9B7B-D6B19A607289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361012$D499577E-FC38-4ED9-AFE8-CF516A9AFBCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee9da4fdaded8c53e042355fe80a95858cbe3cb8","datavalue":{"value":{"text":"Linear Inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361012$EF31C892-20EF-4288-A593-4A45E65AADB3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"418f3defdfd5a25c01529c953871e3ea1c0e185c","datavalue":{"value":"We formalize results about linear inqualities, mainly from Schrijver's book. The main results are the proof of the fundamental theorem on linear inequalities, Farkas' lemma, Carath\u00e9odory's theorem, the Farkas-Minkowsky-Weyl theorem, the decomposition theorem of polyhedra, and Meyer's result that the integer hull of a polyhedron is a polyhedron itself. Several theorems include bounds on the appearing numbers, and in particular we provide an a-priori bound on mixed-integer solutions of linear inequalities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361012$701BB23A-C3D7-44A9-AC6D-846122C835C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae2d2158e3c465c93233b4442630df5c29733e","datavalue":{"value":{"entity-type":"item","numeric-id":3522019,"id":"Q3522019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$A1D2AC48-7B10-4D98-8B6C-CF3D15F02970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$D0A46D75-D9E9-45D4-BCD9-B243DBB2D497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8140e4105e9a133f88717f08d7a9ce19bb1f9cab","datavalue":{"value":{"entity-type":"item","numeric-id":5277869,"id":"Q5277869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$FCB36DC0-E76F-48BA-A71B-A6E28D34988B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$3E585CAA-DD60-4EB3-AEB9-A6CE024389CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$2A8AF320-5FB5-4317-8345-3885EB4F7124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73402f4152dc1b0c6384814fa1868f011d7bebc5","datavalue":{"value":{"entity-type":"item","numeric-id":3421016,"id":"Q3421016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$433231BD-6311-46A0-A977-F440F9F123C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$758CBE4A-7A89-4B0D-AB08-CC68F31EFD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97132178938a086d46887cf71f3c6653c803319d","datavalue":{"value":{"entity-type":"item","numeric-id":3582701,"id":"Q3582701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$F26150E1-D299-491A-BA7D-DB97DC970391","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$25E5153C-E210-473C-AF7C-FF0357272A1F","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"6b0c8751e5c0af23677c31da7dad8b06ad87cc15","datavalue":{"value":{"entity-type":"item","numeric-id":7361415,"id":"Q7361415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$489516C5-15EA-41C8-8EC8-8493FAAA2550","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$8710E5CF-E921-489F-858D-44BE633BD00D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361012$99AAE8E8-7AF0-4642-894C-F20B3282A86F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear Inequalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_Inequalities"}}}}}