{"entities":{"Q420168":{"pageid":421935,"ns":120,"title":"Item:Q420168","lastrevid":61707606,"modified":"2026-04-11T01:06:44Z","type":"item","id":"Q420168","labels":{"en":{"language":"en","value":"A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037002"}},"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":"Q420168$DDCCBDBD-BE95-435D-8C2E-49C83FFAA4B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a2f307ef52661d462d7fc78adac62b495b55690","datavalue":{"value":{"text":"A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q420168$C01A3EF9-A963-45C7-8882-5C951909D06D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"089ef2a941e325e8b3ccf8cc1fdbbf7f56d51b6a","datavalue":{"value":"1244.54101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420168$0A902847-FFE6-4C46-932E-8E970991C787","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fb99aafbffb22325a88453ded8133b855fa4c9a","datavalue":{"value":"10.5402/2011/276040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420168$ACC29A0C-52CA-40B7-B0C8-F014C1512E96","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":"Q420168$4A248C11-0F67-44C6-9C07-9C3A4777A553","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":"Q420168$F95147AD-E513-4F72-845E-8E1105802229","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":"Q420168$380EE5B6-A64F-401D-80D8-78EA680D0FC1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e026af4a207efa513bb341843e9ec1854b515ab","datavalue":{"value":"Summary: It is often said that Brouwer's fixed point theorem cannot be constructively proved. On the other hand, Sperner's lemma, which is used to prove Brouwer's theorem, can be constructively proved. Some authors have presented a constructive (or an approximate) version of Brouwer's fixed point theorem using Sperner's lemma. They, however, assume uniform continuity of functions. We consider uniform sequential continuity of functions. In classical mathematics, uniform continuity and uniform sequential continuity are equivalent. In constructive mathematics \u00e0 la Bishop, however, uniform sequential continuity is weaker than uniform continuity. We will prove a constructive version of Brouwer's fixed point theorem in an \\(n\\)-dimensional simplex for uniformly sequentially continuous functions. We follow the Bishop style constructive mathematics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q420168$7FED4A45-D4ED-47DF-A11F-E30A964E8A7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420168$AA927428-2B4F-4671-95A0-D21F94EB6BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420168$40E41295-5D96-475A-8665-6C8193239006","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a56a43099779a94d7343d749b745f70915f2336f","datavalue":{"value":"6037002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420168$A36E8FD0-2B86-4041-8222-241A65DA37F9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aed55a4ac9ab9441daba4ecbf17066ca00d7b833","datavalue":{"value":"Q58689166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420168$B67AEF40-8FC3-4A07-A70E-D18798466F87","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":"Q420168$DB806D41-59BB-455F-B96E-D6BE75B6966A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce66f337ab23b53be45b1770306ec31ace07b840","datavalue":{"value":"https://doi.org/10.5402/2011/276040","type":"string"},"datatype":"url"},"type":"statement","id":"Q420168$453050E9-CEAB-46AB-9E51-9ED5FC267746","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbcbea07f97a33d8dfd87401a0867eec63b9e908","datavalue":{"value":"W2156629569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420168$2BBC501C-3869-42E6-AA75-A99F2D763C82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"625b64816bfe82b8e4b821043108039f402e0708","datavalue":{"value":{"entity-type":"item","numeric-id":4127277,"id":"Q4127277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420168$1AE6353F-94CB-4F15-83FF-450F2425C96D","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":"Q420168$191401FE-0C39-41CD-B146-D26C189AB412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed74f919d2a65246b0017c0df967094cd56458ff","datavalue":{"value":{"entity-type":"item","numeric-id":549181,"id":"Q549181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420168$853873B8-E70E-477A-960A-597537E10DDC","rank":"normal"},{"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":"Q420168$5D128B7B-822E-489B-9CD9-67FF2356E51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527d80c98a2d008f7500cf71fcaeb3b5dad680fe","datavalue":{"value":{"entity-type":"item","numeric-id":2573727,"id":"Q2573727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420168$6D58844A-8807-45F1-ABF4-A07F6E5D75F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b6e0ecadbcb95040a2ce5ebc7af0971dcc29fb","datavalue":{"value":{"entity-type":"item","numeric-id":4032642,"id":"Q4032642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420168$3818B958-E18A-46CF-B637-C3DC4D00B9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6963013ea6b321fce1815b0451e8f85191c572","datavalue":{"value":{"entity-type":"item","numeric-id":4212922,"id":"Q4212922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420168$3A18775A-A3F1-485B-A54E-AC0CEE542650","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":"Q420168$B63DD394-E474-4DEA-B373-55FFCA751677","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":"Q420168$F3F8C329-52B4-45DE-997C-D2FF26524533","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":"Q420168$C73B2EC7-50CF-47C8-A8DB-B96697A202D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303b97d1e9e5c2b374c76d4db8899298aa8e9bd7","datavalue":{"value":{"entity-type":"item","numeric-id":420181,"id":"Q420181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420168$6BE4CEE7-3BE4-475E-A443-9985D9461697","rank":"normal"}],"P1643":[{"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":"55de6785950c9c8387a2ad15a90997687eb67f06","datavalue":{"value":{"amount":"+0.8548943400382996","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":"Q420168$C1651B62-DF8E-405E-8303-ECE2B226C800","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":"997772e690f9e69c2e517bc74dc9f9515cdcdb86","datavalue":{"value":{"amount":"+0.8305659294128418","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":"Q420168$31D6CFA0-892E-40A8-A4DF-94987C4AF4CD","rank":"normal"},{"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":"319165526b7f725320a93ed2b2e9ba72173708f7","datavalue":{"value":{"amount":"+0.8296809792518616","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":"Q420168$7B7C2C63-C750-4B70-B98F-5DBED443627D","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":"c6bb17d472d404460966f0d6829d0651733a03d4","datavalue":{"value":{"amount":"+0.8092036247253418","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":"Q420168$75748DC0-6D66-4829-967F-5CC6A1A7CAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107b065668b205178c8b3bd456abe2b23e383b61","datavalue":{"value":{"entity-type":"item","numeric-id":3145979,"id":"Q3145979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473f7dee395e426754556fe7879cd4934815aa39","datavalue":{"value":{"amount":"+0.800380289554596","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":"Q420168$672CF45D-420D-4998-AAE2-2BF95C7F9550","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":"Q420168$4DDFE879-40DE-4834-8438-0422CD38AAD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_of_constructive_version_of_Brouwer%27s_fixed_point_theorem_with_uniform_sequential_continuity"}}}}}