{"entities":{"Q2376919":{"pageid":2387662,"ns":120,"title":"Item:Q2376919","lastrevid":78870239,"modified":"2026-05-06T12:37:36Z","type":"item","id":"Q2376919","labels":{"en":{"language":"en","value":"Musings about the triple representation theorem for effect algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6181438"}},"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":"Q2376919$78FF3CD7-458B-4838-A8A1-DA801B28C21C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20bb15bbbe9c9e4e4dc6f047d9a34c7581937962","datavalue":{"value":{"text":"Musings about the triple representation theorem for effect algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2376919$0EA208BC-B568-40C8-865E-1B80660B17E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4b52f1c38431c83d0013cf684f3a578f76275a1","datavalue":{"value":"1282.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376919$42D9DF6A-2BF3-4220-8533-A6BF142ED968","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":"Q2376919$F9E11701-AD86-43D1-8955-377336D975C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"caf11d2ed554a2f7419af546d7ea392fb8619051","datavalue":{"value":{"entity-type":"item","numeric-id":172086,"id":"Q172086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$8C9BCE47-C0B3-4887-99A4-349FB8C9F950","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$86F181A3-7F9B-499D-96C6-694B46B9EA83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e67818e5660eb5b02d2b35370b17cb77659a2c2b","datavalue":{"value":{"time":"+2013-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2376919$4D266732-E74E-4D31-B882-4077AEA77E6A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44c555ae3f79563c4348299fbc65e3b5d3ea20b2","datavalue":{"value":"The main contribution of the paper is an extension of the class of effect algebras satisfying the so-called Triple Representation Theorem, originally stated for complete lattice effect algebras in [\\textit{G. Jen\u010da}, ibid. 27, No. 1, 41--61 (2010; Zbl 1193.03084)]. An element \\(x\\) of an effect algebra is called \\textit{sharp} if \\(x\\land x'=0\\) and \\(x\\) is called \\textit{meager} if there is no sharp element \\(v\\) such that \\(0<v\\leq x\\). The Triple Representation Theorem says that (some) effect algebras are uniquely determined by the following three items:{\\parindent=0.6cm\\begin{itemize}\\item[(i)] the sub-effect algebra of all sharp elements,\\item[(ii)] the generalized effect algebra of all meager elements,\\item[(iii)] the ordering between meager and sharp elements, i.e., the information which meager elements are dominated by which sharp elements.  \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376919$45752A18-2A42-49B8-9129-26F411F53095","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":"Q2376919$DAD729FD-23C3-4FD3-931E-4004E596A17A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376919$42C4FDC6-74AB-4539-B9F7-B4674CBACE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376919$703A7092-0680-4E60-ADE3-5636BD49F073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376919$1F0B3299-492E-4258-894A-4DCE3BDE2028","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c571ba68ecd833f57ffdf28de8ac8ae0503fe0c","datavalue":{"value":"6181438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376919$8A64DB03-6058-4F23-B23E-DFD943BCA723","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9017e4d06b88688009a5dfb48dedb1e59ef3812","datavalue":{"value":"homogeneous effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376919$B597CBFD-E60C-4F1B-9108-629D9D97F545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7bc71d01cfd4c0caca2e9cb28471b974022983a","datavalue":{"value":"generalized effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376919$E77EB6E3-B438-41B8-8754-8B7F6300122E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c30dc705cfd69128e0f1fc604e74eae4b0d19e7a","datavalue":{"value":"Jen\u010da decomposition property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376919$C04735AA-677E-47C6-A99E-D84CB138224E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ef04c8ef6a3bbf0d09184d96c7445c95430f88a","datavalue":{"value":"JDP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376919$9566C1B8-CDBA-4A1A-897C-2245E97FE0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a5bfdf3291c27987fbc2364b3e6ee5dd4a68e8","datavalue":{"value":"orthocomplete effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376919$A1381EEF-3B78-4531-9877-6468DFCE1C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10a33c1be54b772de26d54a37f60791c9991f9da","datavalue":{"value":"meager-orthocomplete effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376919$2BF6F4C5-B2DD-4D32-86C1-CAEAAF4D1628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a4df6c0d534868edb74642b7cf0741b77a75c4","datavalue":{"value":"lattice effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376919$6165D7E5-CA47-4430-B927-B09FBD5DF8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee0e3752c7c70901b503bbfefbaafbe4767d748","datavalue":{"value":"atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376919$D7067F22-2D5F-48C5-BBCE-C781D3B317C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bceb2f5f640b262a5ba8620c2c3ba1abef3a9f4","datavalue":{"value":"sharp element","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376919$AF9C82B5-CDD6-449B-AE33-4AD547F25424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"641c6196d9ec4e239af65cda9fd51f271a3ce917","datavalue":{"value":"meager element","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376919$875696D6-8AA9-464C-BF34-FC92A471412D","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":"Q2376919$BD44ECD6-4D1F-4563-A7FA-E70DBD3562FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa58d329b2b9ff7f6ce9f26260d8ef6afbbd22ae","datavalue":{"value":"https://doi.org/10.1007/s11083-012-9259-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2376919$2EDAFAA3-9395-411D-8562-9F7E86534189","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee71df071cda05db298a2fd462874d070c172549","datavalue":{"value":"W2115374782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376919$0140BB9D-732B-43B3-87BE-3346A918AA87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc0cf90ec5aa0286608b3a6533cb0be71f98863","datavalue":{"value":{"entity-type":"item","numeric-id":1388203,"id":"Q1388203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$C4C26222-DB5E-4BE8-8130-D4AE62EE2434","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":"Q2376919$A58B60BA-149F-4511-B496-654503674DE1","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":"Q2376919$B900316B-928D-480E-9B52-AF564DC73CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a418e21765cbdf2173360640a6f2610bffb331","datavalue":{"value":{"entity-type":"item","numeric-id":4955611,"id":"Q4955611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$20E98242-E2AF-422C-8DDE-7CB0FF65467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ae0bfc80f96da7eb6ae52594b015f129a697ee","datavalue":{"value":{"entity-type":"item","numeric-id":1303387,"id":"Q1303387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$A0D74698-26B0-4CDF-889E-95894C0461FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d18aaef1422cf0e60f50db7abd74d9df2eaa38","datavalue":{"value":{"entity-type":"item","numeric-id":2748269,"id":"Q2748269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$1ADDBDBF-B9EF-4F09-BD52-E8708B1B7364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b2eda723a5bf09e292fa6d712831f1dfe9b579","datavalue":{"value":{"entity-type":"item","numeric-id":2270172,"id":"Q2270172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$10B10F2F-9379-4184-B6AA-BAED46FA99BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794c25111b64c80006a1775d63b7bd743845a227","datavalue":{"value":{"entity-type":"item","numeric-id":1907574,"id":"Q1907574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$93A49895-39B1-4B1A-B074-5F20E49E2BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f2784cb40e82f989bfdb14201f65aa7a9398ed","datavalue":{"value":{"entity-type":"item","numeric-id":1933766,"id":"Q1933766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$FCB7F9AE-E7DB-4F12-8EDB-F8ADFAF6EC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191da66960063c1b0323519b82ae280b9dc74047","datavalue":{"value":{"entity-type":"item","numeric-id":1935012,"id":"Q1935012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$B0FB51BA-6C3F-49F6-BD33-5DA0E27EE341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df373c8956a00bae77d01479c962659d0872b41","datavalue":{"value":{"entity-type":"item","numeric-id":691794,"id":"Q691794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$7E59D412-DA27-4D95-9F9A-7A0D985BBFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81d3df7b08ee2e979e1c147360780f2c6295d6c","datavalue":{"value":{"entity-type":"item","numeric-id":5504916,"id":"Q5504916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376919$E7D9A915-EADA-46A8-A1DE-4BDF38C95C37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"315ee65464d589f28ddaa9666ba74175a7d8e97e","datavalue":{"value":"10.1007/S11083-012-9259-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376919$E42794E0-3F7A-47F9-97CE-CB80871E74CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2876cc4321c9920ff5a0bff477f9cd2c9252f5f1","datavalue":{"value":{"entity-type":"item","numeric-id":1935012,"id":"Q1935012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f5ba6c40169cc98f1d8e47a7b0663ebbfbf6bf","datavalue":{"value":{"amount":"+0.891454815864563","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":"Q2376919$E1EFAAC6-36EA-4814-B771-A7465785A39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4414f905e8a776729969f50e4b84ff14ee8c77","datavalue":{"value":{"entity-type":"item","numeric-id":5017875,"id":"Q5017875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d05938dcf719df9e62bc6e1e7c9bf0b8766b03e","datavalue":{"value":{"amount":"+0.8767491579055786","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":"Q2376919$B62BFA77-CC74-4A77-B68A-708EC01A8248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37a7477a624b3184e14882ab2cd23812692f5f4","datavalue":{"value":{"entity-type":"item","numeric-id":1933766,"id":"Q1933766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"374d07b111bff131bd93c498b2965258f0d9efd1","datavalue":{"value":{"amount":"+0.8166007399559021","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":"Q2376919$91B97F31-24A9-4099-8B65-C437D8C41C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21466fbb8b20031a33f02ad7e17f80ff74fcdcff","datavalue":{"value":{"entity-type":"item","numeric-id":3450537,"id":"Q3450537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8ac5fd3d931c6b63ed193a2cf258f25213ceb9","datavalue":{"value":{"amount":"+0.8159916996955872","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":"Q2376919$E89FE3DC-4387-4B59-8CFC-1BC2DEBA9664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfa3ea3351b1d7d0f8e39f4b97ff1621d41eafe","datavalue":{"value":{"entity-type":"item","numeric-id":2976172,"id":"Q2976172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ee54e0740b704522d70e4c8b6ebc00b1e2a152","datavalue":{"value":{"amount":"+0.804613471031189","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":"Q2376919$1EE427AF-D464-4D84-8E63-7A3BF8977FF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Musings about the triple representation theorem for effect algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Musings_about_the_triple_representation_theorem_for_effect_algebras"}}}}}