{"entities":{"Q1345424":{"pageid":1356163,"ns":120,"title":"Item:Q1345424","lastrevid":68518617,"modified":"2026-04-13T00:14:56Z","type":"item","id":"Q1345424","labels":{"en":{"language":"en","value":"Sums and products of interval algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 729703"}},"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":"Q1345424$CFE4C30E-8077-4427-8B43-9F06D500D160","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"355564d94513586be25a252e5c44c82889bfdb58","datavalue":{"value":{"text":"Sums and products of interval algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1345424$2B6FA415-BB9F-4F38-8613-1F8B5547CC09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9850a18217993459256a53e21d9b85f2bf7bbf80","datavalue":{"value":"0815.06015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345424$E39EDB3E-DCC7-488C-BCE1-DF61718EDB93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e07918301e44b27976de1aacbc1afe1a3a4a955b","datavalue":{"value":"10.1007/BF00675796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345424$104127CF-49A2-4CD1-926C-CC217E4D71CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aed445bd4154cf4662e52eb0b913e4f5c152002","datavalue":{"value":{"entity-type":"item","numeric-id":238865,"id":"Q238865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$10F73730-13F0-4C9D-945B-22838649C8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af12f177e4e951956f06f6dd857d50a4a1128824","datavalue":{"value":{"entity-type":"item","numeric-id":304188,"id":"Q304188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$C822CDF9-144B-437C-B77D-305CDBB1C475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce58540a72dcddf0003830840feef4aa5575e69","datavalue":{"value":{"entity-type":"item","numeric-id":1114923,"id":"Q1114923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$829094C7-8A1C-4808-BD3F-A9F9DD0C66F4","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":"Q1345424$19DECD73-5DB7-45F3-8FB4-E76DCAE01FAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89939404571a8a457f4efe42bf31156c65cd7105","datavalue":{"value":{"time":"+1995-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1345424$0DC5EA71-F39B-4FD3-A633-4B282B45FB80","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0fd049fc32dfa9ce85851d4b1d5e63e1f9958fb0","datavalue":{"value":"An effect algebra is a partial algebra \\((A,0,u,\\oplus)\\) with fixed zero element 0, fixed unit element \\(u\\) and with partial binary operation \\(\\oplus\\) such that   (1) if \\(p\\oplus q\\) is defined then \\(q\\oplus p\\) is defined and \\(p\\oplus q= q\\oplus p\\);   (2) if \\(q\\oplus r\\) and \\(p\\oplus(q\\oplus r)\\) are defined then \\(p\\oplus q\\), \\((p\\oplus q)\\oplus r\\) are defined and   \\(p\\oplus (q\\oplus r)= (p\\oplus q)\\oplus r\\);   (3) for every \\(p\\in A\\) there exists the unique \\(q\\in A\\) such that \\(p\\oplus q\\) is defined and \\(p\\oplus q= u\\).   The basic examples of these algebras are obtained in the following manner. Let \\(G\\) be an additive partially ordered Abelian group. Fix a non-negative element \\(u\\in G\\). Then the interval \\([0, u]\\) is an effect algebra which is called an interval effect algebra. For any interval effect algebra \\([0,u]\\) there exists a universal additive partially ordered Abelian group for which \\([0, u]\\) is an interval effect algebra.   If \\(A\\), \\(B\\) are two effect algebras with units \\(u\\in A\\), \\(v\\in B\\), then \\(A\\times B\\) is an effect algebra with the unit \\((u, v)\\). Moreover, if \\(A\\), \\(B\\) have the same zero and unit elements \\((0, u)\\) then \\(A\\dotplus B= (A\\triangle B)\\cup \\{0, u\\}\\) is again an effect algebra.   It is shown that the class of interval effect algebras is closed under direct products, \\(\\dotplus\\), and tensor products. The authors introduce a new class of interval algebras \\(A\\) which are named \\(\\chi\\)-algebras. They are obtained from partially ordered Abelian groups \\(\\mathbb{Z}^ X\\). The unit of \\(A\\) is equal to the constant map \\(\\chi(x)= 1\\) for all \\(x\\in X\\). It is shown that every \\(\\chi\\)-algebra is an orthoalgebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345424$A829FAAB-78D5-441B-AAFD-1CEA873E0952","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345424$2F9A7300-E682-4CBF-8F75-1A18745868EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345424$D23E3BB8-1B3E-4D74-9168-E4185845FC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0958882498e26a58d6779e723f3659a83802ee09","datavalue":{"value":"20N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345424$11AB16C3-2113-4D7B-BBA8-9703DF087A97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df46b720e104957a5efe2e5241eafeedcd65b8d0","datavalue":{"value":"729703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345424$ABE5A354-F73C-45D7-9501-88D118872EAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f74f63ff94015ab41d2ccfd6959b69b97ebf84","datavalue":{"value":"partial groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345424$4E00C048-8F9B-4E62-9E13-5CABBC66AC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29b36a3a1f528adaf55442741f0c733d2cd38a","datavalue":{"value":"effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345424$2E17F20F-0818-45D5-BEAB-E8B01651CF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27d6708e2a5f1b05e951abbd80d4225bbb218c4a","datavalue":{"value":"partially ordered Abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345424$6974D6A3-D149-47F4-982D-8119BE9BDE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c307a4481ee78a4faf1373837ea9e7f287cbf45","datavalue":{"value":"interval effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345424$2F03231F-AB56-43DB-8AC9-08472E6CF561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a798df2c47963642037fd94d31437ce981f456","datavalue":{"value":"direct products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345424$266E25FF-DF1D-49D0-924E-D82E9D6D1DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3574e4c5e05e36831a4e9f10562ec2417ebcaaa","datavalue":{"value":"tensor products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345424$CD4AD1AE-37BE-4FEB-8DBB-A963CBB2C8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55018dcd5edb6012133438a1a8a2f6498ef226b5","datavalue":{"value":"interval algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345424$02EC564C-C724-4100-A902-492F9B24823D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5324e61a7fb85ece66589369f9781e35898dfa","datavalue":{"value":"orthoalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345424$B5CEECCD-CBBE-432A-A53F-20F946EF4014","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff9c204734da989d3bd60f1269711086ca85ada3","datavalue":{"value":{"entity-type":"item","numeric-id":220946,"id":"Q220946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$C6CA7D3D-EF2B-46CC-A588-10B0AD05A603","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":"Q1345424$B07BE043-1673-4C24-AD98-EE2ACAC58493","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5c35af3571a0a6faec888d2d7d623240f513aa","datavalue":{"value":{"entity-type":"item","numeric-id":3952094,"id":"Q3952094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$664421A3-DF93-44DE-B632-153F2551C833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d8399813b2d4840896c2a2c4c1a881d2aae551","datavalue":{"value":{"entity-type":"item","numeric-id":1318351,"id":"Q1318351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$D65C9127-1D57-4E57-B87B-CAD7CF885C48","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":"Q1345424$74C59A78-99F8-49E3-9083-CE5945EBAB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8426399063b747f6e6f31d06a38536b5fd60b22a","datavalue":{"value":{"entity-type":"item","numeric-id":3222894,"id":"Q3222894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$D558B393-B115-4E11-A23A-F5AD395B9CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1ae5bf53aaaf7bbfd664608a48e017027f86c8","datavalue":{"value":{"entity-type":"item","numeric-id":4888388,"id":"Q4888388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$B6CD6F59-8A08-4F25-879B-F2CE287363D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b0257873b3b6f95517346a3f0faed7e601a81c4","datavalue":{"value":{"entity-type":"item","numeric-id":1823937,"id":"Q1823937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$8F6F975C-2FCF-4C8E-94A9-F3240A4556F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4744f387e0b9448dd0e0658852c9e39f0a2c84e1","datavalue":{"value":{"entity-type":"item","numeric-id":4698785,"id":"Q4698785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$63F35A82-588F-45CC-9F75-2CB4D04C85A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d65d507f3a42811db8fc491a044e661ddd3da1","datavalue":{"value":{"entity-type":"item","numeric-id":1897811,"id":"Q1897811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$37ADDA18-B8F0-47E3-8785-3A62CCB3C3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90576a19a9da1cf7649a639981a12bdf0916d35c","datavalue":{"value":{"entity-type":"item","numeric-id":4848366,"id":"Q4848366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$B1675187-F9F6-4A6D-A656-B00603CFDCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1ec69a062a43b44276fc58b310d7eddc1f0f70","datavalue":{"value":{"entity-type":"item","numeric-id":1200425,"id":"Q1200425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$1C6BA520-CC97-4B81-8D89-2C9CFDDC4632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017e3dee2b86143e4f1da8953347edb87255d9ac","datavalue":{"value":{"entity-type":"item","numeric-id":3748441,"id":"Q3748441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$0CE1CFF0-0019-4C46-8265-C5E52E97920A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5c8beecded8273606aac03730096e3964f207b","datavalue":{"value":{"entity-type":"item","numeric-id":1107896,"id":"Q1107896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$385D4183-716A-45F5-9053-BED6B20871E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4293874795ac709ce4d112763a0625a4794d25","datavalue":{"value":{"entity-type":"item","numeric-id":4750696,"id":"Q4750696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$B80E082E-6A59-4916-926C-967EBDDD8114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa44328404d5f5f0c3cbb5bb1e2771f1cc759ce8","datavalue":{"value":{"entity-type":"item","numeric-id":5427870,"id":"Q5427870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$D1B212AB-91B6-4FF2-9EEA-3DC43E611DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f99f0da2cdfa975b7c4fb87c5284e9477b25300","datavalue":{"value":{"entity-type":"item","numeric-id":4100556,"id":"Q4100556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$2275DC29-7327-43F8-8CA8-EA91A45449F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3853e5379b61ded25a66e95e694eb878452bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1188968,"id":"Q1188968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$E419D4C1-CA7A-49C7-80E3-CE3556998C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5b79b7c1f150573af4126b45b89d830c02235c","datavalue":{"value":{"entity-type":"item","numeric-id":3222843,"id":"Q3222843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$85C97745-5A0E-4B02-A557-201820797538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345424$93FE5BB0-4695-41E7-9C6D-7CE48C2A7E34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3567a390bd721d4dca7a74e56e090a71efaafaa","datavalue":{"value":{"entity-type":"item","numeric-id":1366270,"id":"Q1366270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6bab724d079acb49b653042982eb4b8ecf2343","datavalue":{"value":{"amount":"+0.8562897443771362","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":"Q1345424$868FAA69-B761-4AC2-9B32-EF0A611017FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c50c5a856093d8770ffffbf41094844f1ed16a93","datavalue":{"value":{"entity-type":"item","numeric-id":2365440,"id":"Q2365440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af1e4c3074f5cf29b6224d5c36fbe4e73af0dd6e","datavalue":{"value":{"amount":"+0.8528516292572021","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":"Q1345424$6506E30F-D112-4411-B978-ECAE5ECA2ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c18ac23dd5163a8dd24b0bdf26cc0a6dea975b","datavalue":{"value":{"entity-type":"item","numeric-id":1367615,"id":"Q1367615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e43d7319da823d467a6c0a5a4ecbb1dcf057cec","datavalue":{"value":{"amount":"+0.8256581425666809","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":"Q1345424$9C2AC6DE-1067-4D60-A823-02258300804F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d79607c826f8e405d25428838f652d2ca31135e","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e43d7319da823d467a6c0a5a4ecbb1dcf057cec","datavalue":{"value":{"amount":"+0.8256581425666809","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":"Q1345424$C29BBBE9-8643-4A5F-AC20-39F79A0F016E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f71cbf362d46a36a66c76333a6d703486aeaeb","datavalue":{"value":{"entity-type":"item","numeric-id":1863774,"id":"Q1863774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c64ff538d3ee65a46aac059a3786b0488a00a1a","datavalue":{"value":{"amount":"+0.7929484248161316","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":"Q1345424$96009B32-5FB6-4FE9-B934-BC59A1B59605","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sums and products of interval algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sums_and_products_of_interval_algebras"}}}}}