{"entities":{"Q922573":{"pageid":924421,"ns":120,"title":"Item:Q922573","lastrevid":65434965,"modified":"2026-04-12T02:34:04Z","type":"item","id":"Q922573","labels":{"en":{"language":"en","value":"Algebras of diagonal relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168752"}},"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":"Q922573$935285EA-9583-4144-B300-18B4AD3F9135","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4569405e440b812327011075a56822a03649718f","datavalue":{"value":{"text":"Algebras of diagonal relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922573$A34882A0-0DA9-47FD-B90F-7235807F4167","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2e256fb459e62bbea03e30c29da6ba7d7a51ebb","datavalue":{"value":"0711.08011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922573$C7002457-20B9-4ADB-923C-BBB5D8917740","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3580ed8ccc98ec30a9bf4378ff5dc7086c951508","datavalue":{"value":"10.1007/BF01190712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922573$CAC76B44-B48B-4F89-8D6F-3F6E9379800A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28dba95b5663f88128ac4664fc14f241aa291624","datavalue":{"value":{"entity-type":"item","numeric-id":922572,"id":"Q922572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922573$D092E9C1-5BAA-4B5A-8D03-9348AF7B543B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922573$48BB6C0E-F53C-4BEC-AF88-E287861F37FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q922573$93EE51C5-43B5-4CF7-B31C-BD64406E51FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b82fe74f3e517f15b38b4d5d052514e1b2ec1563","datavalue":{"value":"Let U be a set with \\(| U| \\geq 2\\), \\(n\\geq 1\\) and \\(m=U^ n\\times U^ n\\), \\(m_{ij}=\\{<(x_ 0,...,x_{n-1})\\), \\((y_ 0,...,y_{n- 1})>\\in m|\\) \\(x_ i=y_ j\\}\\) for \\(0\\leq i,j<n\\). Define m(n) as the algebra of binary relations on \\(U^ n\\), generated by m and the \\(m_{ij}\\), \\(0\\leq i,j<n\\), which is closed under composition, converse \\({}^*\\) and intersection \\(\\wedge\\). m(n) is axiomatically described as a modular semilattice pseudogroup M(n) which is freely generated by generators M, \\(M_{ij}\\), \\(0\\leq i,j<n\\), satisfying the relations \\(M_{ij}\\leq M=M^*=MM\\), \\((M_{ij})^*=M_{ji}\\), \\(M_{ij}M_{jk}=M_{ik}\\), \\(M=M_{ii}C_ i\\), where \\(C_ i=\\bigwedge <M_{jj}|\\) \\(i\\neq j<n\\}\\) if \\(n>1\\) and \\(C_ 0=M\\) for \\(n=1\\). The main result, that M(n) is congruence free, is used to show that M(n) and m(n) are isomorphic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q922573$686BD228-5807-4822-9850-66686C73952B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922573$BF0B2D96-2EDE-450A-9DF2-944A5C7CC52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922573$C4473084-B88B-4323-9087-6917215D2246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922573$FB296DFF-1ED7-4C24-A2AE-37291249D72C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f355fd43f5082d166309a4b048f7b339ac689705","datavalue":{"value":"4168752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922573$1874ADA9-355F-4C48-8D7E-F5FEE75C874E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7171c61f175beb6d1b7894db14c96391a9bde0ab","datavalue":{"value":"algebra of binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q922573$FA54E909-139E-414C-91DE-DA441AAAA0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5b4e5cd25aa5ceb3313dca9e190b293876d4355","datavalue":{"value":"modular semilattice pseudogroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q922573$EFF261E4-B623-4F5E-A869-DAA0EFC70FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76b945ff592a8bb18cdda2316a534995dd9e6e5","datavalue":{"value":"congruence free","type":"string"},"datatype":"string"},"type":"statement","id":"Q922573$8306B33B-EF83-4243-8E26-044983629A2B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c61f96277503678c9706b4010bb972a7f80cdb63","datavalue":{"value":{"entity-type":"item","numeric-id":1108296,"id":"Q1108296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922573$C4282BC1-3F25-4AD8-8744-953BC5872AE1","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":"Q922573$BFECDF20-F05F-479A-9272-340BE5EC2EF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cbc0d983f676c4bfa50b1faff3573b4358bb8e1","datavalue":{"value":{"entity-type":"item","numeric-id":1219883,"id":"Q1219883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922573$B0E0BF58-A9E4-4D07-8D71-1BD309BB4425","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"846b27f2d15da297e6ed874bb61107ce2dfb3d41","datavalue":{"value":"https://doi.org/10.1007/bf01190712","type":"string"},"datatype":"url"},"type":"statement","id":"Q922573$8055007C-635A-41AD-9057-888FF73302DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cff8b569c9748f860f963b84179db9f09a1060e","datavalue":{"value":"W1968763872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922573$29792345-9AFC-4DC0-824B-355F901BED7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21df5cd685405cb3115c4ffe97555544546812b2","datavalue":{"value":{"entity-type":"item","numeric-id":4273430,"id":"Q4273430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da63e01182090587dcc1feea10e6bbb3d62dd39f","datavalue":{"value":{"amount":"+0.7521793842315674","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":"Q922573$06085097-5C64-4E11-B7F6-A9FD0BDE718D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c05f7e8a36f6f60e90415d5b31bf4965a6f07f","datavalue":{"value":{"entity-type":"item","numeric-id":1090346,"id":"Q1090346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4add93f7dd6ccf63d2fbaf389ff259f43b93532d","datavalue":{"value":{"amount":"+0.7472887635231018","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":"Q922573$C3737F76-04AA-4F00-A7D3-F0B2B66CE2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd302c058bbb58f541c373cc8551b91921eeab3c","datavalue":{"value":{"entity-type":"item","numeric-id":5750916,"id":"Q5750916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131a5922d931722a41a75db9ae00776f49a85bc6","datavalue":{"value":{"amount":"+0.7465215921401978","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":"Q922573$6282F48C-7ECB-4D73-B6AC-AAC96831E657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e964d2edc7c5144c7d52b7334e7057ed9b484bf8","datavalue":{"value":{"entity-type":"item","numeric-id":4516983,"id":"Q4516983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae1c1a0fd24425cf441ddc5bf0e46b7ea4483d1","datavalue":{"value":{"amount":"+0.746342658996582","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":"Q922573$DC80AD36-B44E-41FA-BC61-2AB900B03619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33dd249b14954b14266e3e642a61ff8fa7ce0b7f","datavalue":{"value":{"entity-type":"item","numeric-id":5239568,"id":"Q5239568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6172b6e8157f5b6df805168647aac96f4fa36540","datavalue":{"value":{"amount":"+0.7371217608451843","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":"Q922573$910DBDD2-6332-4D73-BF35-F4B28FD300C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebras of diagonal relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebras_of_diagonal_relations"}}}}}