{"entities":{"Q943441":{"pageid":945289,"ns":120,"title":"Item:Q943441","lastrevid":65524149,"modified":"2026-04-12T03:11:29Z","type":"item","id":"Q943441","labels":{"en":{"language":"en","value":"States on sharply dominating effect algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5323366"}},"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":"Q943441$8880A805-231E-4E33-979A-78681946AD50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b94f08aa6fc49063efb07bacbd76f08456817616","datavalue":{"value":{"text":"States on sharply dominating effect algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q943441$C552CCBD-08F7-480C-B96D-89FB5A2DE9F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b20c1266ca1b2ac9845fe1e005ebf344ae5b212e","datavalue":{"value":"1155.81012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943441$487800E2-F888-40E5-82C4-19D10392A4FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6813a7da72e60f616aef2b6d483202d74b2a0528","datavalue":{"value":{"entity-type":"item","numeric-id":202253,"id":"Q202253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$A967F330-052C-4C47-BD33-A387B15A2DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbad58d12c9b39cf414ac625f7cb4d1bb16c512e","datavalue":{"value":{"entity-type":"item","numeric-id":171330,"id":"Q171330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$CA31B574-E66B-4AE5-B2DF-DF55708CE49C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$A835A432-AD8A-4461-BE4B-B527CD2CA36B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c410b8e6c6f16e495cecdeb38de7754dabfa1e","datavalue":{"value":{"time":"+2008-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q943441$6365D39E-400E-47F1-B279-32D575FF48DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"211cfa45353a84c46cb24dc584bf10618cab6bbb","datavalue":{"value":"https://arxiv.org/abs/1610.02160","type":"string"},"datatype":"url"},"type":"statement","id":"Q943441$2E5041E5-2B70-4C34-86CF-C363C3F19648","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"41faadec80f14a0a7670c19947cdf75a5bd784f9","datavalue":{"value":"Sharply dominating effect algebras were introduced by \\textit{S. P. Gudder} in 1998 [see Tatra Mt. Math. Publ. 15, 23--30 (1998; Zbl 0939.03073), Int. J. Theor. Phys. 37, No. 3, 915--923 (1998; Zbl 0932.03072)]. These are effect algebras in which, for every element \\(a\\), there is the smallest sharp element \\(\\hat a\\) with \\(\\hat a \\geq a\\). An effect algebra is said to be archimedean if, for every \\(x \\neq 0\\), only a finite number of multiples \\(nx\\) (i.e., sums \\(x \\oplus x \\oplus \\cdots \\oplus x\\) with \\(n\\) terms) exist in it.  The main theorem: an atomic lattice effect algebra is archimedean and sharply dominating if and only if every of its nonzero elements \\(x\\) admits a basic decomposition, i.e., a decomposition into a sum of a unique sharp element and a unique \\(\\oplus\\)-orthogonal set of unsharp elements each of which is a multiple of atoms. As an application, the state smearing theorem for such effect algebras is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q943441$23657791-CB99-4CBD-9CE9-68C8DB271907","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$30D29F83-8A92-47BA-B7A6-DC9541628284","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943441$31F35D73-42D7-4DE5-B173-15C1C849926C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943441$757FEA87-46E8-43E2-8F0B-08F5C0C1425A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a7c57a22810c1fc3e6e7843b0557275bc4a46fc","datavalue":{"value":"06B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943441$D8D74E3A-2893-46BA-967B-189DF0BCDA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943441$5343BBB0-4EA0-4A37-93CE-A82FFFA8FAA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef2c2ebac2d281206e39a5dfc283aba1bab67f47","datavalue":{"value":"5323366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943441$78236938-C9D5-4A38-BDE7-B98F1FA7794E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29b36a3a1f528adaf55442741f0c733d2cd38a","datavalue":{"value":"effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q943441$D8C6B5B2-FFF8-43BC-B156-82076BA08E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bceb2f5f640b262a5ba8620c2c3ba1abef3a9f4","datavalue":{"value":"sharp element","type":"string"},"datatype":"string"},"type":"statement","id":"Q943441$E78BD884-032A-4E81-BB3D-1218677D5A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9378c8a40c9ac6b165a78d1ef20d67be24a5806","datavalue":{"value":"sharply dominating","type":"string"},"datatype":"string"},"type":"statement","id":"Q943441$3B6E06D4-46BD-49DC-BE0D-63468F3F13D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3e9b5ddda6a1bcdbf4d71d695c5746114fb1d5","datavalue":{"value":"state","type":"string"},"datatype":"string"},"type":"statement","id":"Q943441$18B56D25-4803-44E8-8E38-0CD6D589E0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d3568440804765303b7e834b75148d2c26f7f52","datavalue":{"value":"smearing of states","type":"string"},"datatype":"string"},"type":"statement","id":"Q943441$45248A21-61B7-47B6-BB78-E0AEC5F46029","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":"Q943441$17EFDE9E-A78F-4400-80E0-78DB7B85D1F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af0f367c477671d1be33a04cf53eb27f1571ff67","datavalue":{"value":"W2076236933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943441$0ACF780E-471D-4664-91D0-8127A41EC7C2","rank":"normal"}],"P223":[{"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":"Q943441$9DDC6D20-0C4B-4A4E-8249-392A388FF5DB","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":"Q943441$6378D488-BA6C-492F-A116-CA3AB9FD77AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb69b872e19a8ac93749bcc2bf209bc0bc5d17c4","datavalue":{"value":{"entity-type":"item","numeric-id":5950970,"id":"Q5950970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$0AFD9118-464B-4740-933C-5A80513EE53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd09beb4c183e13f45b1b0fb5385f18de081de6","datavalue":{"value":{"entity-type":"item","numeric-id":2546886,"id":"Q2546886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$91097610-3746-412C-939B-B9A7FC8B04A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b29f0641a6cdf5c56caa0ba8a7b3ca699954418b","datavalue":{"value":{"entity-type":"item","numeric-id":1855317,"id":"Q1855317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$18CBF518-8F95-4419-8667-2800617D5309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc07427372487721d6022d9235bac405b6035f80","datavalue":{"value":{"entity-type":"item","numeric-id":2565805,"id":"Q2565805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$231C27A6-1B10-40B3-9D54-345AD876D19F","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":"Q943441$C6199C07-56D8-4477-85A4-15657118A59F","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":"Q943441$0FF769CD-9A9B-44B7-A166-0E153B2CDC2E","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":"Q943441$A9405B48-CFDB-4690-8994-4855E57D4205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b5c3d349cf5150dba6488dc8fe760c802c53618","datavalue":{"value":{"entity-type":"item","numeric-id":4244870,"id":"Q4244870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$7BA042A8-49ED-4F5C-B7D1-8904CBCC8B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a859484ab755ab7c5d6189c6f68d3719a7f1af4c","datavalue":{"value":{"entity-type":"item","numeric-id":1873677,"id":"Q1873677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$A1A9457D-FCE3-4A07-9406-9061850FC0CF","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":"Q943441$2104BE2C-990A-4C1C-973E-2434BC73C04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7858876024c1e42e7fe9fe89d6d4e3df3fc128","datavalue":{"value":{"entity-type":"item","numeric-id":1580059,"id":"Q1580059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$DAAEE944-81DF-4407-B2D7-3DAEF2B12DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3237cc7e28488debf968ee8f058f1ac788b390e","datavalue":{"value":{"entity-type":"item","numeric-id":1349203,"id":"Q1349203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943441$10548E9F-F2A8-4ED4-ACDA-F25864E6EABE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ba5832abcb31d69bb52d7847ca53918c565652d","datavalue":{"value":"10.1007/S11425-007-0163-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943441$A8ADC98D-A171-4A7B-9D2F-80B19CC07BC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3eb715b4b7f64c10ba6e5458b9e10aa975c73e9","datavalue":{"value":{"entity-type":"item","numeric-id":422446,"id":"Q422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1b0a73672287ec8145b206b167237ea442bf96","datavalue":{"value":{"amount":"+0.868440568447113","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":"Q943441$4CD00185-B85A-451C-BBFD-1AE1DED17361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835e3732e049c43e3413b8d62879d45e52665524","datavalue":{"value":{"entity-type":"item","numeric-id":539530,"id":"Q539530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec867fa6c0b3b405c24d79fffa32539c0afc87c","datavalue":{"value":{"amount":"+0.8647703528404236","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":"Q943441$5F75D1A7-617C-47A9-AF6F-E063B59AD5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4c0561932c6e83778ac5e1ac1de75003bfd965","datavalue":{"value":{"entity-type":"item","numeric-id":1855317,"id":"Q1855317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e763eaa9999bc26ce00ceeb72be6073f20465d9","datavalue":{"value":{"amount":"+0.8375451564788818","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":"Q943441$9B2DF5E7-3EEA-43C3-AE6C-F7C2491AABB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1149074a35922e3a05d32a5f2171eef97f84d3d","datavalue":{"value":{"entity-type":"item","numeric-id":3103972,"id":"Q3103972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4966d7c309db0d5f6c04c27ffb5898c9c448df","datavalue":{"value":{"amount":"+0.8220725059509277","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":"Q943441$FADFA672-139D-4A4F-AFA8-372FB9A68770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6dfeb3b9aae894edc7ae089cf193006e6bfc0a","datavalue":{"value":{"entity-type":"item","numeric-id":4955611,"id":"Q4955611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf83c720b9c5d6046da39a4107a047bac48973b","datavalue":{"value":{"amount":"+0.820778489112854","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":"Q943441$2202A7A8-BF28-4088-8F5A-D7FFEA4AE119","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"States on sharply dominating effect algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/States_on_sharply_dominating_effect_algebras"}}}}}