{"entities":{"Q2219099":{"pageid":2229842,"ns":120,"title":"Item:Q2219099","lastrevid":82661279,"modified":"2026-05-06T21:26:31Z","type":"item","id":"Q2219099","labels":{"en":{"language":"en","value":"Characterising Brouwer's continuity by bar recursion on moduli of continuity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297808"}},"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":"Q2219099$63D20A60-D7BE-4E43-BF4C-DDDDD98346CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1b877e96bf9be1e1c42a32f0340b6ae9383dd1b","datavalue":{"value":{"text":"Characterising Brouwer's continuity by bar recursion on moduli of continuity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219099$0012C0BF-8774-4124-A1D7-85D607C95587","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d3a2da572aea58b7a83a224789859f2a1280880","datavalue":{"value":"1496.03254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219099$243B2814-F255-4546-AA1C-A7798F9B829B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed802a6d9a5c89df6324bfbe3e28c722497db55c","datavalue":{"value":{"entity-type":"item","numeric-id":892138,"id":"Q892138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$B21BDBB7-B41A-4296-8E13-2307BEA47EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9aecb6ededd34480101a3f509344c31123c7055","datavalue":{"value":{"entity-type":"item","numeric-id":1734271,"id":"Q1734271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$F56AF9BB-5589-426D-9B34-1B5B933676E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$69312641-4D3F-42EC-B46E-7B7B28A0931E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2219099$672C7F0E-EC54-4B1D-B03B-745997995D8B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff9bf307fad0ad5e908adfd973f857241bf42a7d","datavalue":{"value":"The paper studies the notions of continuity that arise from inductively generated neighborhood functions and from functions \\(\\mathbb{N}^{\\mathbb{N}}\\to \\mathbb{N}\\) having a bar recursive modulus of continuity, in a strictly constructive context (constructive reverse mathematics).  The inductively generated neighborhood function (called \\emph{Brouwer operations} in the paper) are given by two constructors of an inductive set \\(\\mathbb{K}\\), \\(\\mathrm{L} : \\mathbb{N}\\to\\mathbb{K}\\) and \\(\\mathrm{Sup} : (\\mathbb{N}\\to\\mathbb{K})\\to\\mathbb{K}\\), and an associated (primitive / structurally decreasing) recursor \\(\\mathcal{R}\\) satisfying the equations \\begin{align*} \\mathcal{R} u f & (\\mathrm{L} x) = u x\\\\ \\mathcal{R} u f & (\\mathrm{Sup} \\phi) = f \\phi (\\lambda x. \\mathcal{R} u f (\\phi x)). \\end{align*}  A function \\(\\xi\\) is a bar recursor for a function \\(Y : (\\mathbb{N}\\to\\mathbb{N})\\to\\mathbb{N}\\) (the stopping condition for Spector's bar recursion) if \\begin{align*} \\xi G H s & = G s &\\text{when } Y(\\hat{s})<|s|\\\\ \\xi G H s & = H s (\\lambda x. \\xi G H (s*\\langle x\\rangle)) &\\text{when } Y(\\hat{s})\\geq |s|. \\end{align*} The recursion in this case is not primitive/structurally decreasing as in the case of Brouwer operations.  While usual/general neighborhood functions can be simply be seen as continuous moduli for the functions they induce, in the strictly constructive setting, the relation between \\emph{inductively generated} neighborhood functions and the continuity of functions they induce is more subtle and the subject of this paper. In either classical mathematics (in presence of classical logic and dependent choice) or in intuitionistic mathematics (in presence of bar induction and strong continuity for numbers), all neighborhood functions are inductively defined. Similarly, the relation between bar induction and bar recursion has not been extensively studied in the strictly constructive setting.  A first result of the paper is that a function \\(Y : (\\mathbb{N}\\to\\mathbb{N})\\to\\mathbb{N}\\) is induced by a Brouwer operation if and only if it has a bar recursive modulus of continuity (Theorem~4.15).  A second contribution of the paper is the introduction of the following equivalence-of-continuity principles. \\begin{itemize} \\item[\\(\\text{BC}\\)] Every continuous function \\(Y : (\\mathbb{N}\\to\\mathbb{N})\\to\\mathbb{N}\\) is induced by a Brouwer operation / has a bar recursive modulus. \\item[\\(\\text{BC}_{\\text{c}}\\)] Every continuous function \\(Y : (\\mathbb{N}\\to\\mathbb{N})\\to\\mathbb{N}\\) with a continuous modulus is induced by a Brouwer operation / has a bar recursive modulus. \\end{itemize} It is shown in Proposition~5.1 that \\(\\text{BC}_{\\text{c}}\\) is equivalent to decidable bar induction, in the presence of the axiom of countable choice and the axiom of choice for functions \\(\\mathbb{N}\\to\\mathbb{N}\\) and quantifier-free formulas. \\(\\text{BC}\\) is equivalent to continuous bar induction, in the presence of the axiom of countable choice and the axiom of choice for functions \\(\\mathbb{N}\\to\\mathbb{N}\\) and \\(\\Pi^0_1\\) formulas.  A third contribution of the paper is the transposition of the previous results in the settings of Cantor space and uniform continuity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219099$1FC74C93-005F-4CCB-BB77-A6A0ED5B0799","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2024ee1f8ee71a3310fa31760e649693800bdaab","datavalue":{"value":{"entity-type":"item","numeric-id":450949,"id":"Q450949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$D48F9095-749E-477A-BEF3-5DACC4F6FAE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219099$AE8FEAD5-2D91-45AB-B83E-23F4E5CEF54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219099$E8C59942-8C89-4F9E-96A0-BDF876934507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219099$0B5E02A7-8C46-424E-A56A-3F1585322F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219099$A20A6988-7AB0-404F-BB65-A1183F073A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219099$8C44576B-64A1-4D57-BC66-4DEE7AE40EAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e5d96473e1cf1d2ad27be05fc8088de985145b3","datavalue":{"value":"7297808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219099$AB6B543B-C162-438F-A569-0A906FE7DFCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a924d1bf1667638ec5954ebd3bf3b62e771af2","datavalue":{"value":"intuitionistic mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219099$B4CF8168-C301-42A2-AB51-5039427D7541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee01fea2f657b5359bc93a17fff748d906f69493","datavalue":{"value":"constructive reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219099$5302156E-3E39-4C6E-B180-6001A172CB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219099$3EA63477-D319-4DA0-A81D-495AF3142A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a17c5c57445ef547e046bd9f15cdbf1ca133b42c","datavalue":{"value":"Brouwer operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219099$78411632-8E97-4F99-AC16-6F3F5834E353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"191860442ecb66daa006e1e4efacebb0fe57d879","datavalue":{"value":"continuity principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219099$050FF78B-3472-492D-B292-A438A5C3DD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219099$F79112CC-2612-4333-BBE9-A7F26E175C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0051fa7bc7f16a45c398b2aa7da1d79c7c51e142","datavalue":{"value":"fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219099$8AC7FB5D-5986-4F8B-9BEF-2A07F27A4E13","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":"Q2219099$F801BB30-E644-4202-A028-ED02C9BEAD61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b3c101a3995a6998f875e3354c748726edc9c03","datavalue":{"value":"https://doi.org/10.1007/s00153-020-00740-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219099$00A78143-A39C-44A8-9E73-43707C8406D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e874c7b9ce5a060cf7c7e2e6877e99076583ada0","datavalue":{"value":"W3042290568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219099$1FB213BA-A9DC-40A0-BECF-BB14E51E9AD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$2EE03F72-83A2-4930-9BED-41B18576E1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589326d0f79b834fbef4975100d69a276962543f","datavalue":{"value":{"entity-type":"item","numeric-id":5717045,"id":"Q5717045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$559296ED-926C-4AD0-9592-778B5EE8AB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5254ccbb1a11ef998e0596623214c5aeaf223b8","datavalue":{"value":{"entity-type":"item","numeric-id":5898800,"id":"Q5898800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$F0F836FF-BFCA-410D-BB50-4802F07D162C","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":"Q2219099$2D29DBC9-49DB-4B5B-B7E5-3E5E1E09B82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94156d6dafc1dff0d48facda12a89c68593a8184","datavalue":{"value":{"entity-type":"item","numeric-id":1001912,"id":"Q1001912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$A1F8EBB6-EF64-447E-B8DB-C9A2A41D50F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e93bfe091c0eaaa12b537a69c57e801ec8d10e88","datavalue":{"value":{"entity-type":"item","numeric-id":265800,"id":"Q265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$7116B171-D665-4555-A646-31F6E5EFB43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4309b42a8cb11579a3939b6c640ec49294c00c29","datavalue":{"value":{"entity-type":"item","numeric-id":2417961,"id":"Q2417961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$DE120C3C-5676-4C37-BE26-6CB2A9C4BD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed487916d3cdc9c48e6c95427874ba546cc872ae","datavalue":{"value":{"entity-type":"item","numeric-id":5545953,"id":"Q5545953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$32D3197D-2010-4DC1-93B0-460F088AD71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$493DB775-7DD0-4877-9274-DD21DB5E677A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1b5cc78a253d13ded5a49ab009e15446b3f0b2","datavalue":{"value":{"entity-type":"item","numeric-id":5224158,"id":"Q5224158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$F681D06C-86D6-469E-8C2A-684FE9A6FBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$7BFF9F7D-BF41-45E0-BA53-1BFDCF87BD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$4B483BB6-4001-43B2-B6B9-FE8CDB0BE521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49392d2473e1f6ad8055d0f901a113cae0d6d889","datavalue":{"value":{"entity-type":"item","numeric-id":4638975,"id":"Q4638975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$E8950B51-BCE2-47F6-9EAD-EA98E0D1FBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$CC1D6419-B0FC-483D-8FA2-6CBE099BF5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$D831FE0F-C299-49A7-A09D-DE450B0CAEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$E018F91A-F410-4C21-B9D3-F77FF1D2048F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219099$7F08843F-C3EF-4917-9329-1048B0132ADD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d53dc77da133e9b52ff6dd2761bfe26eb4e19a7","datavalue":{"value":"10.1007/S00153-020-00740-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219099$11B57384-3BC8-4D5F-AAF1-4DC96CAB5B78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ceb45adb29cbe87f5851685a4063130dc3386bc","datavalue":{"value":{"entity-type":"item","numeric-id":2417961,"id":"Q2417961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852485a99f2bf4241daad8980602fefb6e7018cf","datavalue":{"value":{"amount":"+0.88798726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219099$2EAA1D28-945F-48CB-B9A5-3D6B24CDF803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9d134fe31d6cf7cc0fe60a5b811d7dd87a0b2e","datavalue":{"value":{"entity-type":"item","numeric-id":1092279,"id":"Q1092279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fc4940e192b4a7295423a02cd6801c2b481a7a","datavalue":{"value":{"amount":"+0.8637442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219099$8182E261-5C9F-4722-AA0C-BA1CD2EB635C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ba04d1b903185c5de2253ab14239681e7f961a","datavalue":{"value":{"entity-type":"item","numeric-id":2454594,"id":"Q2454594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974b9956b2168fcdfc026e37c98bd5de2d96c1d1","datavalue":{"value":{"amount":"+0.8611889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219099$D469D215-3345-4DCD-B36B-80B3D980F2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a71ff808bdd6c315d732e5269eb66291cb6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5224158,"id":"Q5224158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf42f4c2c16bca68af617d10d2fdadc61f459f81","datavalue":{"value":{"amount":"+0.85987437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219099$5E68B15B-5025-4679-8110-25D39019E66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ddb2cdaaf386598f2c7e7a5c813c20ae5e74fb","datavalue":{"value":{"entity-type":"item","numeric-id":2527862,"id":"Q2527862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46a9bf853e594a86713eea975f8fd4f79bb7364","datavalue":{"value":{"amount":"+0.85187155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219099$E06E9E43-7398-4FB0-A4EF-E406A3DC6ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5955716d3e538dd02f0b7403e1b04485cacb55","datavalue":{"value":{"entity-type":"item","numeric-id":1115867,"id":"Q1115867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d30749920f0ef224660d5f5b042dd8b68c43095","datavalue":{"value":{"amount":"+0.8485588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219099$9A86DA0E-94D6-452B-8DA8-6419A08E159A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f817af44533438e280b2de0bc090615d01032a4","datavalue":{"value":{"entity-type":"item","numeric-id":3824629,"id":"Q3824629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1a488cfb5f2ff96e3a9caedbce8b9b36942bbc","datavalue":{"value":{"amount":"+0.84154713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219099$984E7382-2B4A-4152-A308-8E0F353AC89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533fb1d0e506e11a28cdd9850fdb02c7e9a33fa0","datavalue":{"value":{"entity-type":"item","numeric-id":1071215,"id":"Q1071215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606f7ec57ce9acb00373778d9847d550c16648e3","datavalue":{"value":{"amount":"+0.8406353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219099$2DCAF87A-1401-47DA-92BD-8DA344B7812D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d558c8b8cbf580dcc1e747dadfca2282ef33849","datavalue":{"value":{"entity-type":"item","numeric-id":3324179,"id":"Q3324179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f912dd1d6f17acaed14a531e32e45d4edccbe31","datavalue":{"value":{"amount":"+0.8355901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219099$0A301D2E-9F4D-4124-9656-A5CA3113CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c080585071a7b651b4976186530c0c3cedfff256","datavalue":{"value":{"entity-type":"item","numeric-id":4492849,"id":"Q4492849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111b67893ebed847a8888510ff86611695c41204","datavalue":{"value":{"amount":"+0.83492076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2219099$8166F57E-174A-4E5D-B264-E06EB7D01D21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterising Brouwer's continuity by bar recursion on moduli of continuity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterising_Brouwer%27s_continuity_by_bar_recursion_on_moduli_of_continuity"}}}}}