{"entities":{"Q2067640":{"pageid":2078382,"ns":120,"title":"Item:Q2067640","lastrevid":57725190,"modified":"2026-04-01T02:56:44Z","type":"item","id":"Q2067640","labels":{"en":{"language":"en","value":"On Farkas' lemma and related propositions in BISH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7458793"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$39B2C72D-892C-42AA-ABF9-6FAAD26274FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bee44b569ebc4381393d2887bca1d44850effc11","datavalue":{"value":{"text":"On Farkas' lemma and related propositions in BISH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2067640$3F17EF3A-EAC1-45D9-BD69-942AFBD9AB05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e22d30990ee3a83e61d1f2b74555f43425c094b","datavalue":{"value":"1486.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067640$9F2F6F9B-3712-40E7-8E8F-64C071689059","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b297e870ab363601f4b2bc889f037e2eb84a7725","datavalue":{"value":{"entity-type":"item","numeric-id":306580,"id":"Q306580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$F97C2A43-5B88-4992-80FF-A64AF737ACE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6001e1f306ef521c9e087ec852276342032f293","datavalue":{"value":{"entity-type":"item","numeric-id":271875,"id":"Q271875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$02912EF8-172A-4C57-9EED-2C56A390CF60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$35B83A3F-5F2F-4947-8D4D-4F0F95852E5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ca2650979f724510b6fdad7c545c6ca3688a8af","datavalue":{"value":{"time":"+2022-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2067640$4B66712A-A43D-4F09-903D-CE59ED1013D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a0f1b339ad8a9da2310a80f2dbdc8690b2864ad","datavalue":{"value":"https://arxiv.org/abs/2101.03424","type":"string"},"datatype":"url"},"type":"statement","id":"Q2067640$B3A34843-A3BB-4E8E-9C00-8BD623590A96","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fbd3a37357cf8d4fcfe404626c498fcfe6fd9370","datavalue":{"value":"This paper works within the framework of constructive mathematics, in the tradition of \\textit{E. A. Bishop} [Foundations of constructive analysis. Maidenhead, Berksh.: McGraw-Hill Publishing Company, Ltd. (1967; Zbl 0183.01503)]; the paper analyzes the constructive validity of Farkas' lemma.  \\textit{J. Farkas}' lemma [J. Reine Angew. Math. 124, 1--27 (1901; JFM 32.0169.02)] states that for any real \\(m\\times n\\)-matrix \\(A\\) and any point \\(b\\in R^{m}\\), exactly one of the following statements is true. \\begin{itemize} \\item[i)] \\(\\exists\\xi\\in R^{m}(\\xi\\cdot A\\ge0\\wedge\\xi\\cdot b<0)\\)  \\item[ii)] \\(\\exists q=(q_{1},\\dots,q_{n})\\in R^{n}(q_{i}\\ge0(i=1,\\dots,n)\\wedge A\\cdot q=b)\\) \\end{itemize}  It is first shown that Farkas' lemma is constructively invalid. Then several constructively valid versions are obtained. These versions of Farkas' lemma are used to obtain constructive versions of several well-known classical results, including the Fredholm alternative for solvability of systems of linear equations, certain optimality criteria in linear programming, Stiemke's lemma, the superhedging duality, von Neumann's minimax theorem, and existence of solutions to two-person zero-sum games.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067640$17D88782-ADFA-4E74-8BAA-A1A089B8FEC8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8216ebaa29894f2da1fbbb2fdf6457d9d8310f0c","datavalue":{"value":{"entity-type":"item","numeric-id":265602,"id":"Q265602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$E9AEF7A0-D844-46EF-880B-E645FEDBAB59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067640$916ABA18-7FA7-4F6D-B7A4-8C5CC8686A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"147c8a720e6d6c185b949f7a2752aaaafdb28188","datavalue":{"value":"46N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067640$FB174B15-FC2F-41B3-9885-900A57193325","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7abc08b97e97a22695bc739824d71288a118b5b","datavalue":{"value":"7458793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067640$4C381B9F-E3DE-4F09-A429-CCFE32919252","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f5af9bb3f40eb3a311a98e7815fe1ea7154ddc","datavalue":{"value":"Farkas' lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067640$9EB25CF9-BA22-4EFA-A72E-68CDD9952CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067640$BE000586-63E9-4D0B-AE47-F181F25CF35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2265872423bdd9540bed3782c7ded8e5d8bb726","datavalue":{"value":"Fredholm alternative","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067640$E4A856A7-BC64-4631-9FBE-373B6D398D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7faabc0cad3da3297ff2a0527aca6f8b4b7d6fe","datavalue":{"value":"Stiemke's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067640$86FA8A8D-3C78-4E09-9022-D17A0D6DBF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a803ef9813bc1c9d79dd207c952b73d41de1a8d4","datavalue":{"value":"superhedging duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067640$1569CD80-C4A4-4FFF-B566-F6B4319084EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f73f5d77851aed07fb4a915db5bccdc84e84a744","datavalue":{"value":"constructive game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2067640$D74296B0-F74E-4F09-8AA5-75AFF61138DC","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$5A219B45-B66E-4652-97BC-A575C6577539","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8027a5a37c3bab1a36f6e71f8221848b2eea67f","datavalue":{"value":"W3210929130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067640$4F9E0B32-7B43-4811-9D85-E08A1AE54D1F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0f255ea30fef77e8432d7fe0060efaa620102dd4","datavalue":{"value":"Q124821427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067640$F1F4B381-8BC2-4C28-99E5-31E0D224F877","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"501b2b1595541fe03a716b3ab8d78682b882ec58","datavalue":{"value":{"entity-type":"item","numeric-id":334985,"id":"Q334985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$9DDD9850-7E03-4A9B-93F4-8352858BC6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7397de42cb97316678d035fbc1c5990bb2fd0f","datavalue":{"value":{"entity-type":"item","numeric-id":306581,"id":"Q306581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$9CA9E1D5-3747-4DE9-AB56-04C3A0E35509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9163cc0b78e852abdfd2770a37c161ba368434","datavalue":{"value":{"entity-type":"item","numeric-id":1712926,"id":"Q1712926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$DC899956-C0B9-47E7-BF8A-B402FA1E5D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$72141974-62D6-4794-BC34-CEDECE5B418C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660c1be12725ddb3f8d7bfff24c121014c8c3ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3159434,"id":"Q3159434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$1C0BCD5E-26C7-4EE2-8B9E-35D304A58964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef811fe82014afd549ae4c462f71e15c5bd9450d","datavalue":{"value":{"entity-type":"item","numeric-id":850934,"id":"Q850934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$8046B758-5ADA-4F0C-B3A5-B4D59DB92EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ef73d21ce0b5e2567b33c3ef1f019a8dd47380","datavalue":{"value":{"entity-type":"item","numeric-id":307534,"id":"Q307534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$F6632529-1D54-49D9-AB88-833F3DE24529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1d828e001ea56456119dc36a5eea7a2c9924f6","datavalue":{"value":{"entity-type":"item","numeric-id":1823923,"id":"Q1823923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$DFB788D4-9323-492B-A95E-108BCBE87B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"734d4af33f667cea025b56cec577e0b8e49f6644","datavalue":{"value":{"entity-type":"item","numeric-id":4733862,"id":"Q4733862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$6870B617-1314-465E-9FBF-1FCFFC92A341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6502ecffe0107b50a365052951bbf596e141fe5c","datavalue":{"value":{"entity-type":"item","numeric-id":2478026,"id":"Q2478026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2067640$8F7737C3-E49A-46AE-A4F9-5E5EEFDB1804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b945a3185c29a599f1e50db43b05024ec29d841","datavalue":{"value":"10.1016/J.APAL.2021.103059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2067640$1D4CC368-C6B1-4062-856D-BFD43C28C36F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476ea0d7815cf98de1a90e9df7d901132f1051b0","datavalue":{"value":{"entity-type":"item","numeric-id":3159434,"id":"Q3159434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5474a9be292c4b5bb5c0f0031f677d7bfc74e0","datavalue":{"value":{"amount":"+0.7969092726707458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2067640$DE9FC484-E2FE-475C-95B9-225013225126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0505344e7ffe50c1911a7dbfbf748df7401317","datavalue":{"value":{"entity-type":"item","numeric-id":2313263,"id":"Q2313263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c860c37913fdd0149f94bb3a918baec12c42910","datavalue":{"value":{"amount":"+0.7721679210662842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2067640$31CAD494-C540-4C64-BC77-38BBC7D909A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28644d24457f0c567621df016f41a66215f323f4","datavalue":{"value":{"entity-type":"item","numeric-id":796092,"id":"Q796092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b08605dc259195ac664bb43ce5bf1482931f826","datavalue":{"value":{"amount":"+0.7674827575683594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2067640$048E2018-C957-4A1B-B17C-DDFEC9FEB30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec9d098e5ade88158add35244a65db71a89caf9","datavalue":{"value":{"entity-type":"item","numeric-id":4899823,"id":"Q4899823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499f51e9e0bfa8ff5ab71f5b83e1fde3b4d4d0bd","datavalue":{"value":{"amount":"+0.7567373514175415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2067640$60322790-8F8B-49EE-9846-9CD828AA49F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efda0f020f3914a5b1e5b60595f6be649ee5ec08","datavalue":{"value":{"entity-type":"item","numeric-id":2668886,"id":"Q2668886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca82737cf63afa38a555d00bb1e69bbae170e11","datavalue":{"value":{"amount":"+0.7486089468002319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2067640$477A94EE-ECFC-4988-B3BD-440DBC960DB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2067640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2067640"}}}}}