{"entities":{"Q2062218":{"pageid":2072960,"ns":120,"title":"Item:Q2062218","lastrevid":82536485,"modified":"2026-05-06T21:08:12Z","type":"item","id":"Q2062218","labels":{"en":{"language":"en","value":"Hyper-MacNeille completions of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450688"}},"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":"Q2062218$7818B406-5893-4E07-8817-95A7DE41D797","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"becaaed30b3ee8ae67d9122700403f094524639f","datavalue":{"value":{"text":"Hyper-MacNeille completions of Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2062218$1784D168-BD39-4A54-8B4B-89DB42F7368F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05cc1b8aa034962a811d453425cb02f124d09842","datavalue":{"value":"1484.06034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062218$CE5AC287-65B3-4FF2-B896-D7344EE82DCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a9f9cbe3caa94c5a830073c0f8ceb50e97586d9","datavalue":{"value":{"entity-type":"item","numeric-id":172076,"id":"Q172076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$5BD6FC36-A268-4219-86F3-9FA07AC403CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c38906f4def5a4e74da1d5717a4819c366f62b6","datavalue":{"value":{"entity-type":"item","numeric-id":831225,"id":"Q831225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$8712B3FA-7B21-4FC9-AC73-301AA57C2CB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$5F995C7B-AB2B-466E-891E-B8C9E7F3C53B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e280b55b5616e58d755c5121c3b03bd5f8690da1","datavalue":{"value":{"time":"+2021-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2062218$A59430FC-83EC-4056-B797-2AA85870F944","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2867ac81e7ccc369ff703aecdad456e58c880800","datavalue":{"value":"https://arxiv.org/abs/1912.09166","type":"string"},"datatype":"url"},"type":"statement","id":"Q2062218$DD014B90-1902-408D-8C60-37C959FB4796","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"361e020ea5f16954831a0366b08c9194c3382e5c","datavalue":{"value":"An element \\(a\\) of a Heyting algebra \\(H\\) is supplemented if there is a least element \\(a^+\\) satisfying \\(a\\vee a^+=1\\). An element \\(c\\in H\\) is central if it is complemented. \\(H\\) is centrally supplemented if each element of \\(H\\) has a supplement that is central. In this paper, it is shown that any Heyting algebra \\(H\\) has a centrally supplemented extension \\(H'\\) that lies in \\({\\mathbf H}{\\mathbf S}{\\mathbf P}(H)\\). The paper shows that the MacNeille completion of the centrally supplemented extension of \\(H\\) agrees with the ``hyper-MacNeille completion of \\(H\\)'', as introduced in [\\textit{A. Ciabattoni} et al., Ann. Pure Appl. Logic 168, No. 3, 693--737 (2017; Zbl 1422.03038)]. The paper uses this result to show that any finitely generated variety of Heyting algebras is closed under hyper-MacNeille completions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062218$164999DF-93B3-4277-BF03-A16D542BA01A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062218$1CFAEE19-4283-4DC1-939B-D6AB704E868D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062218$8AED2FCC-3EB7-4D92-8B44-A7A818849F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062218$8D7FBF30-B633-442F-AF8F-1906A179C507","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbaac579d10a68b2b31259a0998ba93f0e845b91","datavalue":{"value":"7450688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062218$9E5406CE-34AA-4863-9474-EC2052CD13FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062218$41BF9EED-92DF-4460-ABD4-680EBA00AA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a0469e5d9a2de1a01598586e4d14ee0d8ea929","datavalue":{"value":"completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062218$FA928B93-D2A8-4A40-9AF7-E781D564187D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062218$541E3FF6-1BC2-40EA-A452-B866FABE7794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cbe3e470e09b0c78052de57e6e495bd93d50a09","datavalue":{"value":"Boolean product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062218$34AE53D5-6050-403B-BDA6-8E848A3AA13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4206566d0afa53bb7a16bd7889863239df871a1b","datavalue":{"value":"sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062218$0C812100-3FDE-4F7F-83E5-3C2E9DBBDA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d9011609eeeb7c9adcd756bafa49825b736ac81","datavalue":{"value":"supplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062218$DFA22B5C-1C26-4C29-8B30-EA84D452F4F3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"deb95c6597eb3e9658b0806695ab69531b4d8e03","datavalue":{"value":{"entity-type":"item","numeric-id":331016,"id":"Q331016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$4CD12C80-1EC1-448C-B134-58B5D5259EA7","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":"Q2062218$00EBB72C-FD7D-4917-A697-52B151341448","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8d9e0eff490af5d5d151d00c345554eb826232b","datavalue":{"value":"W3149302378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062218$79BD1B1E-D801-4F55-A0E9-A3991F9BE120","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$38C370C8-53DA-403E-A29B-D112E31A4597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607032864cb06dec4fa711d9a8c97f9a6304f17b","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$562F387E-F39C-47B0-B6EA-697C8DEE08C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43333d565e6eba89a85b3856c480e5387d6f4b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1991585,"id":"Q1991585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$FC4A09DD-1267-474A-B09C-B59E773943E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$EB40C780-877A-4589-A418-7BC172879A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$3DCA1355-19E4-411F-A1A7-A40EA44807DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f76ba65987bffc0996fb6eb7e69b9988872eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4198732,"id":"Q4198732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$D1C964A1-B9FE-4007-90CC-500224ED6DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6354dc5922d58d0941351631a710c38db024ca","datavalue":{"value":{"entity-type":"item","numeric-id":652517,"id":"Q652517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$148F7B71-9FC1-4400-806F-FEEBAD8C2AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$1EB20CB3-CF9D-4F3E-83C8-94178C24864C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fbf1a7e143abb0354af5e56a1cb6e80bb0eef56","datavalue":{"value":{"entity-type":"item","numeric-id":730091,"id":"Q730091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$220FFDE7-D44F-4F20-B032-415A6D25024B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909c4131dd50431b114bb5048fafc00920d0289b","datavalue":{"value":{"entity-type":"item","numeric-id":2851936,"id":"Q2851936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$96F8F54C-B428-4275-9783-5E2F33686BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5924b96e9e17eef377b5d4cb5e346ba4b38500f6","datavalue":{"value":{"entity-type":"item","numeric-id":2546890,"id":"Q2546890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$EE5167C5-EA84-4CB3-B912-F9625AF13C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18935d4afcac5fb6e09c409570dbc61677eab44","datavalue":{"value":{"entity-type":"item","numeric-id":5249695,"id":"Q5249695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$300CBB0C-C277-4ED8-A9CE-8DBFD99A8F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d45aebbbae78744fa26548f4685e27f278ef90","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$BB087BE2-F75F-4158-9761-758998C73B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501ec3b78b0fa92739c5819b9d7c6f7d7e1c6c16","datavalue":{"value":{"entity-type":"item","numeric-id":2401020,"id":"Q2401020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$14B4CFDC-A471-4731-AD4D-021D937CED31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b30e46ca46fc85ff240c4c6ab9150f10d4d7637","datavalue":{"value":{"entity-type":"item","numeric-id":1815844,"id":"Q1815844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$814E634A-8530-46E1-BEF2-0E63FABDE013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d46856a726eda3b7b0eca0341ec460a26765bb1","datavalue":{"value":{"entity-type":"item","numeric-id":5672680,"id":"Q5672680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$8EB585C6-2D3C-43D2-BF6B-71E9D3F43DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1462eafbf0016459ccd9c71298858ab6610eca2","datavalue":{"value":{"entity-type":"item","numeric-id":2560266,"id":"Q2560266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$779ECC3D-8CC8-49ED-8327-609568E14DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$79059C5E-6843-466C-A86E-80B57281386A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed8f98bb9b88f8b46a1924d94f5e5a83b0695b78","datavalue":{"value":{"entity-type":"item","numeric-id":4645860,"id":"Q4645860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$9B8FD82E-A348-42C4-A065-C986ABC618FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$89E62EAC-A9C1-4A8E-89FB-8D6C1C3B6E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1c3e48bdec8274ff05000cc218a979a71db3ca","datavalue":{"value":{"entity-type":"item","numeric-id":1722781,"id":"Q1722781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$7E25C51C-19EB-4FD2-AB45-13B09655A082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$26E648DE-F2BF-4875-9826-0A7FC179E7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40008f3bf42685fa48509529f90bde4322fbdb7b","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$5E51EFEE-2B99-4632-A4AD-CC89915CC824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68624abf429468f61f567848d101e66079d47538","datavalue":{"value":{"entity-type":"item","numeric-id":3982251,"id":"Q3982251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$5BF0B65D-F5B2-45E3-AA91-4BE21E819169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$B73DB0FA-D838-497E-9AA0-3D2BE906C4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca1bc6f348c31c058c6d640b49c7c59e4cecd88","datavalue":{"value":{"entity-type":"item","numeric-id":5705523,"id":"Q5705523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$7B9DDAD0-B0AE-4650-8E1D-3BB19C838C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e06197836e342668fcb52432f9ba7fbec349361","datavalue":{"value":{"entity-type":"item","numeric-id":1743004,"id":"Q1743004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$B83BDD21-FF04-468C-B5FE-A4B3A48DB044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d9d8acc9637ccbe7181c88d2feaf1eb89e2e6","datavalue":{"value":{"entity-type":"item","numeric-id":5932468,"id":"Q5932468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$DF2518AE-3FF3-4818-90FF-FC05A5E60208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a557cbdcba219d9bfdff39882c8390240a3e272","datavalue":{"value":{"entity-type":"item","numeric-id":3246441,"id":"Q3246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$04DB5BA0-5DB2-4CA3-AF68-4D76B01CC158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac3b00826d4d067c5df4b902174ad54602c8063","datavalue":{"value":{"entity-type":"item","numeric-id":3340910,"id":"Q3340910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$FEB07CCE-4C06-4DA1-A237-00A13E9836DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd52ff144941ee31c3e5ff99373d658bca21b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1318352,"id":"Q1318352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$A6DDE1AC-A9AD-4607-948E-7632B8F0F871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d25d2720eaf26c2577e0a311e7a1cf270a6961","datavalue":{"value":{"entity-type":"item","numeric-id":3535661,"id":"Q3535661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$61A5602C-D159-47F0-977C-4409A9CAF04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390b4d75a348a5d7b83a82d2cdc64661757b7d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$45EFB911-4838-40F6-B208-315751AAF22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$7AC34874-5EA9-4C1A-A1C4-D355FEEB6CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1759e41b16f8d057e805130d24900e5daa6586b","datavalue":{"value":{"entity-type":"item","numeric-id":2422309,"id":"Q2422309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$0AD923B4-D705-4EC7-A61B-6515969E32A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf570b4f8cfc364a1cf37af2845b521d40478adc","datavalue":{"value":{"entity-type":"item","numeric-id":1192582,"id":"Q1192582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$8C691591-119E-4DE3-90F9-A06F9D12E09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeade2cfdcfcd253e188a74e9e8eaa51de1f1876","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$D17DEE47-39CC-4665-AA3C-B4BFC505DE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$95E05B9B-C917-46E1-84F9-90EB8A29FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e93ef4dc600baabf1caa2d6a4d97f42bc019d1","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$02404762-4F8C-4529-9E42-3EFBD1B6DD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61393b72d6444769c992a0ba8b4957381869f4fa","datavalue":{"value":{"entity-type":"item","numeric-id":1402589,"id":"Q1402589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$F7EF1EC3-F705-44E6-9A98-EF96592D347E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$BB2F9F9D-E35A-402A-A5FF-1FE4EDD01AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d518bde43115194b3edd1c343f646eab4b68155d","datavalue":{"value":{"entity-type":"item","numeric-id":5531086,"id":"Q5531086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$414FEC24-8A42-4925-A351-344173FA9797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$8EDD76EF-689D-45F7-8BB9-1B8462830E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c0ffe16821f0f8d8d2c0bbb488f9d931c7dbd0","datavalue":{"value":{"entity-type":"item","numeric-id":952253,"id":"Q952253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$88DED336-2103-40FD-AE5D-7DC02BEEA250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35847d178752367c2d884485785fd1dcebade97b","datavalue":{"value":{"entity-type":"item","numeric-id":1061157,"id":"Q1061157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$C52E3BF6-ECFF-422E-AF08-2B6251834137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff84199465994f06a673900799cd0c4639a2bb59","datavalue":{"value":{"entity-type":"item","numeric-id":5563385,"id":"Q5563385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$0E894F0A-17BB-4EBD-881D-11A235D97540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403fcba039ed4891228e566729774351a83899be","datavalue":{"value":{"entity-type":"item","numeric-id":5566546,"id":"Q5566546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$714B4CE7-7E83-44FC-B534-8F57C880F1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b3e1967e831b2be25499403de77c0bbae04267","datavalue":{"value":{"entity-type":"item","numeric-id":5079762,"id":"Q5079762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$FA727F09-C905-41C5-B105-B69181DB4A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49034912b3a103269437c6273cdcf4b27cbd29ae","datavalue":{"value":{"entity-type":"item","numeric-id":2474096,"id":"Q2474096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$538A816C-8B95-4E5A-9576-4642093FCFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241ec560f46089969fc42496e3a0c311f5492c58","datavalue":{"value":{"entity-type":"item","numeric-id":1891270,"id":"Q1891270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$C7C475C5-D32A-4419-9A99-A796EF7B0A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932b60f2de7f0c159be4a614dd7bb695f2120759","datavalue":{"value":{"entity-type":"item","numeric-id":818712,"id":"Q818712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062218$B27E3E3D-EDE5-43A4-BFF6-39BF6C887DAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cdf0819673d5ddd71283a4a7d272ece1e410f25","datavalue":{"value":"10.1007/S11225-021-09941-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062218$632B6BB1-D6DD-417B-BB76-45F7BD4007CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d871762fa3c6c70afd3ce42928e5613b0beddf","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe4c4d8db4f732f6617b5868c49f0618e88b285","datavalue":{"value":{"amount":"+0.8341622948646545","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":"Q2062218$999E3C13-5B2D-432B-8D4B-10C7C99FB703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9def0640af0b6d190b51d73358e3b9252f267fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5283726,"id":"Q5283726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8461c08703e3b161f60b3b92de8c5fe0d9d73594","datavalue":{"value":{"amount":"+0.7811621427536011","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":"Q2062218$B74258BC-4904-4B6A-8AF3-514B740219CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585fd57c4873511870e11c61a2b74a4680984a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4870894,"id":"Q4870894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9bfef346e5a919c572d15d5d420875d697e9e57","datavalue":{"value":{"amount":"+0.7629043459892273","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":"Q2062218$1CF55812-CD96-4A4C-AD16-679F12ADB938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994d512cdb3bc85eeba81b75caf6e3c6ad8af06","datavalue":{"value":{"entity-type":"item","numeric-id":1372155,"id":"Q1372155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9bfef346e5a919c572d15d5d420875d697e9e57","datavalue":{"value":{"amount":"+0.7629043459892273","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":"Q2062218$02CFAFDF-542D-446B-9475-BC662F788091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b673d6154f882387c138f7a7a8f0afbf7e69a8","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b19c0990829b21c276d78403b19ee92e847b640","datavalue":{"value":{"amount":"+0.7627497315406799","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":"Q2062218$8D148829-F1E2-465D-88ED-445FEDCF5A35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyper-MacNeille completions of Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyper-MacNeille_completions_of_Heyting_algebras"}}}}}