{"entities":{"Q378013":{"pageid":379780,"ns":120,"title":"Item:Q378013","lastrevid":42282827,"modified":"2025-06-04T07:43:58Z","type":"item","id":"Q378013","labels":{"en":{"language":"en","value":"On applications of associativity of dual compositions in the algebra of Boolean matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6230982"}},"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":"Q378013$20DAEC41-03B6-4F0C-8CE6-ABC11727496C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eee85b8b9c07d5d9ad1047f8113b3e3b451889fc","datavalue":{"value":{"text":"On applications of associativity of dual compositions in the algebra of Boolean matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q378013$27F34E7B-0E0D-4DA1-88FA-D9F74EAFB4C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a514ac66eb52f746dd995342bef6478081440d7","datavalue":{"value":"1280.15009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378013$78DA54B4-9E4B-4C3D-8064-7507CC568BA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f418fa77893552b0c07941cb3385ca4496135f76","datavalue":{"value":{"entity-type":"item","numeric-id":378012,"id":"Q378012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378013$7FA4578B-27AA-4C23-B949-7C78BBC27ACC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378013$542BBA1B-DA56-4B0A-A308-9CA5CDEC6BC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f7566e024a16cf52f73fcdfcca03553b1c80ae7","datavalue":{"value":{"time":"+2013-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q378013$04DBF2B9-8DBA-4E6D-87A4-4DD5011AA40D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7bf1bc77fa0778c5d259c0b6e32e14e468db0c17","datavalue":{"value":"Let \\((B,\\cup ,\\cap,{}^{\\prime },0,1)\\) be a Boolean algebra. The two binary operations in \\((B,\\cup ,\\cap ,{}^{\\prime },0,1)\\), conjunction and disjunction, are \\(\\cap \\) and \\(\\cup \\), respectively, and the third (unary) operation is denoted by \\(^{\\prime }\\). Let \\(B_{m\\times n}\\) be the Boolean algebra of \\(m\\times n\\) matrices with entries belonging to a Boolean algebra \\((B,\\cup ,\\cap ,{}^{\\prime },0,1)\\), and let \\(A_{j}^{i}\\) be the \\((i,j)\\)-entry of the matrix \\(A=(A_{j}^{i})\\in B_{m\\times n} \\). The operations \\(\\cup ,\\) \\(\\cap ,\\) and \\(^{\\prime }\\) in \\(B_{m\\times n}\\) are defined element-wise. We call the matrix \\(C=A\\sqcap B\\in B_{m\\times k}\\) with entries  \\[  C_{j}^{i}=\\bigcup_{t=1}^{n}(A_{t}^{i}\\cap B_{j}^{t})  \\]  conjunctive composition of matrices of corresponding sizes \\(A=(A_{j}^{i})\\in B_{m\\times n}\\) and \\(B=(B_{j}^{i})\\in B_{n\\times k}\\). The disjunctive composition \\(A\\sqcup B\\) is defined in a dual way: \\((A\\sqcap B)^{\\prime }=A^{\\prime }\\sqcup B^{\\prime }\\) or \\((A\\sqcup B)^{\\prime }=A^{\\prime }\\sqcap B^{\\prime }\\).  The paper has four sections. In the first section, the author introduces notations. The features of consistency of the matrix equations \\(A\\sqcap X=B\\), \\(X\\sqcap A=B\\), \\(A\\sqcup X=B\\), and \\(X\\sqcup A=B\\) are investigated in the second section. For example, it is shown that the equation \\(A\\sqcap X=B\\) is consistent if and only if the value of the formula \\(A\\sqcap (A^{\\prime})^{T}\\sqcup B\\) does not depend on the arrangement of brackets. The consistency of the equation \\(A\\sqcap X\\sqcap B=C\\) is studied in the third section. Finally, the properties of the compositions \\(A\\sqcap (A^{\\prime})^{T}\\), \\((A^{\\prime })^{T}\\sqcap A\\), \\(A^{T}\\sqcap A^{\\prime }\\), \\(A^{\\prime }\\sqcap A^{T}\\), \\(A\\sqcup (A^{\\prime })^{T}\\), \\((A^{\\prime })^{T}\\sqcup A\\), \\(A^{T}\\sqcup A^{\\prime }\\), and \\(A^{\\prime }\\sqcup A^{T}\\) are discussed in the fourth section.","type":"string"},"datatype":"string"},"type":"statement","id":"Q378013$4F728B22-4F9D-4D31-B31B-36C01E2290A5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dc0eef07882c3712ebb581d70cdb26b1d60411b2","datavalue":{"value":{"entity-type":"item","numeric-id":306999,"id":"Q306999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378013$51427963-3AC7-46BA-820B-912AC9406359","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b06ff2ef9e04b42ff2c5c43e297cd9d734a55887","datavalue":{"value":"15A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378013$AAF4892C-EC27-4FE6-A3D3-8B5A66A8A4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0b321fafd33da205994db3b946bd7cfe9a54983","datavalue":{"value":"15A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378013$09A0478C-F6F1-4BCF-84FC-005CAFCC5C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a3b3e6e451112ae88a925a4babad921e127a616","datavalue":{"value":"15B34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378013$C8429C5D-8AB2-438A-84CC-BCBC37147FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378013$165A8932-93C1-438C-A55C-0355762101FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b37d6c29b6224d37976941fee925f69837a5690","datavalue":{"value":"6230982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378013$EAE0D282-73EC-4BE4-8F42-A43217D42F74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q378013$E8B06925-8AF6-4EA7-A8F3-399F79F6A270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916087346d4b315aeb9bc2de87629d129d38983","datavalue":{"value":"Boolean matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q378013$20BCE81E-6328-4D96-B332-C03D9E6D65D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a6ba059de762153eb1cacb7976f01803fd701d","datavalue":{"value":"conjunctive composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q378013$00D20C51-FA73-4CCD-9E9D-8B0610B0631D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c91f47fb00f78e793656232556459e4049bf310","datavalue":{"value":"disjunctive composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q378013$B824E1E4-CF9A-4936-80F1-48ADDE4525C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q378013$F84071E9-5E40-4176-A589-B9240C7D11E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcc87a58bb70e121722b10a27173b725bd1ecf9c","datavalue":{"value":"matrix equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q378013$90CBA176-F523-42F0-9DA5-15EC5B14A756","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":"Q378013$D2582EC1-7304-4D07-9CE9-32BC89D4D2B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a862b7b5945c00ffdc960a52ac8c0d605a67782","datavalue":{"value":"https://doi.org/10.1007/s10958-013-1355-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q378013$977BC720-DBC5-49D1-9238-3D37AEF87685","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd3952e6075a405a83c69e4b667436f77c93c07d","datavalue":{"value":"W2070039017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378013$100E80A9-E752-43AB-9FDD-097D825C507F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61867d2e47e38075f1870eed3d678c3cfae284b","datavalue":{"value":{"entity-type":"item","numeric-id":3184578,"id":"Q3184578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378013$365D10C8-F96E-45C9-8567-308DF8F8B584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a9b1fd445e89ab927957acd7c843352b62334a0","datavalue":{"value":{"entity-type":"item","numeric-id":5813971,"id":"Q5813971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378013$FBCE8623-46FD-427A-9EA4-52D21E9EEE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa595c975cc96f28daa1bd7521f98f77aeacc40","datavalue":{"value":{"entity-type":"item","numeric-id":4083731,"id":"Q4083731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378013$293AD41A-5B8A-4C6C-BC17-D56BDA9AD6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eb673e88b3dff28e1d8cfa1582f1fd37e783a0","datavalue":{"value":{"entity-type":"item","numeric-id":1237166,"id":"Q1237166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378013$15C0598F-F542-4ACA-B313-0A1BC2DDEBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378013$A42F2D51-F853-45F3-B474-263B5100568B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdf0bb53755d2b5de059e27ec73b52528afe5a35","datavalue":{"value":"10.1007/S10958-013-1355-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378013$F53F3EAB-A2BC-4B9C-9AAE-155585889819","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6177707df90c641e65731d88e4c163cea5e70b74","datavalue":{"value":{"entity-type":"item","numeric-id":2210589,"id":"Q2210589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a4839a2e9985809a0ecc715cdb783727911c6d","datavalue":{"value":{"amount":"+0.87348795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q378013$28FD94A4-A7FD-4978-B361-CDA6254BB548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817d640bd621f1d35ca15ea4681d49de50d53ae8","datavalue":{"value":{"entity-type":"item","numeric-id":4367330,"id":"Q4367330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11914c41100245a2440a53d7bc7630cfad56c32","datavalue":{"value":{"amount":"+0.871134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q378013$725110F9-8ED5-47DF-AD95-EC6B495962C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69382c501d53f2b370e677e2c250e6b6f6b52cb","datavalue":{"value":{"entity-type":"item","numeric-id":2929131,"id":"Q2929131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01487b3f64b4ad320ce464d1e065f7ccef1f089","datavalue":{"value":{"amount":"+0.8707756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q378013$EC158130-614B-493E-9390-F5E8DD1F28EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c2227e9088019f41fb87d7ec702e1b388b0c2f","datavalue":{"value":{"entity-type":"item","numeric-id":5075606,"id":"Q5075606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29853c0b2de46ae9aae672fd4f54e8161913db52","datavalue":{"value":{"amount":"+0.86427397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q378013$4AB68B33-D115-465D-9419-B512A2123FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2502a1bfdf8aadcdd456f90bbbaf4f78b9719c","datavalue":{"value":{"entity-type":"item","numeric-id":2805475,"id":"Q2805475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86c753593a44e56e396fa687d2e9c6c08003141","datavalue":{"value":{"amount":"+0.86206865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q378013$60181F46-44E8-44B0-8F1F-1D4FD4515707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08f4ed61c852c1bca565c895726dc5c94f4b5ce8","datavalue":{"value":{"entity-type":"item","numeric-id":2663840,"id":"Q2663840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db71dbdfd6d3d204433b88e131b37ac8dce5d28","datavalue":{"value":{"amount":"+0.8553992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q378013$DC9BF2B9-D239-474F-A0EA-1E4DC3AD4BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53fdf2c47007a94c24b6232b93ac5ab65ef24c47","datavalue":{"value":{"entity-type":"item","numeric-id":5177920,"id":"Q5177920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4854d6658b4346b8dea4844ac66215d7e60f98a5","datavalue":{"value":{"amount":"+0.8540275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q378013$0B57F1BC-54B5-4CD4-8AEA-15A68AD41784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7694f6eeff9e68d56bfe96c82d5d0665f1aa2048","datavalue":{"value":{"entity-type":"item","numeric-id":3816251,"id":"Q3816251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d8a64906d89f05d68dcaca80e47dbf4560fa69","datavalue":{"value":{"amount":"+0.8529024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q378013$9A054AEB-C4EF-4015-8EF0-4F9CB5CEDB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60322f67c49322b3bc11e75935cafbde34b03438","datavalue":{"value":{"entity-type":"item","numeric-id":5185199,"id":"Q5185199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a04d934179f18c7835f2f80c25136ca6821e2f5","datavalue":{"value":{"amount":"+0.85262376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q378013$650E4234-94CC-4619-B6F3-2EEDDD53FC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1986a1d4085d7033a7afa1522c2eaf294c2c23fb","datavalue":{"value":{"entity-type":"item","numeric-id":3209256,"id":"Q3209256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f860daf980605d3939cbe2a47cc4b4d26f2b83e1","datavalue":{"value":{"amount":"+0.8516102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q378013$0D4A04DA-0FBA-43BC-9FBD-E13146A0EF71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:378013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:378013"}}}}}