{"entities":{"Q7361804":{"pageid":31520951,"ns":120,"title":"Item:Q7361804","lastrevid":105369656,"modified":"2026-10-07T13:38:37Z","type":"item","id":"Q7361804","labels":{"en":{"language":"en","value":"Farkas' Lemma and Motzkin's Transposition Theorem"}},"descriptions":{"en":{"language":"en","value":"AFP entry Farkas"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22e358073f66678069836d71b65bae5cd8300a4c","datavalue":{"value":"https://isa-afp.org/entries/Farkas.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361804$5C92AE64-9B64-4827-824F-7C53F882A51B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2d28c04b6b7089da23e2cfcbe71be7e417b5ca3","datavalue":{"value":{"time":"+2019-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361804$91ABCC8E-EA64-4F92-9980-051B44F82152","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"d6e2e06bc6d38783fcdfb6387c30d5f45465b3a1","datavalue":{"value":"Ralph Bottesch","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361804$23F92FBC-D98C-487C-B7A4-38FA36B650EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e24c85cc74f22f9901f70520869c19fde2b00ac","datavalue":{"value":"Max W. Haslbeck","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361804$378527CC-2632-4A59-A9CB-991BA763F839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361804$AEA3F99C-05BD-43D0-9C0D-1049421604F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6674053a5cb7634aa816cb65ab80589121afc7b6","datavalue":{"value":{"text":"Farkas' Lemma and Motzkin's Transposition Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361804$D4DA59C2-4D44-48FF-AAA3-438755D42F70","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7fc5dc3a776422b762ad6ccfd79892cbc4a20ab0","datavalue":{"value":"We formalize a proof of Motzkin's transposition theorem and Farkas' lemma in Isabelle/HOL. Our proof is based on the formalization of the simplex algorithm which, given a set of linear constraints, either returns a satisfying assignment to the problem or detects unsatisfiability. By reusing facts about the simplex algorithm we show that a set of linear constraints is unsatisfiable if and only if there is a linear combination of the constraints which evaluates to a trivially unsatisfiable inequality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361804$20AE3F4D-80D2-4C45-B5B5-86BCEFD92626","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc040c5ddf5393721821c4a7c6b2f0c37070528f","datavalue":{"value":{"entity-type":"item","numeric-id":1688532,"id":"Q1688532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361804$66F679A6-199D-430F-93AB-51FAD6E9190D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361804$8E6730CE-9A63-4008-A700-A745BD269EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e386a86950f465930ae0749e91e9486062cb69bc","datavalue":{"value":{"entity-type":"item","numeric-id":4647860,"id":"Q4647860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361804$F7555A00-0C11-41C1-9EF8-948B60F7F05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03557cbd918b8a8243c3226bcfbd382a844e571c","datavalue":{"value":{"entity-type":"item","numeric-id":5603731,"id":"Q5603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361804$2E0CA09C-7F39-4116-A133-4AED533D58A8","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":"Q7361804$FDCEC4BD-FDFB-4D55-9C79-A3C738BC1E4E","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"67e8a5ea879a7dc06c8ce830c1b61b9bb35cc48f","datavalue":{"value":{"entity-type":"item","numeric-id":7361432,"id":"Q7361432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361804$5C630779-2348-4133-8423-4779AC8A8397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"395d42e4392d4cd277bf154a8eee9d3e86d513c2","datavalue":{"value":{"entity-type":"item","numeric-id":7361924,"id":"Q7361924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361804$4420AA73-88EA-44AD-9087-4F9102C54B35","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":"Q7361804$C7D10F44-A975-4EA9-A3AE-F63E3B69F1BF","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":"Q7361804$D3600D7C-1110-4E18-B7A1-5D6D5545F234","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Farkas' Lemma and Motzkin's Transposition Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Farkas%27_Lemma_and_Motzkin%27s_Transposition_Theorem"}}}}}