{"entities":{"Q3507452":{"pageid":5537356,"ns":120,"title":"Item:Q3507452","lastrevid":90227120,"modified":"2026-06-04T19:37:13Z","type":"item","id":"Q3507452","labels":{"en":{"language":"en","value":"Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5291055"}},"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":"Q3507452$C91EC044-1BE4-45C1-ABF8-1B8CCEFD9DE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ecb1a7cf9039a4007be41f4e82ada86affcc81a","datavalue":{"value":{"text":"Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3507452$57DE04A9-C8CA-4322-B8FB-357B1AC5A46A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c579bb723de1dde9f6238c0430fb11a7030a0ebd","datavalue":{"value":"1143.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507452$FF224925-2FFB-45F6-921A-A95EC1AD8CE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36d118dcf0c3759232805e8fb93bc9b74933758b","datavalue":{"value":"10.1007/978-3-540-69407-6_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507452$74980945-D125-49F4-94FA-E885D30AFEF8","rank":"normal"}],"P16":[{"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":"Q3507452$2067A624-3F22-4747-AA82-F3A700692739","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"825fe9d63267fff51faac6ffa3ce79c82f92e1da","datavalue":{"value":{"entity-type":"item","numeric-id":3507413,"id":"Q3507413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507452$F46EC1AC-7431-4224-BEE2-1609A1069691","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94adc6da8cc08e29523a0a31b3af6d1a94363069","datavalue":{"value":{"time":"+2008-06-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":"Q3507452$3B03FECD-3607-4488-8973-80F4B918D1D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507452$D6F1B6C7-8BC7-4BBB-BB26-AB008F8FA5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507452$6FFACD9F-04A4-46DB-91AC-9A0B408C7FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507452$66C6045C-B52D-4165-847C-CF772238F91B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de22fc950144bf12b3d34719b3a8bbb7a8eea6b9","datavalue":{"value":"5291055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507452$8298A423-F7BC-48D8-9B3B-C2939821E782","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93473425e0b17d9211f2324a0c0d6c10e2389200","datavalue":{"value":"Constructive Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507452$C0B4F893-BB08-44CB-92D2-862E1645B221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1977d0a5b7b49ae7dd84fafadd17e00608a2ea8f","datavalue":{"value":"Reverse Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507452$2E6530A1-3BD0-4420-8769-8E3255C28B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e95dba852e2db3694c07d9c2fbbdbaea8542b954","datavalue":{"value":"Intuitionistic Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507452$5007F335-269A-4910-BB4D-1D96266B4AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cf8c2a61733e9bb90ce44582ad621cb5de5730a","datavalue":{"value":"Continuity Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507452$8DD74DBA-FBC6-42B2-BA64-EFB69F0388A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2117bc64e4a32fffa682a3910c51a12b18bb229","datavalue":{"value":"Compactness Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507452$54888156-4862-48CE-9678-EDB1A97C7398","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":"Q3507452$AB4E6C4A-F3DA-4CF3-A367-F259C3B2FC28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0e34b34478b7d964ddd82a032d1c489e764456e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69407-6_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q3507452$482BA993-C1CF-48B5-A8E9-A72935B984F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"730d806ed06357357509fcf02e886084cd916ffd","datavalue":{"value":"W1567076057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507452$01111145-02EC-4852-80E3-815E7DAF7457","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d571f196cc899f4a58cd76d5ac871317fa66fa","datavalue":{"value":{"entity-type":"item","numeric-id":5848483,"id":"Q5848483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507452$3DB3CC4F-F494-4BC2-B8AC-88312F51C8FE","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":"Q3507452$943F865E-C1AD-451A-8827-4AD484B7C4CD","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":"Q3507452$89EF2CBE-C112-4DD0-BDC0-38A52F05D2D6","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":"Q3507452$3F4BFACD-8B18-484F-8102-D6C91C5ED52C","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":"Q3507452$A6AD2858-DB02-4643-867F-4480568BC378","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":"Q3507452$54697CC4-DC0F-4C9C-A3C5-F193B553B766","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":"Q3507452$F3A4F138-562A-47E9-82A8-533B58B8DDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611eeb141778e0ecc999a254a01ec29745e82f35","datavalue":{"value":{"entity-type":"item","numeric-id":5200815,"id":"Q5200815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507452$7996B09F-733F-4E48-86AA-52272EF2BDE9","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":"Q3507452$E7CBAE19-514D-480E-9B87-055E3669E961","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":"Q3507452$97CBF813-3720-499C-9B9C-1769F48DF13F","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":"Q3507452$9DBD4845-555F-4125-B847-373234F28DCC","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":"Q3507452$F5865044-5589-41B2-9116-7A636FD312D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab146c225809a2e76105f293f78075bc0afba6c6","datavalue":{"value":{"entity-type":"item","numeric-id":5532531,"id":"Q5532531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8ff302f8dc5f1c595ba8add306da8130a62ded","datavalue":{"value":{"amount":"+0.87855697","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":"Q3507452$54CFBFAC-3C46-4E9B-8556-0E6B33136FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b6ae67938b0e985f8058a65d7525bc4a60ca45","datavalue":{"value":{"entity-type":"item","numeric-id":5013911,"id":"Q5013911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad152298d877b16c9c52e973fef19f3a30fccde","datavalue":{"value":{"amount":"+0.8736433","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":"Q3507452$4ED2ACB2-5813-4FB0-A8E1-57CDE1FD5780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813e3f5ce46256e97484729dfd7b615712342541","datavalue":{"value":{"entity-type":"item","numeric-id":950341,"id":"Q950341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1597974211209d8cbdf48bf43210ca0084adb26b","datavalue":{"value":{"amount":"+0.87226665","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":"Q3507452$38EEE4E8-9994-4478-B414-63D6692AFB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450ac04af37be4d65997a3ac411f98edd2401da","datavalue":{"value":{"entity-type":"item","numeric-id":5898800,"id":"Q5898800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0115f5e7f8b284d05310367f73b5b7c52c4e5b","datavalue":{"value":{"amount":"+0.8689497","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":"Q3507452$05004673-5344-45F5-8EE2-A43305C8BF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564e390fb759199210b8e0442eb4839aae7e6f1f","datavalue":{"value":{"entity-type":"item","numeric-id":4686724,"id":"Q4686724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d2f88c13dee50e0ddc138a69008be515455d6f","datavalue":{"value":{"amount":"+0.86678624","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":"Q3507452$E7AB002F-40CC-41E6-9297-E248748331B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69fd7b23fc1690dc682a89ba8bb4bd65eaf9ef15","datavalue":{"value":{"entity-type":"item","numeric-id":4317105,"id":"Q4317105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5dd9ed40a6a53c08feb8a9d6e1d8b0e213c17c1","datavalue":{"value":{"amount":"+0.86574554","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":"Q3507452$232A2E2F-5ECC-445F-97A1-6247B92E2782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2d9ddd280fa2d24de03f840f398e9f51dca576","datavalue":{"value":{"entity-type":"item","numeric-id":4301923,"id":"Q4301923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5dd9ed40a6a53c08feb8a9d6e1d8b0e213c17c1","datavalue":{"value":{"amount":"+0.86574554","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":"Q3507452$2BC7CC19-BFAB-4DA2-BF3F-C4E19E0F6F69","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":"ef8542a7c8402212649d11efde213ca297d7ad26","datavalue":{"value":{"amount":"+0.8654673","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":"Q3507452$89417E9D-48ED-4928-878C-5766A15CCB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0931cfd3bfa7bd1cb71152d607954b1ce96cec03","datavalue":{"value":{"entity-type":"item","numeric-id":4008744,"id":"Q4008744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9407ec26d418bc2bffe501a269562b8bdb8e18e4","datavalue":{"value":{"amount":"+0.86425626","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":"Q3507452$3A997E7B-E203-4A1A-8744-58703E224F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56406fcfe8727bdfee54723297226040fd6eb753","datavalue":{"value":{"entity-type":"item","numeric-id":1114683,"id":"Q1114683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d97b821dfee02cb3443617628646595ed38b82","datavalue":{"value":{"amount":"+0.86331135","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":"Q3507452$9DCADD5C-6887-447D-B2ED-E4403E376AD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem","badges":[]}}}}}