{"entities":{"Q616812":{"pageid":618588,"ns":120,"title":"Item:Q616812","lastrevid":63204699,"modified":"2026-04-11T11:18:20Z","type":"item","id":"Q616812","labels":{"en":{"language":"en","value":"Which o-commutative basic algebras are effect algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835425"}},"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":"Q616812$266526A8-E7D1-4CA6-AEA3-556333BEAB98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78e3e3edcd5948a6e87e48e79cd83e596558849f","datavalue":{"value":{"text":"Which o-commutative basic algebras are effect algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q616812$3748042C-E9B7-474F-9A36-B40405552FB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c04ad831240a804ed31860f908375fed3457ca9d","datavalue":{"value":"1214.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616812$A71BCFEA-2A2C-4FDB-AB84-2B1C07205FE2","rank":"normal"}],"P16":[{"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":"Q616812$BF2EE4CE-BF8B-4837-9CA5-6B6016402C99","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":"Q616812$E8BC7D23-5D8A-4FE6-BE98-A10C6C677D3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"116fa09142602a6e0facf41839050cbb16a96129","datavalue":{"value":{"time":"+2011-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q616812$65276D3D-B16D-4680-AB90-5298D22E551A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"480063e5eb6d3def00297dab1752e9b2da7be852","datavalue":{"value":"Lattice effect algebras naturally give rise to De~Morgan algebras. However, the orthosum \\(\\oplus\\) cannot be derived from the corresponding De~Morgan algebra. This is the motivation for the so-called basic algebras, introduced by \\textit{I. Chajda, R. Hala\u0161} and \\textit{J. K\u00fchr} [``Many-valued quantum algebras'', Algebra Univers. 60, No.~1, 63--90 (2009; Zbl 1219.06013)]. These are De~Morgan algebras with antitone involutions (relative complements) in each interval with upper bound~\\(1\\). They can be equivalently described using an implication.  Here, the author proves that atomic Archimedean basic algebras correspond to lattice effect algebras, resp.\\ MV-algebras, iff they are o-commutative, resp.\\ commutative, where o-commutativity means that the partial operation \\(\\oplus\\) is commutative. This extends the results obtained for finite basic algebras by \\textit{M. Botur} and \\textit{R. Hala\u0161} [``Finite commutative basic algebras are MV-effect algebras'', J. Mult.-Val. Log. Soft Comput. 14, No.~1--2, 69--80 (2008; Zbl 1236.06007)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q616812$EC134651-50C6-4552-A5F1-B24A8DD9126E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c1771e005411da055f2f077fba1fbaee60629118","datavalue":{"value":{"entity-type":"item","numeric-id":170594,"id":"Q170594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616812$F5487791-B069-43DB-BF5A-622CF3B76A67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616812$4857A5B1-3A26-4935-ABB5-80EA674C9EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616812$997B47ED-A4E5-4C40-A0ED-EB20FF6CBC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616812$4AFA15B1-6BA9-4633-86C1-BC84FA10C37B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9b61ca92cafc6b39e50acd9f49946fee26e6664","datavalue":{"value":"5835425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616812$4081683B-13B2-4FAC-A021-2613D625A9A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5445c86e1d75e8472144daa8d957eac38d9d4d68","datavalue":{"value":"commutative basic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q616812$465D10CC-FAB3-47FC-B538-AE5692F982D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a4df6c0d534868edb74642b7cf0741b77a75c4","datavalue":{"value":"lattice effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q616812$92FCD0AC-AFE1-48BC-8FB1-9647D9B4304A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q616812$522586C1-8352-443B-904A-30FEE0B5BC9E","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":"Q616812$EC9DD5CA-CDFD-419E-965A-82E74045FF11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"facef26471f0a1a3cee41ca58dddafcb6f830f25","datavalue":{"value":"https://doi.org/10.1007/s10773-009-0221-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q616812$7F4C898C-A1FC-4368-A50C-45F1DED03D4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50f28fc360a0182bda035d32e23752f7ec851b5d","datavalue":{"value":"W1964707968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616812$4D02D8F6-9CD8-47DB-89EA-DFCFD40F1FB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6195faef41fec9a94dc0828d7f71e97a98341f9","datavalue":{"value":{"entity-type":"item","numeric-id":3161445,"id":"Q3161445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616812$39B303C4-4AC4-4DB0-9509-1F6304E66BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11d499c233c13b0449fd4ffe4e44105d22a721d","datavalue":{"value":{"entity-type":"item","numeric-id":2464641,"id":"Q2464641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616812$51ED2193-1006-40C5-B2C0-B494D20AE1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a705aa91097f7bf29848c478af91e964c5f51fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5389213,"id":"Q5389213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616812$623FB82C-2C30-4D75-A1C8-5B16956E7170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8977844c219298ab5859fcb51d92fd10e67725ee","datavalue":{"value":{"entity-type":"item","numeric-id":1013985,"id":"Q1013985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616812$EFEC1EA0-32F7-4CF3-B1DF-3F1B8EF4CEE2","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":"Q616812$EEF8A133-4A50-4245-B235-0DDA7D0375A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e201da94cfd0398227782cf6dd631186efd358f","datavalue":{"value":{"entity-type":"item","numeric-id":2762622,"id":"Q2762622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616812$438F56C6-D35D-4FA9-A599-7F8206305D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8a6414565de4b925309387d853c97cd4c176f","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616812$0FCB3502-EC06-4F1D-965B-FE23953A78FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a623dd804653a457a8bea0240a5c11f2ae0bf89f","datavalue":{"value":{"entity-type":"item","numeric-id":4281887,"id":"Q4281887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616812$18DE9572-E40E-4BD8-AEC7-AC1A7C5812B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108677e25a88737df16da56726da610c043a7b08","datavalue":{"value":{"entity-type":"item","numeric-id":4521151,"id":"Q4521151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616812$2F418645-1234-44B7-90EA-8232C10505F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ce24ef3466f79fc2821cc2d4e8a9e7af32ba91f","datavalue":{"value":"10.1007/S10773-009-0221-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616812$7CFA4767-69FF-4334-A6DE-AFEB71A508C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259f4302688859aec4aa0aca7a1dd35905d9b817","datavalue":{"value":{"entity-type":"item","numeric-id":5389213,"id":"Q5389213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e5358d70bac8ce07b2e738b6fd55557a9d7a0b","datavalue":{"value":{"amount":"+0.8518044352531433","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":"Q616812$CF860C44-A8A6-4FC9-B5BD-0144C0C46D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e5ef260064a1ddca5373627acf52aa2852965c","datavalue":{"value":{"entity-type":"item","numeric-id":3557902,"id":"Q3557902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbcfa00f42961a81c84c01534aea73093aa7bdb8","datavalue":{"value":{"amount":"+0.832423985004425","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":"Q616812$28D98DE8-ABEB-46C0-8DD2-68ABCCF2C278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b897a183294ea67cacef8e7940b4dddfe7f50838","datavalue":{"value":{"entity-type":"item","numeric-id":2464641,"id":"Q2464641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5621532fb5dc7ceca3cc239a8a4e3e84312fc51e","datavalue":{"value":{"amount":"+0.8215193748474121","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":"Q616812$3AE2C419-8DEE-4E45-AC64-5C49F4664CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7968fc56450dc9b8e5843b7fc6da0473e8a3be69","datavalue":{"value":{"entity-type":"item","numeric-id":3588866,"id":"Q3588866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1126a4e2dc5b66033d95268bb143fe056ea93dae","datavalue":{"value":{"amount":"+0.8057587742805481","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":"Q616812$71FA9B14-8DE4-468E-8F93-036D3310A5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606552f92d1ea03671d7533f8299f51f89bcf809","datavalue":{"value":{"entity-type":"item","numeric-id":2837208,"id":"Q2837208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a1c03d4ad3774b927a79a17f11538f259b30c3","datavalue":{"value":{"amount":"+0.8053447008132935","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":"Q616812$1DF9C9EF-1B3B-4F03-B65E-2D85F9C3601E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Which o-commutative basic algebras are effect algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Which_o-commutative_basic_algebras_are_effect_algebras"}}}}}