{"entities":{"Q2239394":{"pageid":2250137,"ns":120,"title":"Item:Q2239394","lastrevid":73612398,"modified":"2026-04-14T16:39:16Z","type":"item","id":"Q2239394","labels":{"en":{"language":"en","value":"The MacNeille completions for residuated \\(S\\)-posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7420785"}},"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":"Q2239394$7506C010-D232-4976-BE49-F8C2939F0F96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17fd07ad38930ba99b10d2dccf45662ace2d2e9e","datavalue":{"value":{"text":"The MacNeille completions for residuated \\(S\\)-posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2239394$601BF3D6-EA5E-4198-B7F4-C59701B1DCFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ca069291bc36fb28a6513d0d06949a7d84dddcd","datavalue":{"value":"1479.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239394$687DBA0A-7E1F-484F-8753-EFB56A800BCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"666486f8bcb0ac5b8236c8351b2752149f1dfecb","datavalue":{"value":{"entity-type":"item","numeric-id":264860,"id":"Q264860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$7DB69468-87BD-4FE8-ADE8-16FFC0512D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1009b76ff83985243f529dc96d2417a3ae270b3a","datavalue":{"value":{"entity-type":"item","numeric-id":277550,"id":"Q277550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$36627F4B-8FD2-4EE0-8517-87EF7BD0D5E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$C7DE874A-FD36-4BF6-9684-BC7149552A87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"826633d6c86dd02ba1bbc5970dcf0d2293962af9","datavalue":{"value":{"time":"+2021-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2239394$F1C5C143-4DD4-4186-BE5D-EF7C3E413A85","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3355a57487975ff89eb28feae3095a327d8d2ee2","datavalue":{"value":"\\par Given a category \\textbf{A} and a class \\(\\mathcal{M}\\) of morphisms of \\textbf{A}, an \\textbf{A}-object \\(C\\) is called \\textit{\\(\\mathcal{M}\\)-injective} provided that for every morphism \\(m:A\\rightarrow B\\) in \\(\\mathcal{M}\\) and every \\textbf{A}-morphism \\(f:A\\rightarrow C\\), there exists an \\textbf{A}-morphism \\(g:B\\rightarrow C\\) such that \\(f = g\\circ m\\). A morphism \\(m:A\\rightarrow B\\) in \\(\\mathcal{M}\\) is called \\textit{\\(\\mathcal{M}\\)-essential} provided that an \\textbf{A}-morphism \\(f:B\\rightarrow C\\) belongs to \\(\\mathcal{M}\\) whenever \\(f\\circ m\\) does. An \\textit{\\(\\mathcal{M}\\)-injective hull} of an \\textbf{A}-object \\(A\\) is a pair \\((m,B)\\) consisting of an \\(\\mathcal{M}\\)-injective object \\(B\\) and an \\(\\mathcal{M}\\)-essential morphism \\(m:A\\rightarrow B\\). For example, if \\textbf{A} is the category \\textbf{Pos} of partially ordered sets (posets) and order-preserving maps, and \\(\\mathcal{M}\\) is the class of order embeddings, then every poset has an \\(\\mathcal{M}\\)-injective hull, i.e., its MacNeille completion (completion by cuts) (see, e.g.,~[\\textit{J. Ad\u00e1mek} et al., Repr. Theory Appl. Categ. 2006, No. 17, 1--507 (2006; Zbl 1113.18001)] for details).  \\par Following the ideas of~[\\textit{J. Lambek} et al., Theory Appl. Categ. 26, 338--348 (2012; Zbl 1259.06019)] (which described injective hulls in a specific category of partially ordered monoids as unital quantales) and~[\\textit{M. Ern\u00e9} and \\textit{J. Z. Reichman}, Semigroup Forum 34, 253--285 (1987; Zbl 0616.06013)] (which described certain completions of partially ordered semigroups (posemigroups)), the present authors continue their study on injective constructions for \\(S\\)-semigroups (posemigroups equipped with an action of a posemigroup \\(S\\)) of [ Fuzzy Sets Syst. 373, 78--93 (2019; Zbl 1423.06054)] and describe injective hulls in a specific category of residuated \\(S\\)-posets (residuated posets equipped with an action of a posemigroup \\(S\\), where the action itself is residuated) over a quantale \\(S\\) as their MacNeille completions. It is also shown that for a commutative quantale \\(S\\), these MacNeille completions are \\(S\\)-algebras in the sense of, e.g.,~[\\textit{B. Zhao} et al., Soft Comput. 21, No. 10, 2561--2574 (2017; Zbl 1386.06022)].  \\par The paper is well written, provides most of its required preliminaries (the omitted concepts can be easily found with the help of the carefully chosen references), and will be of interest to all those researchers who study injective objects and hulls in various categories of ordered algebraic structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$571B0F69-FF43-4672-9B1E-4913A3F3F2AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239394$710B41AB-B59F-4732-B6F1-139B07B7B824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239394$371EA6C3-66EF-44A8-AB8B-D96E0979A461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d288a69107e543ad02bf89fe7b5f6e3ec2021571","datavalue":{"value":"06F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239394$FFF20CD0-E5FB-480F-A995-945277BC8948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239394$5759DE3F-A78B-44E4-8B94-6B7F30FEA7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239394$EDCCD4B6-14DF-448D-B2C7-BF3C7E9CCA98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"513e0000bd6ca97312658c3ab7752ca22f8e95e8","datavalue":{"value":"7420785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239394$7479307E-6B09-4167-90BA-0B8192EE9429","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0d67b5289b3b83aef37f0de35cbfab200442bc","datavalue":{"value":"injective hull","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$7ED987D2-B986-451C-A3C0-5D320CEEC76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a868ef93c67cf48dd2a9654b1828c597a8f653","datavalue":{"value":"injective object","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$C80D9E56-B2E1-4A61-B551-58AE2539880D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$C009BAD3-83F1-4A53-A492-C3EDC8AAA1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$F2BB133E-D7F9-4A9A-9FB5-B042B52C3695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70acc4487c94a262d59dce688e5372fa6a0eb0a","datavalue":{"value":"nucleus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$25A9889E-B0B9-4228-A143-673724301DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9e58314edf86e5e054738616e23c63cbd5b9e38","datavalue":{"value":"order embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$CEFA1436-D905-4F61-99E8-7DCA1156C354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f73e4c976f97b2c7ae40778dbe2876becb6f1c","datavalue":{"value":"posemigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$D297018B-512E-47E0-B334-D908FD67B8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7e4b7b91f62d5c3b3238d91c8822a8eebd1c72","datavalue":{"value":"quantale","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$53225170-D791-40F0-B589-5E61D3063FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1695d1fae54e0aa03777c10a3cab5fada395da3","datavalue":{"value":"quantale algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$8301EB08-9D57-4C75-AD11-CB9D251C0A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c21f6d9553882e30638b502d931509c70400fe2c","datavalue":{"value":"quantale module","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$0D4607AE-E396-4773-8977-621A33D11BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfbe8aba34cc9da6c2a5a2ce57479c9df1d09110","datavalue":{"value":"residuated poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$11481793-C0DE-4CF9-BFED-C7C62EB18F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bd59b7d1dd02ef708db941096cc1bb4a9c60924","datavalue":{"value":"residuated \\(S\\)-semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$8F4BA4C6-BBA7-4EB9-8B05-7582728CF6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b6986e0805cf5c60f882e113151b39394daf4e","datavalue":{"value":"subhomomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239394$E1019A42-D39E-4E04-A0B8-0B911E233BFF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7d067c039d76d8162114efbe354faa93c02c9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":277551,"id":"Q277551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$1A6F84A6-B715-4C62-A75E-5D3234CB1062","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":"Q2239394$EC24DFB8-A04B-473B-A74B-90920FCE5155","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e01f09725a2bd6d9834d14aa53c770149ac0bca3","datavalue":{"value":"https://doi.org/10.1007/s10773-019-04046-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2239394$1E814005-1AF0-4DD6-A005-B1E88C3B86F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55f2237c1491b9ecd2003ec91d83130760ca2e4d","datavalue":{"value":"W2916750237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239394$9173F15A-440F-4D39-B90D-391E015F7365","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c5d69077a040fca25f8fdb07add276ee88a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$87000586-3C2C-4A31-8D3C-53ED6F6FFDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$E1F8E5C1-48A2-4FC1-A908-412A591DD1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd2d9b1141b25bcecfbb14477116a1c7cd30e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2527476,"id":"Q2527476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$E2722EDB-D440-4436-9A0C-D1B7497F8292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5861c62396208c25b39d129257f274dcac62d0","datavalue":{"value":{"entity-type":"item","numeric-id":5312888,"id":"Q5312888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$DCF61C35-7C9C-45DE-B500-49AD621B11D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96ff4454ed8f4550a4bbd0e04986d9d3dceba45","datavalue":{"value":{"entity-type":"item","numeric-id":2988315,"id":"Q2988315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$CBFFA074-DCA9-466C-997B-46B607B6E0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45adb4410dcd58539bacd0ce338b4331d45d456e","datavalue":{"value":{"entity-type":"item","numeric-id":5613213,"id":"Q5613213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$C978E443-CF65-450E-8936-85B45F959778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f982803b5894a948ec5beb347b6582a76af16","datavalue":{"value":{"entity-type":"item","numeric-id":1821128,"id":"Q1821128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$436CFAC9-0B0A-42F8-B974-F7FE7B652B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$03626FB7-136A-473F-A51A-71CC05EFC54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c552b5abb8f524a212042da0fb70c54584c3e066","datavalue":{"value":{"entity-type":"item","numeric-id":2328958,"id":"Q2328958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$F1CDDF5F-FB59-44E0-878C-C0083305E38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b860d55358cf9bf632727f4b5877c912171b1b11","datavalue":{"value":{"entity-type":"item","numeric-id":2556344,"id":"Q2556344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$853F3F4D-B65E-451A-94E9-FCD1B46D866D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93303732a8fee88786c6d4361594720b1bd5211","datavalue":{"value":{"entity-type":"item","numeric-id":5632607,"id":"Q5632607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$57586CD0-370F-450D-A580-FE28B8C324C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aab45dbe9856493ba568b820973e7e6e773873e","datavalue":{"value":{"entity-type":"item","numeric-id":3053874,"id":"Q3053874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$F68993C6-094B-44C3-8BDC-F89595563BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1baf487f3fb64e98cc63843d070c2c28009cffb0","datavalue":{"value":{"entity-type":"item","numeric-id":2314423,"id":"Q2314423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$0E7750B0-C572-41FE-8303-FDD5E4E1E620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6bc3ca8173e5d9a1841ff80d9dbf3adfe0c6a6","datavalue":{"value":{"entity-type":"item","numeric-id":2919768,"id":"Q2919768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$4E069DFC-1173-424F-AFA7-56A73605FA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee142d66ff27602731bf8a467335470d11b45593","datavalue":{"value":{"entity-type":"item","numeric-id":3771067,"id":"Q3771067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$79B3DAA1-5F62-4926-B585-A351740AACEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d82d2cb374625e3a472e4215fb563f27ce64e2","datavalue":{"value":{"entity-type":"item","numeric-id":861646,"id":"Q861646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$876BEDB0-8BFA-46F5-81DC-3C22E9A48D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$92D1D823-AADA-4BC9-ACE9-09976DE4DCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac181fa828ed49525c0080bb2d3d3486ea90c258","datavalue":{"value":{"entity-type":"item","numeric-id":3178885,"id":"Q3178885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$288370B9-375D-4016-9D1B-DB8EB6B64F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3514a7d85cc33bb426b2b6f21281c796230b2d","datavalue":{"value":{"entity-type":"item","numeric-id":1845958,"id":"Q1845958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$648838DF-617D-49C6-A2A8-3497905BE5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c31e47e824e7cc64bf38bf16f9ff2cd9034d75","datavalue":{"value":{"entity-type":"item","numeric-id":4963118,"id":"Q4963118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$8EFC056F-7569-4517-918A-2689D89A0648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6a60c05d120041bc7fff06af3b27e23db0043f","datavalue":{"value":{"entity-type":"item","numeric-id":3512589,"id":"Q3512589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$AC9AF876-5BC0-48CC-AF9D-27FF98334CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b307b192f692c8d4707fcacbdb05a401922fc0c0","datavalue":{"value":{"entity-type":"item","numeric-id":2966054,"id":"Q2966054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$67FC9E21-2158-44B3-94B4-607CD846CF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c71bf2b61c24623b29851a7d0f670feab01c36","datavalue":{"value":{"entity-type":"item","numeric-id":3411948,"id":"Q3411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$F731B7F2-A813-47A6-A035-E2D29D68DAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d24bf032e806ebc34c1300a9faa644ad63edc19c","datavalue":{"value":{"entity-type":"item","numeric-id":533145,"id":"Q533145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$7B492F58-8B73-4D7A-87FA-6B833523821A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ada3d053b15e3bdcdb430666072c1efc3512e6e","datavalue":{"value":{"entity-type":"item","numeric-id":419013,"id":"Q419013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$EA12CA90-2432-483F-9D22-45927F9CCDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce05950b5d52cf2c6ac464c265977fc63a4cdc17","datavalue":{"value":{"entity-type":"item","numeric-id":2963474,"id":"Q2963474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$C47A4CBC-A64E-46CB-80D3-D8EDD3F50B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701798df60b9c3025264408be0c89859ecb50aab","datavalue":{"value":{"entity-type":"item","numeric-id":1646615,"id":"Q1646615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$15077310-1CF9-493B-B664-2D9105744CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0663b81b1390c71a640fe4fcfbd7ffe2f46fe57f","datavalue":{"value":{"entity-type":"item","numeric-id":2546504,"id":"Q2546504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$D9A83DD2-6C33-4E60-9A85-C09798BB6C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9905601e5c353e4acf255d3136638d3ea4d7c74e","datavalue":{"value":{"entity-type":"item","numeric-id":1920356,"id":"Q1920356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$854F3270-D8AD-4035-B1DB-A1617B02FDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310d3decffdc00afc0a37f4570948c81de66ce32","datavalue":{"value":{"entity-type":"item","numeric-id":3467131,"id":"Q3467131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$449D1650-4B93-4FEA-8B35-8575003B8A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5a147eb514eed928cbb23b6075f5193419ca6e","datavalue":{"value":{"entity-type":"item","numeric-id":896231,"id":"Q896231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$465D119E-FA5B-4961-BA89-1D344535C626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0382d21e27d35146f726acfd10fa623db456cebb","datavalue":{"value":{"entity-type":"item","numeric-id":334971,"id":"Q334971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$F22B5B5D-2754-4956-991D-2A006A4070CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4614dac740692bbb1997bdbf4f882637a426a5c9","datavalue":{"value":{"entity-type":"item","numeric-id":2329014,"id":"Q2329014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$31196D7A-B577-4AB8-9435-9B9DB9D859EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a7c86e55ade0d2064d5ec8d5a43d909c9172aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1701738,"id":"Q1701738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239394$C97AF29B-9CD2-449A-A56D-86C598F9BA88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"957aa478c77613309d0b18c05e1c54afe29dfc05","datavalue":{"value":"10.1007/S10773-019-04046-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239394$68EA80BD-4591-4570-9C5E-E7A1718BB912","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4f046e3a57de97dd1e1dc9bbfd8d91ae3a96d1","datavalue":{"value":{"entity-type":"item","numeric-id":3467131,"id":"Q3467131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31ec7a029dacd944b6e2c3e0c20a6e02aab3682","datavalue":{"value":{"amount":"+0.72586024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2239394$8FA5D5B3-E25B-4E15-A483-1A39E85BF400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228d4e5ca921b0afc73f26956a53d9016c537c34","datavalue":{"value":{"entity-type":"item","numeric-id":1738256,"id":"Q1738256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3263b02d3ce4bc56c38acdb7031703893549cfc","datavalue":{"value":{"amount":"+0.7134745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2239394$E119C7F4-8FCC-4E95-8317-692181440141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c51da065055b34db86645c728735735ac68ff3c","datavalue":{"value":{"entity-type":"item","numeric-id":5062321,"id":"Q5062321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e183fdedb4ad1113881e7384a8a1858451b13fcb","datavalue":{"value":{"amount":"+0.7108298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2239394$3C6A58BD-6D0F-4B60-880E-8265F9EC4797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131aa159405cbe72076e109fd0ea8a5b786cfae3","datavalue":{"value":{"entity-type":"item","numeric-id":5863859,"id":"Q5863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9980a654e5ddb7878b2544e45c046bee50fb7ca7","datavalue":{"value":{"amount":"+0.70356774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2239394$3ECD8B5B-C827-486E-A939-649258C95AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b16d333fd18d86adcf758453ff5c64a99d563c48","datavalue":{"value":{"entity-type":"item","numeric-id":1818226,"id":"Q1818226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842beb4efda89dd45984e61ab3f9628eeadab61f","datavalue":{"value":{"amount":"+0.69791853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2239394$D507FE4E-C614-4DE8-9995-3CC7BB07F411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a6f2ac88b997212127c7ed713adec0a4abfaa87","datavalue":{"value":{"entity-type":"item","numeric-id":284659,"id":"Q284659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4eaf98a67b3b11738d6dcbb0b0ec53581de3fa","datavalue":{"value":{"amount":"+0.69026625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2239394$975EDDB4-BC36-45BF-A209-8DB586505E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5702391571000020642aa65844c97eac069eea23","datavalue":{"value":{"entity-type":"item","numeric-id":2919768,"id":"Q2919768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56c84dafef0a5c10220abe9a7da19d305142a76","datavalue":{"value":{"amount":"+0.68570656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2239394$5266078D-3448-40EA-ABEE-EEEFA6E3C616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddaca6ce11fda8da5def011f011d181141d6d66","datavalue":{"value":{"entity-type":"item","numeric-id":972593,"id":"Q972593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4268464e3514949cb3906fd195cfb5f49b366492","datavalue":{"value":{"amount":"+0.68281853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2239394$F9575524-81ED-4F5F-8B2B-CE079F6FA009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0604dcdf40082f06f9e80673b172c4caf6eef8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1006337,"id":"Q1006337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a06ee52200c5116ca0752b65b98797740e6cc1e","datavalue":{"value":{"amount":"+0.68133354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2239394$6DAAE436-A813-4B6E-B4B3-7A53ACCA5CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4d71622ced80f8c589c2c44c8829a9fac3140b","datavalue":{"value":{"entity-type":"item","numeric-id":896231,"id":"Q896231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0a7f7cd664377a8afb201ce606055f5f3b0c49","datavalue":{"value":{"amount":"+0.67982906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2239394$42A673BC-8FE3-42D4-96CB-E9E8583AC1D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The MacNeille completions for residuated \\(S\\)-posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_MacNeille_completions_for_residuated_%5C(S%5C)-posets"}}}}}