{"entities":{"Q429952":{"pageid":431719,"ns":120,"title":"Item:Q429952","lastrevid":61774734,"modified":"2026-04-11T01:34:32Z","type":"item","id":"Q429952","labels":{"en":{"language":"en","value":"Note on generalizations of orthocomplete and lattice effect algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6048518"}},"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":"Q429952$B1B16011-35F1-4976-9524-143BD23F8DDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c12f9c2f5bf427816cbcf2d7b002124736bba47a","datavalue":{"value":{"text":"Note on generalizations of orthocomplete and lattice effect algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q429952$E8D4A3D8-00E4-44C2-AB72-786F716E470B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9fc49e743d32632cef60ec63a6c378b45584bb5","datavalue":{"value":"1267.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429952$86D80E3D-16C6-4810-BB44-9944D7247452","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c56f2c38d8e64c700cc4dc394aa50d35f1d4579e","datavalue":{"value":{"entity-type":"item","numeric-id":429935,"id":"Q429935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429952$B596DC04-F8EF-4DAB-9615-817761DFE9AD","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":"Q429952$2700228E-4A5D-412A-A9FB-DD5408C4AACC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f318557c66fd6d7ed4e56cf07066ee7032aec4a0","datavalue":{"value":{"time":"+2012-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q429952$5F8A196D-A025-4398-9040-F7FAE589A8CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2891e872f7cdfbcacf43e21e93255cf84cdd9d41","datavalue":{"value":"http://hdl.handle.net/10467/62403","type":"string"},"datatype":"url"},"type":"statement","id":"Q429952$EAFF0F70-6B50-403B-99A4-2DCD5EA3A7FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7cd571869bf5ce255f75588c6206085f4b5adbe2","datavalue":{"value":"An effect algebra is a partial algebra \\(E=(E;\\oplus,0,1)\\) such that, for all \\(a,b,c \\in E\\), we have (i) \\(\\oplus\\) is commutative and associative, (ii) given \\(a \\in E\\), there is a unique element \\(a'\\in E\\) such that \\(a\\oplus a'=1\\), and (iii) if \\(a\\oplus 1\\) is defined, then \\(a=0\\). An effect algebra is (i) \\textit{Archimedean} if \\(na\\) is defined for \\(a\\neq 0\\) only for finitely many \\(n\\), (ii) \\textit{separable} if every orthogonal system of distinct elements is at most countable. The author defines two conditions concerning upper bounds of chains and majorants of any orthogonal system, respectively, and the main result says, for separable Archimedean effect algebra, both notions are equivalent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q429952$04F3BEB4-A692-4B89-A93C-5EA5605A3159","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22927c3bf27a8e7899b9f81e34ce760065ebdbf6","datavalue":{"value":{"entity-type":"item","numeric-id":191387,"id":"Q191387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429952$3BD46085-3202-4BB4-A5A6-7642C8F8265A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429952$2E9F3485-FE34-42C0-AD1D-DA2B22A0EE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429952$3E06373C-F483-457F-A4F5-2EF24CF1817C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fdb8c5cf31db284a5800b723537ea8a4601a9f1","datavalue":{"value":"6048518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429952$EFF8B603-83D7-4E8F-8DF6-5297729A25E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29b36a3a1f528adaf55442741f0c733d2cd38a","datavalue":{"value":"effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q429952$8B15CBEB-5CD6-4844-86C7-6C72F55620AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25c1d90bca357428c9716ceba85260e115f426c","datavalue":{"value":"orthocomplete","type":"string"},"datatype":"string"},"type":"statement","id":"Q429952$158D5B16-5AFD-4453-B080-AC5667FF451F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083a8d4bcc677332215684f575873b6cb949b214","datavalue":{"value":"separable","type":"string"},"datatype":"string"},"type":"statement","id":"Q429952$FD7F1837-3991-4CB5-8CAC-4E5313378918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de858a237385430f018eb5dc8a9efb0ef0d6455e","datavalue":{"value":"Archimedean","type":"string"},"datatype":"string"},"type":"statement","id":"Q429952$93731391-5CD5-405C-82E2-D03CD72203AE","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":"Q429952$B14B8445-F473-4F3D-A7D8-01C2A5E39DB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea37a81d89a7802c9d723d201c994b5e53ddeea5","datavalue":{"value":"W4237245844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429952$64F91211-B596-4CF8-A22C-38555710931E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf03f1e7713c40815c9060bfeb6bcdfca8f7c190","datavalue":{"value":{"entity-type":"item","numeric-id":5929368,"id":"Q5929368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429952$670D1B9E-843B-4163-8AAC-8C8E7C6CE38E","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":"Q429952$DCB0273F-73A3-401D-9B1A-A3BB6F147888","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":"Q429952$0D6777A7-B5C7-4989-8028-C85A200BD74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9ea9eabb55ad9a968c910e4c841008d1ee8186","datavalue":{"value":{"entity-type":"item","numeric-id":4304603,"id":"Q4304603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429952$3D2E8BD7-C083-4444-A926-16BCFA2BC40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd2406b5b224c3a92c3b452bf1d7826c4ec0c0e","datavalue":{"value":{"entity-type":"item","numeric-id":4244865,"id":"Q4244865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429952$7F8C33BE-2FB2-4561-A80C-BCD16538627E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe2531189164769d107c20e7d5cc7126175d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":1768696,"id":"Q1768696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429952$8A411048-E575-4908-B6BE-1307753315D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b511e79e82e14b827172a3e85449ea132988a8a","datavalue":{"value":{"entity-type":"item","numeric-id":2426170,"id":"Q2426170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429952$564A61F2-C992-4CF0-A0A6-C6B414BADC67","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":"Q429952$F0C99453-6431-478A-BCEA-A85F1820FED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63e896470b2a20cf5bbe197b11215fe1b36ce7c","datavalue":{"value":{"entity-type":"item","numeric-id":1042416,"id":"Q1042416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429952$6DDACD15-540C-4EAB-B95F-6AE66930F114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee7df186667398b379d202c81bb828e41077d6b","datavalue":{"value":{"entity-type":"item","numeric-id":616806,"id":"Q616806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429952$2ABBF484-AC1C-415C-B1C0-0CD5B23F74C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26ed9cd93335c6b26bf6576d90d7f20fd7a3c2fb","datavalue":{"value":"10.1007/S10773-011-0781-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429952$BC7FD0CF-0AE9-4A5E-8A1F-83DA68DBB412","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2704e4aeb4fe0fee66bfb37d16f6d06c39561047","datavalue":{"value":{"entity-type":"item","numeric-id":616806,"id":"Q616806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a0a323c64ebc8e7917d2f423b77aee1499341a","datavalue":{"value":{"amount":"+0.9626379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q429952$086C9A78-527B-4D00-AE10-633680998B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd579871c4dd51b6d9ddc47062ae2c12cdca7ca","datavalue":{"value":{"entity-type":"item","numeric-id":4806413,"id":"Q4806413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ae5ba3921f7c8de6e9b7849b7bcde577e6638e","datavalue":{"value":{"amount":"+0.91573477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q429952$D236B127-12A4-44A3-A698-1BE99F3639A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2d7d7691699b1e22bf8a91b7f8ea6abfcf1e47","datavalue":{"value":{"entity-type":"item","numeric-id":2328957,"id":"Q2328957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65bc25dfa042960c1e912b5b753595008b0513a2","datavalue":{"value":{"amount":"+0.8955506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q429952$80535842-CA01-4DF5-A32D-BD4B1455D3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3270fba0046d45a941e350232e3d83cb3a9aba","datavalue":{"value":{"entity-type":"item","numeric-id":3044251,"id":"Q3044251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f40596fdca758a3c981387b1112ec5930596d00b","datavalue":{"value":{"amount":"+0.89274096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q429952$335C43D6-3991-4963-AA3D-9227BFA4F4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eac91f4652a3eef612b362140ed6694fbb1da76","datavalue":{"value":{"entity-type":"item","numeric-id":4234576,"id":"Q4234576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39fad72ce08f27833d885268b0bb0c7ee1a1e92","datavalue":{"value":{"amount":"+0.8879394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q429952$B94AC272-C46F-4CF3-BA1F-C0E76845DFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd9ee955cb7a3e5fd40434af2a985e83d48fa30","datavalue":{"value":{"entity-type":"item","numeric-id":5302031,"id":"Q5302031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c74fd70b6e2d6e9d53c23af4c9fa193a2a93cf","datavalue":{"value":{"amount":"+0.8858364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q429952$1A46371A-41DF-4AE0-A988-3E8454A3CFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdae50559df5a4fbfe79595e8c0164c79f646875","datavalue":{"value":{"entity-type":"item","numeric-id":2193972,"id":"Q2193972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7ea0a3d76b3e838ceacea67f1204f7cbef4ba8","datavalue":{"value":{"amount":"+0.8847989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q429952$A3BB5CA9-83E4-4FEF-B103-3145ABC017CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3684c53c0563095e1220b9e0796c868fb4b2362f","datavalue":{"value":{"entity-type":"item","numeric-id":4902238,"id":"Q4902238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8668e4b2dca9d1c93b4906deb3491f9b79946ae7","datavalue":{"value":{"amount":"+0.8778107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q429952$A33EA106-9406-4EAD-8971-71D366680E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b24d7ba8cd37f95c2b4a9cddb8f805f02fe533f","datavalue":{"value":{"entity-type":"item","numeric-id":1580059,"id":"Q1580059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7825ebb050eef69b46ca34241e35531091fc7c7a","datavalue":{"value":{"amount":"+0.87694895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q429952$D44E97F3-D3E6-4D9A-94F2-A82C23A635AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c850f6d94ba1ce2bb081ddfdcaf7d8b357e1b4f1","datavalue":{"value":{"entity-type":"item","numeric-id":2496145,"id":"Q2496145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc4ad450eac0a91b59d53225faabeff9be9cf67","datavalue":{"value":{"amount":"+0.8768734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q429952$C10DC7CD-1F36-4E97-BB07-8E48B580E79E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Note on generalizations of orthocomplete and lattice effect algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Note_on_generalizations_of_orthocomplete_and_lattice_effect_algebras"}}}}}