{"entities":{"Q292834":{"pageid":294601,"ns":120,"title":"Item:Q292834","lastrevid":60795453,"modified":"2026-04-10T19:11:04Z","type":"item","id":"Q292834","labels":{"en":{"language":"en","value":"Normal semicontinuity and the Dedekind completion of pointfree function rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6590289"}},"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":"Q292834$7D1AC832-A8AC-4B37-B48A-034C9B0CA430","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da4d90d4414dce5d67c01ac24fa916631d5b2a48","datavalue":{"value":{"text":"Normal semicontinuity and the Dedekind completion of pointfree function rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q292834$122DD971-D81A-4AC0-B105-02CFD1AB5CB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"238a2191949ed21e900d2c3584fe416f8af2f030","datavalue":{"value":"1353.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292834$C0954659-8381-4B70-AA83-7EE652489FBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a1c0767586802affaa4004db8368cd72a5e8644","datavalue":{"value":{"entity-type":"item","numeric-id":292832,"id":"Q292832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$F9DCBE5B-4F56-476F-B5AE-BBC76834278B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d069a316b453c5fe9f77116847c95a160405640d","datavalue":{"value":{"entity-type":"item","numeric-id":292833,"id":"Q292833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$46E2389B-35E0-4B24-8B3B-CE48621F240E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d11de5e649ad24f30bc74145ae5669c188ef7","datavalue":{"value":{"entity-type":"item","numeric-id":283254,"id":"Q283254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$4C016C04-ECB2-49C2-81B1-146AE3CCB203","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$3888A31C-543E-4537-B489-D08F8A326F48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q292834$08C32B47-2D90-47F2-860C-D4F346A90155","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b5fc7243bbf554817d98d7a3a36b02e09d30372","datavalue":{"value":"http://hdl.handle.net/10316/43797","type":"string"},"datatype":"url"},"type":"statement","id":"Q292834$8FF0CA1A-539C-4B47-97F4-61CD63BED8CA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01a75bd4b7e896eb5860ec8110ad14abe0240913","datavalue":{"value":"This paper deals with the Dedekind completion of the \\(\\ell\\)-ring \\(C(L)\\) of real functions on a frame \\(L\\). In an earlier paper [Forum Math. 27, No. 5, 2551--2585 (2015; Zbl 1332.06028)], the authors constructed the Dedekind completion of \\(C(L)\\) (and its bounded part \\(C^*(L)\\)) in terms of what they called partial continuous real functions on \\(L\\). The present paper supplements this earlier one by presenting three different alternative views of the completion. The first is the point-free extension of \\textit{R. P. Dilworth}'s [Trans. Am. Math. Soc. 68, 427--438 (1950; Zbl 0037.20205)] construction of the Dedekind completion of the \\(\\ell\\)-ring (Dilworth viewed it as a lattice) \\(C(X)\\) of real-valued continuous functions on a topological space \\(X\\). The second view exhibits the Dedekind completion of \\(C^*(L)\\), for \\(L\\) a completely regular frame, as a function ring. More precisely, the authors show that the Dedekind completion of \\(C^*(L)\\) is \\(C^*(\\mathfrak{B}L)\\), where \\(\\mathfrak{B}L\\) denotes the Booleanization of \\(L\\). Indeed, this is a function ring because, as in the classical case, every C is (isomorphic to) a \\(C^*\\).   After drawing the attention of the reader to the fact that, in general, the Dedekind completion of an arbitrary completely regular frame cannot be a function ring, they identify a class for which it always can. The class in question is that of weakly continuously bounded frames. They show that for such a frame \\(L\\), the Dedekind completion of \\(C(L)\\) is \\(C(\\mathfrak{G}L)\\), where \\(\\mathfrak{G}L\\) is the Gleason envelope of \\(L\\). The latter can be realized as some closed quotient of the coproduct of \\(L\\) with the frame of ideals of the Booleanization of the Stone-\u010cech compactification of \\(L\\). The final construction of the Dedekind completion of \\(C(L)\\) is in terms of Hausdorff continuous partial real functions on \\(L\\). It is the point-free version of the approach in terms of interval-valued functions of the Dedekind completion of \\(C(X)\\) [\\textit{R. Anguelov}, Quaest. Math. 27, No. 2, 153--169 (2004; Zbl 1062.54017)]. The paper is well written, and treats this subject very thoroughly. Classical results in this area appear as corollaries of the authors' point-free theorems. Furthermore, these point-free theorems cover a wider scope than their classical antecedents.","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$8C9803E5-BD74-43FF-8AC1-DFA419818C19","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4460b849e764629d83cdb4b306b4a5cc07c8af5c","datavalue":{"value":{"entity-type":"item","numeric-id":248778,"id":"Q248778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$2958A897-B39C-4110-9EED-B4CA94B4C734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292834$772D5D6E-E347-4FF5-9E99-B4E94E92B40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292834$2D109059-3100-4476-98C3-C31276F46CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292834$575449AF-FACE-4B67-91B9-0F8B40BDBAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39fcd47c2eb394bec253b19621381acc48f5cc6a","datavalue":{"value":"13J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292834$E83A2EA4-EB61-4370-853D-3ADBD4550CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292834$0E2C2509-7460-4689-AF7B-4DC38B7819CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f0d5addb2d30fca390d5d0949dbf8c7e9c67e06","datavalue":{"value":"54D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292834$CBCE03A1-26B0-46C0-BD28-D22079217BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b822e7a8e3182eac90bd373b5db12c2ae0651c8d","datavalue":{"value":"26A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292834$3A99C339-26EF-40B0-A6ED-E713F3528F0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45a9cc35310b693b09ab17d5a058e19710fe85f0","datavalue":{"value":"6590289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292834$D17CC661-5F6F-4466-A4F8-5FAF189A340D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$2D9539BD-2F66-44A1-A688-59DE75A21FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$26BA7B3B-303C-4AC9-B514-80C445FFE632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e67cc017cedf6bd2a099aa2dd74bb9d19f8a3c2","datavalue":{"value":"sublocale lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$6D7CC2DE-83EE-45AE-8182-B55DE5D21FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7044b6cb2343cf71df828cd7f30b758c2028d2a4","datavalue":{"value":"frame of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$CEB11E4A-31D2-4A8F-BDC5-9A38EC11C619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4509010938dbbee8a7759857fbd9ebf662598815","datavalue":{"value":"real function","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$6979EE76-B827-4752-B2C3-57B14363C165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40a32a473220728aa02b8d7062ef205a12d5d662","datavalue":{"value":"frame of extended reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$EC83C501-DDF4-49F3-8C20-C75A31B28CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc93fcea0a19fd346485ee53b4128e804be536c","datavalue":{"value":"extended real function","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$A1625BE2-A314-4F19-8435-3AD6F5CE1A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64cc7538ab3075059c2cff42469640cfb0750574","datavalue":{"value":"continuous real function","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$BDE191E2-34A0-47AE-B2E2-BE2FC4B27C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53e93263de4543908946ff4df80417d0c347b71c","datavalue":{"value":"function ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$EF915FCF-6DCE-4F4F-8EDF-EA6798AF1A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700e3cc550e15b247c5ccc4e265688890d84e5c1","datavalue":{"value":"Dedekind completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$45C0CD06-4A6B-4386-96FD-455CB88FB2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98909540ab71ec8198d44ea964d2cb131d20c1cf","datavalue":{"value":"cb-frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$26217721-6B90-4468-9022-1344675DD921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14b6f6424fe6510de687344a8680653394edfe55","datavalue":{"value":"normal semicontinuous real function","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$12B80245-F358-4747-926B-403C36B2D08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f7cc4c830e6be1e32d149ba90e80138971bb4a","datavalue":{"value":"Booleanization","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$BC0F1620-6DEF-429E-8F39-3056672A8ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dac30f99f963133e14288ecea807e6b5a3ecaca","datavalue":{"value":"Gleason cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$F5A40328-77B7-4684-BFB7-635F2F3A8D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70ea50552e24ed5d3071aab64a7eff41ff5aa0c4","datavalue":{"value":"partial reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$9575172E-BBCB-4371-8176-AE37C6BAE005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64ceb16f6819f94da905437dcd53cdf58bdc3cde","datavalue":{"value":"partial real function","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$8C93F2CB-C778-4429-B792-EBD32BB78F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e17472c578feadb9d3681b215c200be738ab40","datavalue":{"value":"Hausdorff continuous real function","type":"string"},"datatype":"string"},"type":"statement","id":"Q292834$FAD8C9A3-4BF1-4703-A20B-14A02E586036","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":"Q292834$25AA3C77-C04F-4CE8-8E7C-F4852415B7F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b3e44dccdd11c3f5a50ea6bc11f2446124420b7","datavalue":{"value":"W2189235550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292834$5D15D910-22E8-4AF1-A606-A4D38EC00006","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c6378522ac7e541f1cea2171736892d7c0b767","datavalue":{"value":{"entity-type":"item","numeric-id":4661999,"id":"Q4661999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$CEF441EA-3BB8-4416-89C4-C2F2AAF2C8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4901068a338d9584f78c9818c9440bdcf40fb87e","datavalue":{"value":{"entity-type":"item","numeric-id":3830990,"id":"Q3830990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$A62C856D-A3D6-46DD-BA4F-36BA1852EAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7ba911b2b6edb23394401175ffc755090fa7fe","datavalue":{"value":{"entity-type":"item","numeric-id":4396195,"id":"Q4396195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$C53D8F90-ADC8-4460-87B2-7A0E05FD3535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1f67ecc0dd56ed78bca53afdfb723a74140d7a","datavalue":{"value":{"entity-type":"item","numeric-id":425299,"id":"Q425299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$6E7A4DE8-5EDE-4270-830A-794CE4240240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0000cd7378a1aa2e724314f0d151af5653f9989c","datavalue":{"value":{"entity-type":"item","numeric-id":1942032,"id":"Q1942032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$15556BCB-138C-4068-9109-BA92842FDBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"258106612a4e1bc5a40ee0a0f5108487659b4c51","datavalue":{"value":{"entity-type":"item","numeric-id":5488108,"id":"Q5488108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$DA41E4FA-085E-4B2C-A088-34661BF52F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5031afd21b374c30d3d3cde93a81e7f9db58143d","datavalue":{"value":{"entity-type":"item","numeric-id":4883943,"id":"Q4883943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$92608EAB-D038-437D-B16E-FB9C6B5F41C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0cbe4c4b6a4d0e51489496a763a1762237034aa","datavalue":{"value":{"entity-type":"item","numeric-id":2862752,"id":"Q2862752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$BA6CF87E-58D4-4962-956F-D91585859A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ec46245f85b520787d92afd1f2de5f2b63543b","datavalue":{"value":{"entity-type":"item","numeric-id":5795668,"id":"Q5795668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$8CEB5471-794C-4EC4-87CF-2D7AEAE04F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17dec8afb81a5341b3f83941521113a1cc7d8a02","datavalue":{"value":{"entity-type":"item","numeric-id":861593,"id":"Q861593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$BFAC07BC-8FB6-4A21-81EF-9FF8D1E6C547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b95eb3485d402953ceb332c2689268aee9c979","datavalue":{"value":{"entity-type":"item","numeric-id":2481706,"id":"Q2481706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$FBC69C27-59E0-4747-BDBD-9CE23FB4F47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$822B62E2-A3CB-4442-B166-4FBD11BFF388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591d7dca1186dd55468b07fe764b74cef210d036","datavalue":{"value":{"entity-type":"item","numeric-id":531326,"id":"Q531326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$6A20D7A5-1227-43BE-9486-C2B5E080FB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b84ef216e9815b6eb44a45f93ae5e5720cc4e1","datavalue":{"value":{"entity-type":"item","numeric-id":1047084,"id":"Q1047084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$08C21EFB-95F7-490C-BE18-24C523D17E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5557d93507db91ab1398d22592c522bd68b40bd","datavalue":{"value":{"entity-type":"item","numeric-id":952248,"id":"Q952248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$81933913-7755-4156-A05D-6BCAE81D4A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8072d720f6f75d3afaf08c7d5f6b2d5b9a4366","datavalue":{"value":{"entity-type":"item","numeric-id":1008755,"id":"Q1008755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$3DA41572-D631-47E3-B143-A37DF2BC6B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf13e9a0ae20e2c2c6b74e9f4f2a70dcf9f43434","datavalue":{"value":{"entity-type":"item","numeric-id":886218,"id":"Q886218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$FB743EB2-DD4D-41BF-9BB6-50E68F5B4D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e4000c98189da3522c6fce473a523bc4772b8d","datavalue":{"value":{"entity-type":"item","numeric-id":645187,"id":"Q645187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$07CADA0C-8B53-4C43-B739-16B8BA619309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697b8d945089c78b8ac2c9e0a246f573d45b919a","datavalue":{"value":{"entity-type":"item","numeric-id":392505,"id":"Q392505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$19237958-5C2B-46FB-9A61-C46317FDBB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf37b7af03d818ec87a0ceb945abee05e8e4eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2650818,"id":"Q2650818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$071331E6-739A-48F5-A1CB-7416FE497F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db37dcaf1c50cd16fb4adea057507d08395f99b0","datavalue":{"value":{"entity-type":"item","numeric-id":5339356,"id":"Q5339356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$79AADD53-FB8E-42B5-A3E0-6DC5CA898C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfc1da30193b4b1f73af1d0929e024040cf8200","datavalue":{"value":{"entity-type":"item","numeric-id":1145204,"id":"Q1145204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$DA1C910B-5AF4-400D-8335-29FE72DE734A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$837EC8E5-BE4B-4FFB-81E5-110EDAE8AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76b2ce255dd762f1eb3cb9cb97df42727c218fb","datavalue":{"value":{"entity-type":"item","numeric-id":5345574,"id":"Q5345574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$2382411F-CE61-4F19-8F5A-9CEC8749182E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ab18f6a9925c52936ded0e59ec9f5e6166292","datavalue":{"value":{"entity-type":"item","numeric-id":2525924,"id":"Q2525924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$5736BD93-2D39-4DC6-9006-82A89AB87606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0faf83c7c85c7acf1c9b23921d557e8c03d3cab6","datavalue":{"value":{"entity-type":"item","numeric-id":494962,"id":"Q494962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$A1C9D354-7A0F-4561-93B5-5567E743A424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b904176b6c39b90a7fb8d3e5cc9248d8d05ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5836018,"id":"Q5836018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$14131789-983D-4B03-9FC6-4A4E4674282D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1116b19c9afc8915dc056dd93345dc8bec8b72b9","datavalue":{"value":{"entity-type":"item","numeric-id":3002522,"id":"Q3002522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$5F36A6C8-6AD8-4F19-99B6-3D7803B4693E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c2efa06f752ba2f618efbbfd8df2a9d8c37b3a","datavalue":{"value":{"entity-type":"item","numeric-id":3645295,"id":"Q3645295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$37EAE00E-4935-4E85-81CB-AF95822074D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be5f4970b09a983f716bbdc603ad1902642fa6a","datavalue":{"value":{"entity-type":"item","numeric-id":5789896,"id":"Q5789896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q292834$A171D3F8-591E-486D-A142-49203CED1F00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fc77ac82dd0372ce8fdad6d5f5794a7a0fe21fd","datavalue":{"value":"10.1007/S00012-016-0378-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q292834$F9325C2D-31F4-4920-938C-31A16E2DD67C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9702ce8c2ffc42e26dbf845b682800259dae98fd","datavalue":{"value":{"entity-type":"item","numeric-id":494962,"id":"Q494962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df484e70aa490b1036baad9196d9e6eb808149c5","datavalue":{"value":{"amount":"+0.8832969665527344","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":"Q292834$CE2F05E0-37AB-4CB3-84D7-630019EF67C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bbee0190f6a1f690456885b6a62dda6d231090","datavalue":{"value":{"entity-type":"item","numeric-id":1008755,"id":"Q1008755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb439457aabc4823401b32d7b29bc38bc8a4c2f0","datavalue":{"value":{"amount":"+0.872450590133667","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":"Q292834$E36219A1-B58C-4486-B0A1-A34CB77C27C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315f99817ff4b7c63b55e155c34a6ee0c52a2eb8","datavalue":{"value":{"entity-type":"item","numeric-id":5236044,"id":"Q5236044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d1be73db3d3bc26bc55dec0275ac9741bb6017","datavalue":{"value":{"amount":"+0.8710054159164429","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":"Q292834$64E159DF-C45B-40C9-BF0A-D2D7C39A973C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85ca6238bb0907c54e672c792f1be700f3eab05","datavalue":{"value":{"entity-type":"item","numeric-id":645187,"id":"Q645187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868b4cafacceacdcf0e53f8ed20de54d2c9c6d4c","datavalue":{"value":{"amount":"+0.7952889204025269","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":"Q292834$AA5355B6-0347-48B3-878B-F7B708DB148F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d39b2280bfd5bb90a307af29a3646f347e73446","datavalue":{"value":{"entity-type":"item","numeric-id":2196348,"id":"Q2196348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81b5e68a75b469045bebd99d5a52373a475697f","datavalue":{"value":{"amount":"+0.7893875241279602","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":"Q292834$4D8DDBFE-0C44-4416-8D7C-EC834F5716CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal semicontinuity and the Dedekind completion of pointfree function rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_semicontinuity_and_the_Dedekind_completion_of_pointfree_function_rings"}}}}}