{"entities":{"Q1001912":{"pageid":1003760,"ns":120,"title":"Item:Q1001912","lastrevid":50575316,"modified":"2026-01-14T11:01:12Z","type":"item","id":"Q1001912","labels":{"en":{"language":"en","value":"Sequences of real functions on [0,1] in constructive reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5509598"}},"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":"Q1001912$E9174DD6-52CB-46B9-A574-493D4106559C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5c20573c4114a272db8e5a7ff390d6857708a6b","datavalue":{"value":{"text":"Sequences of real functions on [0,1] in constructive reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1001912$92E791B3-92C2-494C-9265-77DB8A1402D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93cb29a9dadae7dbe7f511f6ee1e48441437010e","datavalue":{"value":"1156.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001912$DDC064BC-0713-4333-AD94-572068FC67DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1f9795c0d114d87eac7fe9e6e5d0c69ddacb3f","datavalue":{"value":{"entity-type":"item","numeric-id":926185,"id":"Q926185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$C20A2405-5392-45E8-B541-AB0AF03F7DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"454ec0749697ba77b021cb383676266239d5370a","datavalue":{"value":{"entity-type":"item","numeric-id":488355,"id":"Q488355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$D1D3BEAF-1341-4D9B-BF6F-C93A673D0634","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":"Q1001912$037FAF3D-CCA1-4081-BA16-569E2027534C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ac46482d9614bc70cdfafc33c9b07360ae890aa","datavalue":{"value":{"time":"+2009-02-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":"Q1001912$60C009E6-B078-4EAB-8158-0845417D2AAA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"94de764991b4ac40deaa41cdc4f58cccbdf6eed5","datavalue":{"value":"The paper deals with (uniformly) continuous functions and with (uniform) equicontinuity, (uniform) convergence, and totally boundedness of sequences of functions. The functions are real-valued and defined on the unit interval, on the Cantor space, respectively. The investigation is carried out from various perspectives: Bishop-style constructive mathematics, classical mathematics, intuitionistic mathematics, and constructive recursive mathematics. Besides an overview over the current state of research in this specific area, the paper also contains new results in terms of constructive reverse mathematics. People working on constructive mathematics or, more generally, on foundations of analysis, will find this paper interesting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001912$5E9EB370-24CB-4A81-8460-4D23E13847AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e50e51a335ced4910768cba9c791ed218f55775d","datavalue":{"value":{"entity-type":"item","numeric-id":306580,"id":"Q306580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$1A2C90F0-8575-4B3B-B0E8-51C1561ECA32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001912$25137398-F34E-439C-9A28-B95018E1F9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001912$EBA7AD13-223D-4CAD-907B-41A193A61EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001912$3CED63D0-AFB3-4002-9B6F-AED0F83E2F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20cd59c273c000bfa7322d339734d32b8ecc250","datavalue":{"value":"26E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001912$3B188F97-7B86-42D6-96A4-84EE8130CB91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f591dff1e96ca73394752e35367aa3e0adf209a9","datavalue":{"value":"5509598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001912$28E3FF4F-9E32-49CD-8979-7E025909476B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee01fea2f657b5359bc93a17fff748d906f69493","datavalue":{"value":"constructive reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001912$8BE84121-0EA7-4FFA-9C00-6F0D631EFADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a6dbb419686fb13af162482763a12689d4f5c6f","datavalue":{"value":"equicontinuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001912$773994C9-244B-450A-96F3-911C63E9CC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93c9da35cc42481e36e620148fc345c557cea37","datavalue":{"value":"uniform continuity theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001912$1FC54CA1-7F85-4270-BAFF-3A1CAB4E759A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0051fa7bc7f16a45c398b2aa7da1d79c7c51e142","datavalue":{"value":"fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001912$6DDBD78F-257E-48E8-8E1C-C146DCC2DDB9","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":"Q1001912$D96E919B-E155-4698-9E1F-C8FE8F33B261","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9331d6b475a8b83325191b4fd683fd81455a1030","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.09.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1001912$09D69B36-EA44-415C-B269-D571A815D916","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba584e56a25450dddc9700daae06eabc5a56d5e9","datavalue":{"value":"W1979207178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001912$C7CA6E68-B10A-454D-B173-B3EA1350ADFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d2a80b2c8164356d833ef70d8dcc466b97fac7","datavalue":{"value":{"entity-type":"item","numeric-id":2734826,"id":"Q2734826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$22691760-ACC0-46A0-9966-2A518D8D5808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c6e0c99b6d0589e0424e3138777ae30874f2cc","datavalue":{"value":{"entity-type":"item","numeric-id":5310875,"id":"Q5310875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$6296D774-BB78-4F55-AF19-7168F7EF485F","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":"Q1001912$FEAB1E61-0771-48A8-AB9F-338E420B3019","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":"Q1001912$95F99EE4-C616-446B-812A-A00B0FF8B302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed150c3537fcb6076b9f127ecd772a602588fe4","datavalue":{"value":{"entity-type":"item","numeric-id":2465611,"id":"Q2465611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$26B926D8-C0FD-47E3-828C-4843E7ADC570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f094c7556d153467690db738b2d627f725d9476","datavalue":{"value":{"entity-type":"item","numeric-id":3424134,"id":"Q3424134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$2D387A30-DF9C-4955-90F0-F6F29B40B8A9","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":"Q1001912$06963A32-6193-407D-B5FB-6D472EF33E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852d772812bfea750b714850573d041635727b24","datavalue":{"value":{"entity-type":"item","numeric-id":4372531,"id":"Q4372531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$17C406A2-61A0-445F-93E3-9234721DEC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed1df91779be2cef31d56eaca65ae4d64e21e69","datavalue":{"value":{"entity-type":"item","numeric-id":5444707,"id":"Q5444707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$F296CE85-88B2-46D0-8FCC-84762914F75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8929254f24f66e0bcd850efb65b17672ad3ef611","datavalue":{"value":{"entity-type":"item","numeric-id":982187,"id":"Q982187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$1FD63FC4-535B-4BBE-9987-4901C5AE3F07","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":"Q1001912$D600941D-7024-48BC-9118-C25D18E0452E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b61a5a4c1264e73a9ac3ffc4e3a73ed91866c2","datavalue":{"value":{"entity-type":"item","numeric-id":3159411,"id":"Q3159411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$8E94E47C-7E3C-46C6-9059-8D86487C9175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08783d1cd81fadbcfbdb5e081cc1fc156b802db7","datavalue":{"value":{"entity-type":"item","numeric-id":3785063,"id":"Q3785063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$1CACA4C1-2229-476D-A6D5-1BA2E9C8F405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44b092af18b96ac65717716f8e2c390c1b240e8","datavalue":{"value":{"entity-type":"item","numeric-id":3418084,"id":"Q3418084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$003171B9-08F1-4145-A911-57E7B3D053A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01cc07fc18ee9f7d0d60ea33353f4f9d9e6fb24","datavalue":{"value":{"entity-type":"item","numeric-id":4135476,"id":"Q4135476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$57FA33A3-E60F-4A06-BB93-5F65CE51A90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857c1bb31244fb53313417286233abe888c7fda7","datavalue":{"value":{"entity-type":"item","numeric-id":4135475,"id":"Q4135475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001912$FBE3F718-381D-405B-9A89-D4367A68DA6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35d15578fb04b73f739d049d11daf081826dbf81","datavalue":{"value":"10.1016/J.APAL.2008.09.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001912$70C19854-578A-4DA7-88C1-D34B36971EB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57504c6e85fd7088ffe79c34d2a39dc4c2f52a3","datavalue":{"value":{"entity-type":"item","numeric-id":2391094,"id":"Q2391094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3b49e38bb0d25bbd0a02407b42922e49145a99","datavalue":{"value":{"amount":"+0.8569604754447937","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":"Q1001912$5F2FDF1C-1F0D-4D53-A906-2EAB918FE569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd32d64a2ee32df16eb57f0d97e7b47034e1dcca","datavalue":{"value":{"entity-type":"item","numeric-id":1734272,"id":"Q1734272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db14c119ebadbaf200d4a591373e8e82ede8fc2","datavalue":{"value":{"amount":"+0.8446282744407654","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":"Q1001912$53D12E4A-7467-4013-9CC2-716E12A3E480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af08d96ef05f980f05c0abc6442b3c5be31f8555","datavalue":{"value":{"entity-type":"item","numeric-id":5310875,"id":"Q5310875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d923f97621c5c6452c24dd4bb4686ce8a37051cb","datavalue":{"value":{"amount":"+0.7992308139801025","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":"Q1001912$62ADE3A6-A41D-4CF2-9832-F48D1127B9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6b1f1044d854c704c156a04af4e3d8505f4dda","datavalue":{"value":{"entity-type":"item","numeric-id":3507452,"id":"Q3507452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe1dd2b6814f8f59fb4b62dd85c2bde6b24832e","datavalue":{"value":{"amount":"+0.7953153848648071","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":"Q1001912$6DE7CCE8-3B55-49C2-A5F1-7A19D0194868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b355453abcca48819c1bff1785bc4cd344d7218d","datavalue":{"value":{"entity-type":"item","numeric-id":3613303,"id":"Q3613303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57505e720ffc17ab9f5656dcca4eb9f7514d35a5","datavalue":{"value":{"amount":"+0.793132483959198","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":"Q1001912$2F6C566E-BAF1-4B19-91E3-96E4CC48CF12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1001912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1001912"}}}}}