{"entities":{"Q1355602":{"pageid":1366341,"ns":120,"title":"Item:Q1355602","lastrevid":70229889,"modified":"2026-04-13T13:21:43Z","type":"item","id":"Q1355602","labels":{"en":{"language":"en","value":"Varieties of commutative residuated integral pomonoids and their residuation subreducts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014000"}},"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":"Q1355602$15083262-59D0-46F3-8C06-FF6847F377DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e619193f80f6d32b8307006b40f9050499856926","datavalue":{"value":{"text":"Varieties of commutative residuated integral pomonoids and their residuation subreducts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355602$CF7F3A06-DB66-4FE8-AD85-C3DDF045396F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"742dd9640a4ef2c702c41fc1b295bcbd6663a75a","datavalue":{"value":"0872.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355602$084C836C-2C95-49B3-9A50-FACE56317541","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f8ecc515e149246aa369f00abc13f14a0a0a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1355601,"id":"Q1355601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$263DAABE-E0B5-4387-BC18-67389EB61846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b7351c665d8ce77351eed18ff10ea849a82e757","datavalue":{"value":{"entity-type":"item","numeric-id":995380,"id":"Q995380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$BD42E36D-6526-43F3-9E8E-82447760EB92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$4C2AE3EA-02B0-45AF-B868-AE50FC5D431E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af2e1fa3b9438c5889533678699c030834fcfdb4","datavalue":{"value":{"time":"+1997-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1355602$D69B1002-95DC-4917-B0D0-38B904C5B092","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b17c5095983a66185078fa451b77832bd8fe4dc9","datavalue":{"value":"Let \\(\\langle A;\\oplus ,0,\\leq \\rangle\\) be a commutative (dually) integral partially ordered monoid whose identity \\(0\\) is the least element of \\(\\langle A,\\leq \\rangle\\), where \\(\\leq\\) is a partial order compatible with the monoid operation \\(\\oplus\\) in the sense that \\(a\\oplus b\\leq c\\oplus d\\) whenever \\(a\\leq c\\) and \\(b\\leq d\\). If for each \\(a,b\\in A\\) there is a least element \\(c\\in A\\) (denoted \\(a\\div b\\)) such that \\(a\\leq c\\oplus b\\), then the resulting structure \\(\\langle A;\\oplus ,\\div ,0,\\leq \\rangle\\) is called a partially ordered commutative (dually) residuated (dually) integral monoid (briefly a pocrim). The operation \\( \\div \\) is called residuation. BCK-algebras are the residuation subreducts of pocrims. The simplest example of a pocrim is the set of ideals of a commutative ring with \\(1\\) with respect to the ideal multiplication as the monoid operation and the (lattice) order of reversed set inclusion. Residuation is defined by \\( I\\div J=I:J\\).    The class of all pocrims is a quasivariety \\( \\mathcal{V} \\) which is not a variety, but it is relatively congruence distributive, has the relative congruence extension property, and is relatively point regular with respect to the monoid identity \\(0\\). All \\(0\\)-regular subvarieties are congruence \\(n\\)-permutable for some \\(n\\). In several varieties of pocrims (for example in the variety of Brouwerian semilattices and the variety of hoops) the finitely generated subdirectly irreducible algebras can be obtained from a finite number of simple algebras in the variety by a finite number of applications of the operations of variety generation and ordinal sum. Cancellative pocrims form a subquasivariety \\( \\mathcal{C} \\) which has a Mal'cev term and generates a congruence permutable variety (not contained in \\( \\mathcal{V} \\)). The subvarieties of \\( \\mathcal{C} \\) form a lattice which has no greatest element.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$0F8A9D80-0651-4452-A2DD-B553E4C4E5FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355602$6391548F-BF88-4E24-8317-6EF4BEF01ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355602$349145C6-634B-4C9C-8738-2162ACAD1AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355602$88A209F6-001C-40F1-BA02-8115D1A03022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355602$3A8FCA0B-FF86-4570-809C-A0361F6EF980","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91521e10944cbb9782e8d087584d9f7bf2f7929f","datavalue":{"value":"1014000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355602$43C70A3E-6BF4-43BB-853F-390AAFBDE104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ae94c07cfb807968a09f81c41709366559e315","datavalue":{"value":"BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$8331C05D-A415-47B2-8757-44963320251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98a6d23e6dedf247d44051611978feaaec2e022","datavalue":{"value":"residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$A9A0812C-C9C8-42E3-B1E4-3DE52EE93E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$0AEFC14C-8672-4A71-A5CB-D596DC8C9C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$78913CD1-379F-4749-93C5-D51364372707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a0ac61dbf574162b49782caf18cfea050bd7b0","datavalue":{"value":"partially ordered monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$45C1C986-3081-471B-9B1E-DDAED9796E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c53d7dce66b65c80dd5a8970854ed914e25293d","datavalue":{"value":"subreducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$ACAC57C7-2E6D-4A1C-A980-32D4C4D94111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4634eab4e737bd11a597102ff0ff2e0dbd8f599f","datavalue":{"value":"ideals of a commutative ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$E01FE710-6A87-4D75-B7A1-1FF1DE86AEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25ff89404fca19c8746b6f683b1ef621285a7ae","datavalue":{"value":"relatively congruence distributive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$6DEA29CA-3D88-495E-836C-52727AA790BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fde544d56c7b93068328a1db65cc694b858f592b","datavalue":{"value":"relative congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$C14986B9-E605-4995-9FFA-24C47CE8440C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec807b0473fbf3df621450cb57dbc7e624e2a692","datavalue":{"value":"Brouwerian semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$B2C16FA6-9513-4321-ABE3-EA1AC96583D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca0ef3dda052a3ed1654504c155c4f7228b253b","datavalue":{"value":"hoops","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$7AD73860-10DF-402C-AED3-0C7D745FEFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a918afae689617535801fd2f4a23b8567ac5acab","datavalue":{"value":"subdirectly irreducible algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$6D35A2D1-A37E-4010-8487-09F2AD6D12CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9488d36e325750b7bdea13fdc4f5cde260cdbe35","datavalue":{"value":"congruence permutable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355602$2C8FFD19-A92A-4CBF-9A45-B120DDE3AAFE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0900d4695d5246fc582c8224af534b30f303eb21","datavalue":{"value":{"entity-type":"item","numeric-id":202029,"id":"Q202029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$E416EFB9-F0C2-4397-A3E6-A5C93E6B3C8B","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":"Q1355602$E9FFCC58-C477-4B44-A171-45130371CBDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dd4b5576bd7051343d552dd30f3552b679f5aa3","datavalue":{"value":"https://doi.org/10.1006/jabr.1996.6834","type":"string"},"datatype":"url"},"type":"statement","id":"Q1355602$DB754F54-E7DC-4BDA-A240-AA0AEC5055F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c887a9ec562cf9dc21d870bc051bdcf9c04317a","datavalue":{"value":"W2083174445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355602$F9DDAC4B-4AFE-4DC4-81CC-D6E140E4735E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4cc729864077cfaa756ad6fc2ab9f45904eaf1","datavalue":{"value":{"entity-type":"item","numeric-id":800488,"id":"Q800488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$B6385355-E8F6-4FA8-B856-BBF3A06171A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$5751B4FE-F9A6-4436-A265-71E4D6BDDD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f902d3579b21fc9c297608cd778240a9eb900a0","datavalue":{"value":{"entity-type":"item","numeric-id":4273433,"id":"Q4273433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$DF900053-0850-47ED-B754-8C4F6EA005FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95f596d87616b4c45a125752dde08f3ba0a74cd","datavalue":{"value":{"entity-type":"item","numeric-id":1866813,"id":"Q1866813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$7A1ED277-1C03-4EC5-A4DE-659F7991A6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0c4babbc44de71274f0ee7b587bc3d6c54bcb0","datavalue":{"value":{"entity-type":"item","numeric-id":762523,"id":"Q762523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$0E1E6CEA-A9CC-49EB-BF27-DD46CB8FE3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef350ead7090cd66027dea6c9a11f206e833f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1839272,"id":"Q1839272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$013BB366-A83C-4504-8992-07543F8CC298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b446099905b56cfa9e33fe33268817567c38830","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$C07A8518-86D3-412F-A53C-8F1A72F55876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$11055844-8CF2-40FD-BC8A-28DEAC6CDD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b20004731eb077d1c8cedefc247638148aff988","datavalue":{"value":{"entity-type":"item","numeric-id":1342132,"id":"Q1342132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$8776C4D3-4EBF-4406-920D-0023E8E7BA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860c209a12d44261928ea6919553569594b4acf4","datavalue":{"value":{"entity-type":"item","numeric-id":3141489,"id":"Q3141489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$D0FA77E0-2A20-4AE3-9933-E9286A867C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c25674006f8fabdcc2cf3f4e8012aefb27f226e","datavalue":{"value":{"entity-type":"item","numeric-id":1344842,"id":"Q1344842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$AE269B1E-0F74-4785-A0C2-5DC2E87383BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997744b17d1ed487c74981dc37b3271e77786200","datavalue":{"value":{"entity-type":"item","numeric-id":5574737,"id":"Q5574737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$C92DAE57-1169-43A6-B1DC-DFE6E1ACA4C5","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":"Q1355602$996092B3-E492-4372-8A8B-235F9AE33412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c707676fb39db24d8ad95edff76f221fb0b404","datavalue":{"value":{"entity-type":"item","numeric-id":1156822,"id":"Q1156822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$9F5A7F9A-F11D-44D6-AA2D-61B8418CB168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fabb6f9c7f31f61813b27385790ab247cb7c34a","datavalue":{"value":{"entity-type":"item","numeric-id":3834106,"id":"Q3834106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$BB294CDF-04C0-410E-A3A1-4FA23FB0C388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$5B898E1A-5609-471C-8EC0-1F1BEA8CA5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9581c519b8d2aa6d8971b4aa775d4a0fe72bbc53","datavalue":{"value":{"entity-type":"item","numeric-id":3912580,"id":"Q3912580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$81A364A3-589B-472A-BAD8-68DAC631059A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85fe469443b54a88fea2a46bec5dc956cbbb55c","datavalue":{"value":{"entity-type":"item","numeric-id":3946165,"id":"Q3946165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$379E31A4-FE4D-4356-95B9-503173FC5A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63c207dca393365a9a4c71005b2d9b5d5eb6d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":3960852,"id":"Q3960852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$48B70B93-3F59-472B-84C3-EFA8C30717E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4915598a0813e836042bd1974d65dcb46c2bd1ed","datavalue":{"value":{"entity-type":"item","numeric-id":3216648,"id":"Q3216648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$D50C81DD-73E3-437F-BC0E-11C5628EBBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338f36829ed7b9da240356c884cf2b476610fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5519895,"id":"Q5519895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$174F3024-A4DB-439D-AC0D-B0B229262EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babbaec529f0d01f3969279d066bfb110b0046d5","datavalue":{"value":{"entity-type":"item","numeric-id":3801613,"id":"Q3801613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$F9F8850A-B1A9-4F73-AC2D-E1D0EB0A2C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e947f4c32cdfed0e7e74613aed389a2f7554c517","datavalue":{"value":{"entity-type":"item","numeric-id":5575595,"id":"Q5575595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$36C6F189-1829-4E46-ABEC-F9FB8392D4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a8d0ddf7758c277dc4147507d17bfccfef9aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1111585,"id":"Q1111585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$34483BAB-0FF2-4D86-98F9-44A00D6564FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$AAAD3865-60B8-42C9-802B-5520446A0265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c46f0fdeec96d9b421790074aa1782cc227e33","datavalue":{"value":{"entity-type":"item","numeric-id":1132121,"id":"Q1132121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$492AFF19-ED21-4031-8E92-11D759F76CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c9042a071d6fd6bedde69a3a2959e384507db7","datavalue":{"value":{"entity-type":"item","numeric-id":3342629,"id":"Q3342629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$1C6AEFDF-A0E9-4133-9698-C2FE43DAF9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4c095702774eddcc9e72bbb2f350b9ca96c397","datavalue":{"value":{"entity-type":"item","numeric-id":3666902,"id":"Q3666902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$BC357838-8A8B-4B3F-8043-917FB8660D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d037473ac64fb3b587cff76b7f68eeb417fc42","datavalue":{"value":{"entity-type":"item","numeric-id":5607967,"id":"Q5607967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$479D66B5-B627-4645-92FB-1DA3AED21056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4323bdc39c54a56954ce28f1eea70d7c114734","datavalue":{"value":{"entity-type":"item","numeric-id":3879232,"id":"Q3879232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$DAED46F8-384F-46E5-8F3A-972DE809CCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fc57c8b80409c9025d6c12d23e360be457edd1","datavalue":{"value":{"entity-type":"item","numeric-id":3864520,"id":"Q3864520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$E81E24E0-BDA5-4781-967E-0361CA3E094E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1d79132a7ff6bd4c9f7ecdd27343ffd9a0068f","datavalue":{"value":{"entity-type":"item","numeric-id":4165379,"id":"Q4165379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$C5608F8B-7C48-4038-9B02-57CA38C3F280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a346bd21f6343159c8b3460669f0991862ccbc","datavalue":{"value":{"entity-type":"item","numeric-id":5723204,"id":"Q5723204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$A994E0E6-B7EA-4C6C-94BF-56DFD8D06610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1e47b84a864ae363382d325c422a2d6815f4d0","datavalue":{"value":{"entity-type":"item","numeric-id":1312861,"id":"Q1312861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$3EB68064-508B-4B26-BD29-139BF790C7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad3f1b29389888b3e0d1967fc3db0582fc8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3927295,"id":"Q3927295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$AFA02300-9C2F-4256-812B-F3856E35CCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$2EEA8692-9F68-4935-8944-D9623C2930F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89be34ddf43c7034b3a9b62a27aaf5803b7994f6","datavalue":{"value":{"entity-type":"item","numeric-id":2553985,"id":"Q2553985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$B1FDA746-C41E-4BA5-BB62-B2C12E086453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76af3132d4c50b26a0458b80aa95f0e2dbdfee3a","datavalue":{"value":{"entity-type":"item","numeric-id":3770539,"id":"Q3770539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$69298998-E1D0-4330-90C2-871A39E770E1","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":"Q1355602$8C773222-70A9-415B-819B-FF363D60E563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3a4e8b4dceec56c1f07a82bf95b48c6f867bcc","datavalue":{"value":{"entity-type":"item","numeric-id":3874204,"id":"Q3874204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$D927E774-12FA-4CB3-9F09-531E1EEE61EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e0a02802a164034a4aa7e9ffc6ae956fb2a960","datavalue":{"value":{"entity-type":"item","numeric-id":3932964,"id":"Q3932964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$5218C8FF-D21B-422C-BC96-4AD4BA2526F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6ce4ceaaa5a67587a7105b363b6161789bd9ca","datavalue":{"value":{"entity-type":"item","numeric-id":4724633,"id":"Q4724633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$A4C80DC1-0BBB-4BD0-AC8B-701B87A5954D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02067d11fd1ca5ac9b4b9af58bd3752c75db1f8","datavalue":{"value":{"entity-type":"item","numeric-id":3978820,"id":"Q3978820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$C8909AB4-3EC3-42F1-A6CA-4BA461CC8CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4850359dbdba88949c5ad184844ea2c191b6cfe9","datavalue":{"value":{"entity-type":"item","numeric-id":3135968,"id":"Q3135968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$AEF5BF26-3A92-42BA-A97C-27051D28EBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a7d73167a623a28e06d7f73cb62548bbcc1","datavalue":{"value":{"entity-type":"item","numeric-id":3937396,"id":"Q3937396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$06C60829-5FA8-4F75-8678-3DF92FA2CFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d1a8eb2de3a993c6376952646c796278e87ff2","datavalue":{"value":{"entity-type":"item","numeric-id":3855183,"id":"Q3855183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$88E40617-E49F-4AA5-ACAB-AF884426D2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6ffe09ac162dfabd8ea75f5abd6b70e49d41cf","datavalue":{"value":{"entity-type":"item","numeric-id":3789564,"id":"Q3789564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$0F30CAE7-83ED-4C85-8280-FE2D553FF898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813bb4df8641e98416d1fe8cd2ffadbb8ea6f47","datavalue":{"value":{"entity-type":"item","numeric-id":5773661,"id":"Q5773661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$24461809-55F1-481E-A504-71CFDFB66AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9435dcbbce4ddeaf4f4d7db1cf97394d4736bce","datavalue":{"value":{"entity-type":"item","numeric-id":3666901,"id":"Q3666901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$72B6D60B-4DF7-48F3-A395-E089F12AACC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca5120965f3e9ce340a196c88ff0d87830d6a39","datavalue":{"value":{"entity-type":"item","numeric-id":3686712,"id":"Q3686712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$CAF99F73-F975-4F67-8038-7DE860D47BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d7412a360e59bc89083253d2c8d3b6b947c70b","datavalue":{"value":{"entity-type":"item","numeric-id":3329465,"id":"Q3329465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355602$A080C249-5CE1-4C62-AC18-F572BF438F3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f82ad3ef1d724145a09f140c929c3cc056e925cd","datavalue":{"value":"10.1006/JABR.1996.6834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355602$CFCC3025-95DD-4B60-8C1F-F164C75C1040","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8599005bf26cc082c4e2da2d6c6efdca211e729","datavalue":{"value":{"entity-type":"item","numeric-id":2752408,"id":"Q2752408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b3ac9e834662cf23ed1469bffabe54c5edeb63","datavalue":{"value":{"amount":"+0.7963265776634216","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":"Q1355602$33286BB3-4135-43ED-B177-7FAA569B6237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d2ce5ae5d90d00e0b3ea9ce92fabb5b1a912f8","datavalue":{"value":{"entity-type":"item","numeric-id":4393866,"id":"Q4393866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889d391d00ac576c9f220ef32b7cea5be36b7e44","datavalue":{"value":{"amount":"+0.7872836589813232","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":"Q1355602$815A5142-D05D-40C5-AD81-1176E4F630F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0467f30590b260810e1c925174dc040c254fd822","datavalue":{"value":{"entity-type":"item","numeric-id":5441067,"id":"Q5441067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"468473c99002298b29a377cce23cf816616f848c","datavalue":{"value":{"amount":"+0.7869651913642883","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":"Q1355602$AF04AB3E-5732-4FEC-AC9E-62DC394D49B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06584d27482c6ffe1a0479e8c6dfbba7bc5b8912","datavalue":{"value":{"entity-type":"item","numeric-id":4359793,"id":"Q4359793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445c8897875d0e5c868debef6838ee5ebd110804","datavalue":{"value":{"amount":"+0.7840726375579834","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":"Q1355602$00CAB50C-BF51-41F8-9089-F08082B12924","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of commutative residuated integral pomonoids and their residuation subreducts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_of_commutative_residuated_integral_pomonoids_and_their_residuation_subreducts"}}}}}