{"entities":{"Q1771957":{"pageid":1782699,"ns":120,"title":"Item:Q1771957","lastrevid":69291336,"modified":"2026-04-13T06:01:34Z","type":"item","id":"Q1771957","labels":{"en":{"language":"en","value":"A Cantor-Bernstein type theorem for effect algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2158817"}},"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":"Q1771957$A261CFAB-AC36-472A-9AA7-9B399141ED86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"785bd348c725c54767314f8d12cf544ba91dbdc0","datavalue":{"value":{"text":"A Cantor-Bernstein type theorem for effect algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1771957$12427583-9397-4BBF-B7BC-610B3BF85F89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26397e8069a280469016d3487347f82f65910a49","datavalue":{"value":"1061.06020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771957$4A4B4B84-469B-4E1D-A5B4-E9F1A51DC826","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2af571558542de51a643cf1fbd6a262a0929bdc3","datavalue":{"value":{"entity-type":"item","numeric-id":682628,"id":"Q682628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771957$607520A3-38FB-4700-BBE2-ED0E36C84B8F","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":"Q1771957$8B353A2A-B754-4117-81FB-A8050DCAFF25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb70300f99f400e55c13fd1158ba931b60602038","datavalue":{"value":{"time":"+2005-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1771957$72083F3D-32AD-4AC9-8F41-0BBD9990FCA7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6d4dd2a83311ae3b806a181728978586beb79444","datavalue":{"value":"Effect algebras were introduced by D. J. Foulis and M. K. Bennet in 1994. An effect algebra is a partial groupoid with two constants \\(0\\) and \\(1\\) such that the partial binary operation \\(\\oplus \\) is associative, commutative, for each \\(a\\) there is a unique \\(a{'}\\) with \\(a \\oplus a{'} = 1\\) and if \\(a \\oplus 1\\) exists then \\(a = 0\\). It is proved that if \\(E_{1}\\) and \\(E_{2}\\) are \\(\\sigma \\)-complete effect algebras such that \\(E_{1}\\) is a direct factor of \\(E_{2}\\) and vice versa, then \\(E_{1},E_{2}\\) are isomorphic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771957$7D0AF540-9F9F-48B6-AAD5-B7E58663AD99","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":"Q1771957$55C8882A-E30D-44D2-896B-47E6C08BB1AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771957$014620F5-7B81-42BC-A768-151BDD4F8D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771957$B790C4EC-2CF5-49B7-A51D-72D1F557C269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771957$C34B3FB3-2797-4BFB-B0C5-AA8AA2DE95FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0cf52ec9effff9d59bb824f17fbe4502dc4d47e","datavalue":{"value":"2158817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771957$7ACD7B34-9F23-4819-9CB5-BB792C82510E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5e98b5784209ef797699b50667737ba0689f9c","datavalue":{"value":"Cantor-Bernstein theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771957$32E8B269-C162-45B4-85F4-C25FB4633D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29b36a3a1f528adaf55442741f0c733d2cd38a","datavalue":{"value":"effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771957$D85EDC20-17A0-414D-A8E5-EDFF88047CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"163830543b7c254be6064ef68897dcea5cf21ff3","datavalue":{"value":"weak congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771957$2AAECB7E-5A2D-4AB8-8DE0-3DB9730F68CC","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":"Q1771957$168792CD-8E3F-4971-B7B7-F012255589C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2448447a9852f14d3b40ca0f959b1df5aa43c60","datavalue":{"value":"https://doi.org/10.1007/s000120200008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1771957$5ABA839F-6CA9-417C-AFC0-36D29EA1F199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f90e331df3c8aaa475db67e4464a5a4f67c94242","datavalue":{"value":"W2311142359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771957$B1B4E7DB-F222-4624-88A0-0B336FB09F24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51c04e812a851520eb28e81cd1634e77e5572131","datavalue":{"value":"10.1007/S000120200008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771957$25CFD68D-18E4-4644-A196-EE479AE4D66A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ff7b66d0319a5012ddee010a903d718b8180ad","datavalue":{"value":{"entity-type":"item","numeric-id":4709361,"id":"Q4709361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ce3beb3f1ba2dc30a70802203b374d5ba89197","datavalue":{"value":{"amount":"+0.7887486815452576","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":"Q1771957$60A9A141-65FD-4FEF-8363-D4A159A0B155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb90711d0d60b12ef26576654329f1201eeb19cc","datavalue":{"value":{"entity-type":"item","numeric-id":2426163,"id":"Q2426163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00db025b918e7a84ee6e316130dfb9d82055478c","datavalue":{"value":{"amount":"+0.7772899866104126","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":"Q1771957$FA90B942-41ED-4DEC-8B6E-EFAEA7F94F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777d845ccf0a9fe58128b75f139defb34bba96f1","datavalue":{"value":{"entity-type":"item","numeric-id":3366657,"id":"Q3366657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454e97454fd0dc31d1b03af50cd293be82cadaed","datavalue":{"value":{"amount":"+0.7766737341880798","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":"Q1771957$07E1361C-A6DE-4EDF-B36D-7601CBFB9C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97cb0794c51d78fa6192cdc7dd9cf07cc8dedd93","datavalue":{"value":{"entity-type":"item","numeric-id":5426000,"id":"Q5426000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7bc2e00705a5bdbbf7b74aaff390c74d0e4605","datavalue":{"value":{"amount":"+0.7609423995018005","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":"Q1771957$7E75716D-8460-4BD3-9F23-3091BB0F2292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff883e22e6ac46e53506cc7ddafeaa4bb9354f4","datavalue":{"value":{"entity-type":"item","numeric-id":1010122,"id":"Q1010122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcca0d3dd15ae9c4db9e3a943749b033a1117273","datavalue":{"value":{"amount":"+0.7596328258514404","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":"Q1771957$B3AB0EA5-2152-42FB-83F2-99D097DAA25A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Cantor-Bernstein type theorem for effect algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Cantor-Bernstein_type_theorem_for_effect_algebras."}}}}}