{"entities":{"Q420181":{"pageid":421948,"ns":120,"title":"Item:Q420181","lastrevid":61707723,"modified":"2026-04-11T01:06:47Z","type":"item","id":"Q420181","labels":{"en":{"language":"en","value":"Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037009"}},"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":"Q420181$ADCFE253-CEFE-4D8F-B98E-8BDFF2249BDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25ccefcdb55013c28db878671c7a52ce534db8d8","datavalue":{"value":{"text":"Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q420181$C95F8EDD-9EB1-4272-A342-64EA3DCCFC6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f86295b7b38f34b38553c479179acea24be3198b","datavalue":{"value":"1244.54102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420181$AB92E525-CC87-4D72-96EA-6915B93A9F01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb80549e1e6286c36acd2015cebe714a046378cf","datavalue":{"value":"10.5402/2011/384625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420181$E931E9BE-E9D5-4A3C-B324-18BF8EBD9AD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"324b88f3179f449ebb0b47f4a5132d6edb88cd24","datavalue":{"value":{"entity-type":"item","numeric-id":196640,"id":"Q196640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420181$89B6F066-FDFB-4D12-901F-9E1992AB9E06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b74f177bfe3007b6d2d589bad1435a951afee42a","datavalue":{"value":{"entity-type":"item","numeric-id":420140,"id":"Q420140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420181$1266FE7B-66FA-4D70-91F4-A9FDA0C27BFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59c77f9a8b23c994c57efbed811891089ca76628","datavalue":{"value":{"time":"+2012-05-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":"Q420181$26A42ADF-F0D2-439A-8C31-C1B1ABD7245D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f20aa74d9920ceffd80fdbbd8c7709bdfc742c27","datavalue":{"value":"Summary: Brouwer's fixed point theorem cannot be constructively proved, so the existence of an equilibrium in a competitive economy also cannot be constructively proved. On the other hand, Sperner's lemma which is used to prove Brouwer's theorem is constructively proved. Some authors have presented a constructive (or an approximate) version of Brouwer's fixed point theorem using Sperner's lemma. In this paper, I prove the existence of an approximate equilibrium in a competitive economy directly by Sperner's lemma. Also I show that the existence of an approximate equilibrium leads to Sperner's lemma. I follow the Bishop style constructive mathematics according to \\textit{E. Bishop} and \\textit{D. Bridges} [Constructive analysis. Grundlehren der Mathematischen Wissenschaften, 279. Berlin etc.: Springer-Verlag (1985; Zbl 0656.03042)], \\textit{D. Bridges} and \\textit{F. Richman} [Varieties of constructive mathematics. London Mathematical Society Lecture Note Series, 97. Cambridge etc.: Cambridge University Press. (1987; Zbl 0618.03032)], and \\textit{D.S. Bridges} and \\textit{L. S. V\u00ee\u0163\u0103} [Techniques of constructive analysis. Universitext. New York, NY: Springer (2006; Zbl 1107.03065)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q420181$E2C1F259-02FA-4090-B087-3A228BEBD945","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420181$A5FF9882-CEBF-4B89-8A9F-2B5BB80303BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24cdad0c4f070ea13a423276897e0bb867bad11c","datavalue":{"value":"91B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420181$723C7478-632A-42F9-B7B9-2BD1CC849EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420181$F135611B-6104-4F39-840A-CB905A19C4CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36f346f436927d2a5b0dcb498e306bac777c471b","datavalue":{"value":"6037009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420181$6F6041C8-880E-4A16-BCCC-2BA6689CF5D8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1b2364e8c2bfc1347adb3e9bc8148a100ad73a6e","datavalue":{"value":"Q58689315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420181$4C254E39-BE10-4E6A-BF67-F173F7178312","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":"Q420181$6E0B51CC-209D-463E-AF19-20622023C9A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"638ae872fdd61cc8bce3ced2c7eebf9f70dc8459","datavalue":{"value":"https://doi.org/10.5402/2011/384625","type":"string"},"datatype":"url"},"type":"statement","id":"Q420181$B7BDDFD2-435D-435A-B014-4DF380FE2E96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efb4d57f781aeb0d99416418f8b7abfd7886fbe9","datavalue":{"value":"W2060045967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420181$27800950-CC81-47A7-B6E8-841A3F75A2D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff917a23bf4a00c40328c768e3bf16ad04f3002","datavalue":{"value":{"entity-type":"item","numeric-id":3613310,"id":"Q3613310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420181$ED4B5900-0167-470A-9703-6B0CAD7EF077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420181$92F6E041-0B95-4303-ACF7-3723C103E862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420181$4C935D95-E57B-460B-95C3-4BAB902B2400","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":"Q420181$EBD74EF5-189E-4EEE-8F88-DBC0EB4BD8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"853e975047b27408925e3bc8dfc03ac652ae054e","datavalue":{"value":{"entity-type":"item","numeric-id":2757340,"id":"Q2757340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420181$D50A9F8A-FD3E-4618-993B-A39DC7078163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c3d4f552fec9b627fb81a06a39a3b3a95adb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2649714,"id":"Q2649714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420181$11CE5FB6-DC76-4045-9C6B-880E86B6BEFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e6fdb04bba94fa88db54d1c6407c386bbcd507","datavalue":{"value":{"entity-type":"item","numeric-id":3164991,"id":"Q3164991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037a2a2de2745096eabca2db530234b5c7f9889d","datavalue":{"value":{"amount":"+0.8832731246948242","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":"Q420181$64566D51-FFEF-4F50-9D7F-FC172E155246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b16eb6912f9910f19e342e018432f020904dad6f","datavalue":{"value":{"entity-type":"item","numeric-id":3107619,"id":"Q3107619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36eb25408a73eec0a0aaac3f0e51aa347129cd5","datavalue":{"value":{"amount":"+0.8585944175720215","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":"Q420181$9905C08F-A0D7-4D9F-B77B-C98F5AD56AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26056bce893d9c3869c796df859e812158dfb61","datavalue":{"value":{"entity-type":"item","numeric-id":4735190,"id":"Q4735190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2fd5645b878ab9d673bec86d9c5834ae5a0f4b","datavalue":{"value":{"amount":"+0.8162702918052673","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":"Q420181$C9C5AE73-7E22-45CA-9D0F-012B446BED72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fe5c39e9bd3b6e71dec6889661bbd3aabae6d6","datavalue":{"value":{"entity-type":"item","numeric-id":2159461,"id":"Q2159461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c8cbad255d76ad40846092d0c10a7a66199687","datavalue":{"value":{"amount":"+0.7900445461273193","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":"Q420181$917D94E4-6E3E-4E23-8464-503EBD98B2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f86a1de4cc10130483a9718781959a1e5d56032","datavalue":{"value":{"entity-type":"item","numeric-id":5198366,"id":"Q5198366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cbd23d0dc0b202330afb2ea7bfad576c65f2c32","datavalue":{"value":{"amount":"+0.7865906953811646","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":"Q420181$3A1C16E3-7102-4815-AEB9-46C0B467B157","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420181$58E2E2EE-531C-44D6-AA7C-F75993529641","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence_between_the_existence_of_an_approximate_equilibrium_in_a_competitive_economy_and_Sperner%27s_lemma:_a_constructive_analysis"}}}}}