{"entities":{"Q2310439":{"pageid":2321182,"ns":120,"title":"Item:Q2310439","lastrevid":57840285,"modified":"2026-04-02T18:26:14Z","type":"item","id":"Q2310439","labels":{"en":{"language":"en","value":"On the structure of \\(C\\)-algebras through atomicity and \\texttt{if-then-else}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7186402"}},"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":"Q2310439$688BA4C0-AD93-4E7A-BF6D-EBEEED1D2321","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f036f4bc8d47b1e95bace12dce5e45f32e419dd9","datavalue":{"value":{"text":"On the structure of \\(C\\)-algebras through atomicity and \\texttt{if-then-else}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2310439$7B673CF5-60FC-4AFF-978D-3FA9BD363DE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"979e0cd7ca46d6b77f11815ee419139fcb5bf8ad","datavalue":{"value":"1452.03141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310439$1DB9809B-0E35-41B8-BCBE-95C546BBADEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$25B3D9EA-472F-4C85-B5DB-85AD4BD1BDBB","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":"Q2310439$B342E404-3F67-49D4-8547-C6A24F4AB8E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f453ac7acd4a2f23133adfec3cca035076417f0","datavalue":{"value":{"time":"+2020-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2310439$8A6062F9-3131-4710-8BC0-80069170030E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5feafb9fe0547dde7555df730e43c7709e3ce03","datavalue":{"value":"https://arxiv.org/abs/1804.00568","type":"string"},"datatype":"url"},"type":"statement","id":"Q2310439$C1FBB291-23B7-4D1C-9953-A936391F3E90","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0fa3763da6a7370631ba8d7fd28121f5ac8de13","datavalue":{"value":"The three-valued logic proposed by McCarthy models the short-circuit evaluation exhibited by programming languages that evaluate expressions in sequentional order. \\textit{F. Guzm\u00e1n} and \\textit{C. C. Squier} [Algebra Univers. 27, No. 1, 88--110 (1990; Zbl 0701.03035)] gave a complete axiomatization of McCarthy's three-valued logic and called the corresponding algebra the algebra of conditional logic or a \\(C\\)-algebra, in brief. While studying ``if-then-else'' algebras, Manes defined an algebra of disjoint alternatives which is a \\(C\\)-algebra equipped with an oracle of halting problem. In the present paper, the authors present some necessary and some sufficient conditions for atomicity of \\(C\\)-algebras and show that the class of atomic \\(C\\)-algebras coincide with the class of algebras of disjoint alternatives.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2310439$CA48291E-FB2A-480A-9B72-ADFC1A1BF73D","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":"Q2310439$E2534942-12C1-41A5-A6A2-26949CB3F506","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310439$819A8623-F277-469B-8EF3-793856C9BED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310439$E44E094C-AC59-4E0C-9046-E2666FF6EA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bfc49eb62e0d33079720f377ccf814211c24ac","datavalue":{"value":"06E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310439$81A6D3EA-E726-43BB-B401-F58957B37E9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"909bcb8fb1099a520303c2e1874b7868391f5d67","datavalue":{"value":"7186402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310439$E6CBFCEB-EA00-4698-94DD-331AB8BD3D93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd397e473911bb6d37896d870ffec35ba36ea06","datavalue":{"value":"\\(C\\)-algebra, atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2310439$89A089B6-E57C-4396-9C4A-A7A9F5F759E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eddb1a8e95bd5608c67d3b819de24702bbc2f2cc","datavalue":{"value":"annihilator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2310439$BBD7C03A-FE18-418D-A3DE-B53B3678B274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0effbd1ad15e3c0ad2206672e057492399352998","datavalue":{"value":"if-then-else","type":"string"},"datatype":"string"},"type":"statement","id":"Q2310439$D9F724A8-6CE1-4282-A367-949523622C66","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":"Q2310439$381ADD0B-F267-49C8-A923-001E5B37A267","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"224b639e221e8c574c7dea3e9c78bf5a5fa9fac4","datavalue":{"value":"W3015056919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310439$C9D187F2-4FB3-4F92-92F1-BBBC3DD2FE94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8affe9be3e3fad2c422a48fb0de94decb98827","datavalue":{"value":{"entity-type":"item","numeric-id":5275728,"id":"Q5275728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$FB285D99-2EF2-42D0-8B53-C8E3F7A456F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94a5630615c5bfcd88c3388bd81dc58f309f56c","datavalue":{"value":{"entity-type":"item","numeric-id":4868228,"id":"Q4868228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$1B7D570B-D642-4922-BBAC-848E3116C4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca78335e7d64e072ca542079ca2fa130778e237","datavalue":{"value":{"entity-type":"item","numeric-id":4750621,"id":"Q4750621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$6961DD39-DB33-419D-A2D6-7E068F53AE7D","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":"Q2310439$3D67E6E5-D41B-43D3-B3E5-6AC6A1FF5ACD","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":"Q2310439$27F0BCE7-8958-43AD-89FE-A53EC6E2C249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc960d5578d50a62f3f4284fc62698db86743a2","datavalue":{"value":{"entity-type":"item","numeric-id":3533040,"id":"Q3533040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$180B1A7A-26ED-4DC4-AC96-07BDA7FD44E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09041749d2ab5531fddfd279ab58c42a5fde95ff","datavalue":{"value":{"entity-type":"item","numeric-id":913791,"id":"Q913791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$3218EF34-1D2B-4C0B-97B0-E4903E551394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7fe793efac56b49267e28a4907cc8fbc39fa05b","datavalue":{"value":{"entity-type":"item","numeric-id":2258843,"id":"Q2258843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$1BD2F43D-4126-4209-A2A7-2132DB8C78F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$A2909446-9BFA-4887-96B8-79E6760CE8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$3295B557-117A-4A81-80B4-8C83A2991304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f549a7436f3696702f1952515395548235a606f","datavalue":{"value":{"entity-type":"item","numeric-id":690107,"id":"Q690107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$8CA2BE75-C69C-46F9-B80A-5E4F5F99D53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$EC28ABDC-2505-439A-8FCE-2F9465D68038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0833d3744787a3721151977f0969cae4a50c51df","datavalue":{"value":{"entity-type":"item","numeric-id":5269894,"id":"Q5269894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$76A367E0-A8E7-4772-B800-1A5055CA3E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbf8d5d5c4528dd9140cb8e991df491a9549b09","datavalue":{"value":{"entity-type":"item","numeric-id":1646607,"id":"Q1646607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$1FC0B256-7B19-44EE-8533-29EE61A59F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd3e787476f4a6f00f6d6ebccacc65721dfa55f","datavalue":{"value":{"entity-type":"item","numeric-id":1769496,"id":"Q1769496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$B7862B1C-7F1B-4C42-AFAD-25BE67B51E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26454b2999e8dc1cf92665c3d1e40298599bf19","datavalue":{"value":{"entity-type":"item","numeric-id":5747506,"id":"Q5747506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$67D1F857-5B84-4279-80C7-66409CB30BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900f7f9815517b9b7b74f4a59b0768fde3dd5186","datavalue":{"value":{"entity-type":"item","numeric-id":3056440,"id":"Q3056440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$C2E6F6B8-5E83-48B3-B503-55150EC950AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119083ae3999f6e5b2d2c07547c8de4d491a663e","datavalue":{"value":{"entity-type":"item","numeric-id":902393,"id":"Q902393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2310439$67668767-86CB-4E29-8501-048499ACECAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"191a755c91e0f23f81e525fda4cdf5f319a9efce","datavalue":{"value":"10.1007/S00012-020-0648-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2310439$26EFAD09-D7BF-4A32-9F40-1E3A9041E406","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f7c8e94fb796e2ba4b73c2d7b030505e470a6d","datavalue":{"value":{"entity-type":"item","numeric-id":3161413,"id":"Q3161413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff611eaa36af43aa50360fad3a3ff6f880ff8aa5","datavalue":{"value":{"amount":"+0.7360002994537354","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":"Q2310439$028C6040-8494-4155-807E-2EDF6C041331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0acc276656f1edd6140a895d16244ed83b77f5","datavalue":{"value":{"entity-type":"item","numeric-id":1769495,"id":"Q1769495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b0c01704438ae1710e7d9f1813ece858382160","datavalue":{"value":{"amount":"+0.7291225790977478","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":"Q2310439$B4563083-C09A-4640-AB1A-57F6835DE5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2019dc26cc5df85d21bce740f572e8ae8fd48e","datavalue":{"value":{"entity-type":"item","numeric-id":3202690,"id":"Q3202690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819f90d8dc450403c429201aa47ffa31c27e719b","datavalue":{"value":{"amount":"+0.7266614437103271","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":"Q2310439$D92B8D58-A353-4208-AFD2-67F7BF277DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06aefd4e3456fe9ac347aff00e7f91e87322ba2a","datavalue":{"value":{"entity-type":"item","numeric-id":2868579,"id":"Q2868579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a955bb63a8885ddb8612e9a4bd6e3826d3cff283","datavalue":{"value":{"amount":"+0.7176944613456726","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":"Q2310439$545453BD-8408-41D0-B805-4ABF4BE3876E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3be42da1c82e042b8eea993a3fb0f95817481e0","datavalue":{"value":{"entity-type":"item","numeric-id":600383,"id":"Q600383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa10d80f3ebca05e2ebee9d0474466b1a01e5ae9","datavalue":{"value":{"amount":"+0.7154417037963867","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":"Q2310439$493078FF-E524-474F-9154-6AC1178CB4D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2310439","badges":[]}}}}}