{"entities":{"Q531326":{"pageid":533093,"ns":120,"title":"Item:Q531326","lastrevid":62536014,"modified":"2026-04-11T06:45:27Z","type":"item","id":"Q531326","labels":{"en":{"language":"en","value":"General insertion and extension theorems for localic real functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5882417"}},"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":"Q531326$AE476612-915D-490F-A4D5-EE2BC357339F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00932d29890114f00d6f558ed334b2e63a52e25e","datavalue":{"value":{"text":"General insertion and extension theorems for localic real functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q531326$E2DA2BFB-3C1B-431B-A31D-67D852A929CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa494e1230470dbf26c73a6756dc1a9c094913e9","datavalue":{"value":"1217.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531326$6C062E25-83CA-4254-8BD4-F477141ADB49","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":"Q531326$3A36DEC8-94A7-460F-8EF8-EE5E643D1960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8181f86562928436c723f0cfc4a7035dd07fe357","datavalue":{"value":{"entity-type":"item","numeric-id":412004,"id":"Q412004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$DD3BC0F3-8A3F-49AF-B77D-4B69B0C18BE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$DF032C01-D8B7-4232-A222-5C1C7A6EB286","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71f935d0a64a33d4cbc5fdd6db9fd166029e3cfc","datavalue":{"value":{"time":"+2011-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q531326$CEE673F0-AB8A-45F6-B060-92A554DF563C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"90cf618b526d59a38069b4a4512abe6897fb5468","datavalue":{"value":"In an earlier paper [J. Pure Appl. Algebra 213, No. 6, 1064--1074 (2009; Zbl 1187.06005)], the authors and the reviewer introduced a pointfree version of real-valued (not necessarily continuous or semicontinuous) functions. In the present paper, the authors build on this notion to obtain a general insertion theorem for arbitrary comparable localic real functions that nicely unifies the pointfree versions of the Kat\u011btov-Tong insertion theorem (for normal locales) and the Stone insertion theorem (for extremally disconnected locales).  This result is a pointfree extension of the well-known topological insertion theorem of \\textit{R. Blair} [Czech. Math. J. 31(106), 63--74 (1981; Zbl 0481.54009)] and \\textit{E. P. Lane} [in: Topology, Proc. Conf., Vol.~4, No.~2, Ohio Univ. 1979, 463--478 (1980; Zbl 0443.54012)] characterizing the insertion of a continuous real function between two arbitrary comparable real functions. On the way, the authors consider Kat\u011btov relations in lattices and study complete separation of sublocales. They then proceed to establish a localic analogue of the topological extension theorem of \\textit{S. Mr\u00f3wka} [Nieuw Arch. Wiskd., III. Ser. 16, 94--111 (1968; Zbl 0183.40901)] that provides a necessary and sufficient condition (in terms of complete separation of certain sublocales) for extending a bounded real function from a complemented sublocale to the whole locale.","type":"string"},"datatype":"string"},"type":"statement","id":"Q531326$BF3F9A45-6461-4B7D-B9D7-48AEB7BC78CC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b7a94eb553ebb471d21cd9342e2b92f55c9f564","datavalue":{"value":{"entity-type":"item","numeric-id":283254,"id":"Q283254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$02F9B895-B781-47BA-B007-AC833FE473DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531326$B510174B-B638-4760-AFB7-DA8652515363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d594712b08c5b078d82458af9336fcf91cce9154","datavalue":{"value":"54C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531326$C0F18ED5-83EB-4A61-BF97-F90C0525F2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531326$4328D368-06FE-44EB-A9A5-0BD80BFE12CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7cee9ba7c413aaa35d803f5f7b3be0f268c7463","datavalue":{"value":"54C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531326$44440C5F-463A-45AF-AF88-05164F25D6F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9a5de2766c5e55f199716b1f2a1f863ebbc030d","datavalue":{"value":"5882417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531326$681C7374-47C0-428F-83E0-DB7DFD281033","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caadc345aa842aaca903e86aac4c0fa21eae3500","datavalue":{"value":"localic map","type":"string"},"datatype":"string"},"type":"statement","id":"Q531326$929870FB-3B5E-4CBA-A90B-E2F566228D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0d1403d6390c040e838af6bee382f2e407b4100","datavalue":{"value":"locale of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q531326$F91A06C8-B5C9-482E-BA01-6A7EB7CCD1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5954f141631cd0d034aa78ce1382f00b1dda311a","datavalue":{"value":"localic real function","type":"string"},"datatype":"string"},"type":"statement","id":"Q531326$AD07E977-8EB7-4BA7-834B-89FB5C3F4F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3328e8f8c9fd286e1ff71037c8f186e14c656268","datavalue":{"value":"completely separated sublocales","type":"string"},"datatype":"string"},"type":"statement","id":"Q531326$84A0BD54-3805-449F-A5BD-BBA0F1A87369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9cdecad8b9f631dc38a4aa2e8c42362d081100","datavalue":{"value":"Kat\u011btov relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q531326$535BED0E-222C-49BB-BD09-1EBE1EE328DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f198ff71d863380693301999c53cfcc64f2edd","datavalue":{"value":"localic insertion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q531326$82D704A8-12B7-48F8-B6C2-26FC4262B063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e13a1f58ef5cb45e38f835768cbaca3f334a90b5","datavalue":{"value":"localic extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q531326$2145152E-E02C-4E90-A20B-932920EAC372","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":"Q531326$E8DD55BE-2BF6-48D9-8232-C34A7561DCCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b5ce6aeb8f19302b3398de22ea203a6d40c66de","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2010.08.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q531326$B8AB2B86-B66D-4368-88C4-BE59E0031F8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc78370b14cd9e3ecebdcc0d0ad7c4920df5f784","datavalue":{"value":"W2093050146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531326$5697877C-33AD-4012-87DA-CB4940373ABC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"772cb8315bbffac85dd46137fd47f5f217fcf246","datavalue":{"value":{"entity-type":"item","numeric-id":4791470,"id":"Q4791470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$7F083B0E-187D-4941-9EA6-9CF63B5C203E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c78f873e1934d7e8d6042fb28b9becef9d53cb","datavalue":{"value":{"entity-type":"item","numeric-id":3209834,"id":"Q3209834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$441468EF-8DFA-4A35-B6EA-B1EFCCD0248C","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":"Q531326$811C3CA3-5602-4590-AAB8-BF325F5C8024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdfd399c2f18834fee8792ed42356b0d8a7754e","datavalue":{"value":{"entity-type":"item","numeric-id":799970,"id":"Q799970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$31D31AC0-487D-4541-8436-5C76E49B5D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733e33a1b304947a1e7e75b74d56424fd9c73353","datavalue":{"value":{"entity-type":"item","numeric-id":3938865,"id":"Q3938865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$E4F4C04A-A791-4B76-A7E9-BA488EFBE22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a3041a1a6f4b85b74b0b6c45e4ecbe57f21159","datavalue":{"value":{"entity-type":"item","numeric-id":3223521,"id":"Q3223521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$9B8632BC-C94B-4874-885B-5A3BFF09ED99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0699a00cb2d6bc2109617a278797cbf96caa907b","datavalue":{"value":{"entity-type":"item","numeric-id":5509504,"id":"Q5509504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$4D591BAA-DD79-4D3B-87F8-8353A324113A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33844473814475338253186ff7f641ea83b21e0","datavalue":{"value":{"entity-type":"item","numeric-id":1032934,"id":"Q1032934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$775D3E90-35FA-4E37-82FB-AE0324429AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dce382801c02cc96375e86c7177b3eb452ad9e","datavalue":{"value":{"entity-type":"item","numeric-id":2475098,"id":"Q2475098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$F851DBCA-166C-4DD7-9F06-976274A3BF43","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":"Q531326$D14CC626-9236-481C-AAC4-B35933483313","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":"Q531326$7087302E-00A9-4086-865E-C56C8D65DF24","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":"Q531326$8C8E7F47-7585-414B-B6AB-11F12622F42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e7ec7a22cb895a911f84cad2764c1b6e97d7ae","datavalue":{"value":{"entity-type":"item","numeric-id":820101,"id":"Q820101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$ED5BDDD5-83D1-4599-83C1-6D1B6872B0A2","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":"Q531326$B3443B24-AB03-40A1-AD7F-8AD8C4364979","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":"Q531326$3B96356A-DDAA-4ECC-A29E-0A510875F47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$500F09DC-B154-451A-A1A3-C369C0AA664E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee19de0d8b88bc21e5c1618ba59398bdccde01c","datavalue":{"value":{"entity-type":"item","numeric-id":3717804,"id":"Q3717804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$0D670EBD-66D5-4965-84F0-F784D61C65C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56e59223e24c8e9d5cd68ec8b2196a9116ad740","datavalue":{"value":{"entity-type":"item","numeric-id":2702346,"id":"Q2702346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$9A6D250F-DF4C-4455-B03A-05B32B1B3178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"facfd498832b8c90bacd15c37b1cc95f0b500c24","datavalue":{"value":{"entity-type":"item","numeric-id":5682522,"id":"Q5682522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$91F6F570-6907-4162-B9B6-BE5D5E6B1675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf83e583e46475e28ea4c7bdb12a06921f372ba","datavalue":{"value":{"entity-type":"item","numeric-id":3886481,"id":"Q3886481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$47A5BD96-87CE-418A-A1D7-27441994FC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19191aa51ddce30f7313091cdd28da309eaff6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4955925,"id":"Q4955925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$A56914B3-1C44-43E8-9B84-506D51F2FD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73069295968fb3d5dca66824f20a62a6f7dcbfd","datavalue":{"value":{"entity-type":"item","numeric-id":5574979,"id":"Q5574979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$894278F0-91C1-44EC-B9C4-68D529F13E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a45861f5e0f7fb886d7388cd145267ff83b473","datavalue":{"value":{"entity-type":"item","numeric-id":3539847,"id":"Q3539847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$A855B7C4-A039-44D9-A396-D55A58B39768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768f2017ba2bd234159f55707b9f06f9a28fd6f2","datavalue":{"value":{"entity-type":"item","numeric-id":3539850,"id":"Q3539850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$2C7E0086-C19E-4D69-B99F-46D748DD3E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bda4a8227418c4e3b143476c00b3d05ba908a55","datavalue":{"value":{"entity-type":"item","numeric-id":4668868,"id":"Q4668868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$E2E5753C-CF66-4EE7-BB74-69B880C93AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440bf6459d4d80766bf87663043d6f3bffb33d66","datavalue":{"value":{"entity-type":"item","numeric-id":1030196,"id":"Q1030196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531326$2BA64426-FD79-473E-998A-315EE5353F06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02f5914ec995ebbd4f5bf8cbc94a280f2a645c4d","datavalue":{"value":"10.1016/J.JPAA.2010.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531326$9231B8D7-5F91-4567-A57F-A818420BC20E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d506e0428b50964b8617d02603c2efbb2070576","datavalue":{"value":{"entity-type":"item","numeric-id":2042099,"id":"Q2042099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c326de7367dd21418e3d7cf84ea0954a8ebbd03","datavalue":{"value":{"amount":"+0.8394792079925537","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":"Q531326$D60DC111-96D2-4E9D-963A-D54967C84371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eae227f0b03e001777b30860317781820bb99cc","datavalue":{"value":{"entity-type":"item","numeric-id":2031562,"id":"Q2031562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab98f538b922fd820cb1f5d9adb947adb70a88f","datavalue":{"value":{"amount":"+0.8201932311058044","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":"Q531326$8CF35413-6F2F-4C64-9CB5-186798E5E2A8","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":"bc02588f6b275b30d61de3a163b140b475421a72","datavalue":{"value":{"amount":"+0.8068969249725342","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":"Q531326$9FF530AC-59FE-4D62-9D92-D928D41F8743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653ce4642c8c82897714f1808bb73a6bd394a20f","datavalue":{"value":{"entity-type":"item","numeric-id":535362,"id":"Q535362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d909cfbd92859aa50817ccf15e3110876c9277e0","datavalue":{"value":{"amount":"+0.7977635860443115","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":"Q531326$7777E294-FD28-48C6-A369-0D275965E99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9ab19a50a8904f497ad3f82ca0b47c0d1dd923","datavalue":{"value":{"entity-type":"item","numeric-id":386819,"id":"Q386819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9495ab994de8fc818e4d28ade1eb46d215f4321","datavalue":{"value":{"amount":"+0.7917530536651611","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":"Q531326$D2A2F43E-A9E1-42E2-9C3E-1C3A3C99650C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General insertion and extension theorems for localic real functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/General_insertion_and_extension_theorems_for_localic_real_functions"}}}}}