{"entities":{"Q5950755":{"pageid":8127557,"ns":120,"title":"Item:Q5950755","lastrevid":41269326,"modified":"2025-04-27T02:27:50Z","type":"item","id":"Q5950755","labels":{"en":{"language":"en","value":"Power algebras and generalized quotient algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1682605"}},"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":"Q5950755$0C8B9456-37FD-4BAB-A824-F8EBC6CAFDD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"084f2d65b52b9c49c594f1f64d1ab39681a5e5f1","datavalue":{"value":{"text":"Power algebras and generalized quotient algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950755$666E2427-6B62-48B8-BB74-961CE40AB29C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ced0d2ce5964c4bc1a1be51c8b65e01600614d43","datavalue":{"value":"0981.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950755$F64F1EC8-273A-43BE-8F32-6DA61EC0F6DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6acc2f7d9e1207ad2464417bc0935c60c26bcdee","datavalue":{"value":{"entity-type":"item","numeric-id":1010814,"id":"Q1010814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950755$AC01FA3D-06A4-42FF-8625-720E6ED7DE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2726225355f507b26666bb4dacc5c5d65cda80b2","datavalue":{"value":{"entity-type":"item","numeric-id":211625,"id":"Q211625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950755$28251B20-936D-4356-9531-05E43B97EB96","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":"Q5950755$1D0D1748-432E-4E93-BAA2-EBEE04E963DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cff48275765814590658d506aafb5ce41ac2a492","datavalue":{"value":{"time":"+2001-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950755$A130BF49-F47D-44E4-A668-7BF17AB44391","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fe9d96604db06a16d9130d869e2f9099e2f857a","datavalue":{"value":"For an algebra \\({\\mathcal A} = (A,F)\\), the operations \\(f\\in F\\) can be naturally extended for a power set \\({\\mathcal P} ({\\mathcal A})\\) and the resulting algebra \\({\\mathcal P} ({\\mathcal A}) = ({\\mathcal P}(A), F^{+})\\) is called a power algebra. For a binary relation \\(R\\) on \\(A\\), \\(a/R = \\{b\\in A; (b,a) \\in R\\}\\) and \\(\\epsilon(R)\\) is defined by \\((a,b) \\in \\epsilon(R)\\) iff \\(a/R=b/R\\); \\(R\\) is called good if \\(\\epsilon(R)\\) is a congruence on \\(\\mathcal A\\). Moreover, the authors define binary relations \\(R^{\\rightarrow}\\) and \\(R^{\\leftarrow}\\) on \\({\\mathcal P}(A)\\) as follows:    \\(XR^{\\rightarrow}Y\\) iff \\((\\forall x\\in X) (\\exists y\\in Y)(x,y)\\in R\\),    \\(XR^{\\leftarrow}Y\\) iff \\((\\forall y\\in Y) (\\exists x\\in X)(x,y)\\in R\\).    A relation \\(R\\) is Hoare good if \\(R^{\\rightarrow}\\) is good on \\({\\mathcal P}(A)\\) and \\(R\\) is Smyth good if \\(R^{\\leftarrow}\\) is good on \\({\\mathcal P}({\\mathcal A})\\). The authors describe relationships between the mentioned relations. As a consequence, it is proved that every structure-preserving relation is very good.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950755$0B122F92-18ED-4A86-B5A4-3A00A4D2F1CB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950755$1C3CD57F-2D40-4BA5-A238-FF754017B680","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950755$6CC99B01-176C-47F0-B3F1-622A33545F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950755$3968D86A-C742-4B41-9FB2-ED5D30B13685","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"984f08cc80eebc0e17a880c455d8273444019ab8","datavalue":{"value":"1682605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950755$7EFF573B-9D4B-49F0-8537-77D01DE100FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa905e81fa00306ca48fc278087df3690e9d743","datavalue":{"value":"power algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950755$C0F69A1F-1906-4D47-8018-4705EB1059D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79985c90db1fef54c58fa8d6764e396494bb5b74","datavalue":{"value":"quotient algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950755$80AA9EE2-8B23-4118-BE2F-FCDA4633694D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f916ced1419d2be3d1fbbbbc8b788670e84d0779","datavalue":{"value":"good relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950755$DF2973C8-BB5D-4ED2-AAEB-C53F26920724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916e65085c25f94f51fe09da17adf0ce6c218341","datavalue":{"value":"Hoare relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950755$C372126E-FE4C-4AF8-8600-DE970ED01793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e01e93a51a957e14cf27394694a7c65f47f9a9a","datavalue":{"value":"Smyth relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950755$2D2433D0-805F-467E-BD6A-45B8F7C903EE","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":"Q5950755$BBCDA27E-79AB-4FD0-B4EE-660BEDD05BDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e67b4e89a4bdaa42f23b3d65c3877592296c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":4924962,"id":"Q4924962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8798471095b287112ccd28c81ef9c032858e302","datavalue":{"value":{"amount":"+0.933355","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":"Q5950755$63DDB090-6816-4485-B87E-F1DB6B035267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc114c716e8bf164c43b464babe2b45f1035c16","datavalue":{"value":{"entity-type":"item","numeric-id":284662,"id":"Q284662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb9892a51c69e44f7bb397200d3e27bc3a805e6","datavalue":{"value":{"amount":"+0.928737","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":"Q5950755$A1E93540-7985-47B3-A6C6-76C7E8314D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664ad5857183452de508c520b0045e557e59735f","datavalue":{"value":{"entity-type":"item","numeric-id":4618484,"id":"Q4618484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5f3b5bb3a41738153ea348ec734ee4d20549bb","datavalue":{"value":{"amount":"+0.923528","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":"Q5950755$36E7A488-6700-404D-9107-26773474CB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322addb370eacc728528d638742dc248c2837010","datavalue":{"value":{"entity-type":"item","numeric-id":1911920,"id":"Q1911920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e8180b97de4cd4c6ba79321391f2d21668f248","datavalue":{"value":{"amount":"+0.9205047","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":"Q5950755$C4411225-0A86-4502-8CDC-CB1D296D7134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba506de5bb2afbdc196ec98e3d556897acbe323","datavalue":{"value":{"entity-type":"item","numeric-id":2717950,"id":"Q2717950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab7c212ebb73bb52ff0dc760eb97464e0a020aa","datavalue":{"value":{"amount":"+0.91695714","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":"Q5950755$176B9C45-777E-4D85-A084-2BD9EF440F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188cdd22b2a18e5962f9e5af658255691e536422","datavalue":{"value":{"entity-type":"item","numeric-id":3781807,"id":"Q3781807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91584843a5ea3cfef7359b5d1058a3df08cd93f4","datavalue":{"value":{"amount":"+0.91634554","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":"Q5950755$09E42EC4-4BD9-4C92-85D5-EA1155299683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e32f60845b6d567f117ac9b14ae7bb6c7b714e","datavalue":{"value":{"entity-type":"item","numeric-id":5798853,"id":"Q5798853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad8669fb4dcabfda1fd5ad258a0c25fe5f097db","datavalue":{"value":{"amount":"+0.9126472","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":"Q5950755$F60312DD-B46C-4A05-8056-8E9BCB5E317F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680a070b3420158340d11b538cbbffd1ac1926a1","datavalue":{"value":{"entity-type":"item","numeric-id":4217055,"id":"Q4217055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefa7ba7e464a0410caaeddb965ab09070c920bc","datavalue":{"value":{"amount":"+0.909882","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":"Q5950755$B58C8774-45B5-430F-B9A4-8BAA2BE6B490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2c23621836b39bbde60d86e385f40af3cda4d4","datavalue":{"value":{"entity-type":"item","numeric-id":1591396,"id":"Q1591396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63da90febb987213033d72689d383584ca0101d","datavalue":{"value":{"amount":"+0.90788186","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":"Q5950755$29AA76BB-2682-476A-A8A0-6F93F8FE887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38a21bcf38db2a651fd9a3580c6fc939c7d1820e","datavalue":{"value":{"entity-type":"item","numeric-id":2361721,"id":"Q2361721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f319d7aea641502fe0f641f89179f4a777ef296","datavalue":{"value":{"amount":"+0.90738595","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":"Q5950755$11982571-7942-4D72-8276-CB3701BE6E87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5950755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5950755"}}}}}