{"entities":{"Q2054647":{"pageid":2065389,"ns":120,"title":"Item:Q2054647","lastrevid":57704805,"modified":"2026-04-01T00:09:44Z","type":"item","id":"Q2054647","labels":{"en":{"language":"en","value":"Properties of implication in effect algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438359"}},"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":"Q2054647$5DBEDB7E-5292-4517-B90D-DE4D91380F86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0afb0f328160359715ff94862e25fa776bb25310","datavalue":{"value":{"text":"Properties of implication in effect algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2054647$416CD9A5-46E1-4E65-AD6E-8B4DA8BC8062","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8208b58d5bf68d67796f6ce3b0904dfd10ebd79d","datavalue":{"value":"1487.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054647$7FF55012-7112-4F8A-8D42-5C85EA213B33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054647$32BF04EF-4FB7-4010-B061-96228FBB514A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7162e547d241b1c8d9309bd3535cff7ea502835","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054647$64133A38-138A-4FB0-8B39-592731505331","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9654dda326c7625386dfa5d02ed88aa11952965c","datavalue":{"value":{"entity-type":"item","numeric-id":2054591,"id":"Q2054591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054647$F3578AA8-7950-4080-9A2D-AC9D7785FC9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2054647$A47CE09D-53EE-415A-B5BC-E0F285BA1602","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f7b91e695106b0ba05d24ec10082a78172e82bf","datavalue":{"value":"https://arxiv.org/abs/1908.05315","type":"string"},"datatype":"url"},"type":"statement","id":"Q2054647$853561A3-D89B-4AA6-93F2-A4D7E8218137","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"87057caa6f18673a8dfcb67b29d1b56dee645807","datavalue":{"value":"The authors introduce and study the implication (in a wider sence) in effect algebras given for subsets \\(A,B\\) by \\(A \\to B = A' + L(A,B)\\) where \\(L(A,B)\\) is the set of lower bounds of \\(A \\cup B\\). They show that this implication is connected with conjuction using an unsharp residuation in the corresponding strict unsharp residuated poset. Also, they study the modus ponens rule and the contraposition law for this implication.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054647$D887C4ED-1AC7-4790-B377-00A0175EBC82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054647$34A6C75D-36A1-4642-8DB4-E3EFD9B1D4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054647$9C48FF75-3D39-4339-82FD-BBCCF7C84F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054647$18107E45-D5FA-42AC-9ABB-E6C6184EB451","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6de9b4b42fd5c9828ad6402de85edb814672ff89","datavalue":{"value":"7438359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054647$0B98400B-7D24-41C2-BC23-65476657A9D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29b36a3a1f528adaf55442741f0c733d2cd38a","datavalue":{"value":"effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054647$FB3BCC33-B5C6-4254-922E-9B5D7045DCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054647$CE421141-3A95-4EB7-9182-51AB66E78D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc8262468cefe177f8c57c5fd6494e4b5ad6c85c","datavalue":{"value":"strict unsharp residuated poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054647$AD155675-131C-42C6-B9C0-98FBB2D662FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054647$3597B6A8-87EA-4B85-916B-3DA288B6B874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q2054647$BA06E967-67A7-4BF8-A821-CA66548F1573","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1b5c948b869a2147da37e901550cf23840e0a684","datavalue":{"value":{"entity-type":"item","numeric-id":429935,"id":"Q429935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054647$AF4B9E0A-32C3-4EE7-A04F-6F13FEB0B56B","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":"Q2054647$C97E5480-BD1F-46AE-9FD2-D9B8D8EDD333","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc4d1b4e608cf1bc84f59d0ed0f9b9157543964b","datavalue":{"value":"W3177353844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054647$6FCF73EC-1554-41A9-8449-CDBA9C8F61DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"082d5efb188f8f54f381358a991ecd7ba80c32fa","datavalue":{"value":{"entity-type":"item","numeric-id":422485,"id":"Q422485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054647$9B6A33F6-7956-4EF1-93A3-08223B6A6B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7220d592ca961d2277fd27354987f0d7aa7a5730","datavalue":{"value":{"entity-type":"item","numeric-id":5142355,"id":"Q5142355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054647$43E11F77-BB21-4694-A265-99CCCA7602F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f125cffc19f383223e5b1519fa0af0c03efc5bc","datavalue":{"value":{"entity-type":"item","numeric-id":2035280,"id":"Q2035280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054647$BC93BEF4-9C8B-41D3-86C5-D7CD1D20110E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054647$87E3D54E-6CBE-440B-BB84-2E625EF1DA63","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":"Q2054647$EF705FBC-6290-48D5-BE4D-F1EA193F5217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d86eb814ba98e5ffd73174737d9fe0e44580f3","datavalue":{"value":{"entity-type":"item","numeric-id":5938301,"id":"Q5938301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2054647$87767A99-A262-4055-8293-360AE1D3D2A5","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":"Q2054647$6C0FFA63-8797-4261-87F1-49CA23140F04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a62f9022f86255523e6969d61623ae7860be89ec","datavalue":{"value":"10.1515/MS-2021-0001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2054647$7D924C34-0868-4DCA-B5E9-6A9E54B89B01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2777575d021afed11f76cfba52a0a20541e93ae7","datavalue":{"value":{"entity-type":"item","numeric-id":5863852,"id":"Q5863852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dedd0e91e78f0340a8e7fff4fcaa25e98ec8c3a","datavalue":{"value":{"amount":"+0.8312142491340637","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":"Q2054647$06CC60BD-BC94-4DB9-9AC6-D7E96BBBD076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a4d9a6c5cf07c43f17c5a4f4004fbbf322e04b","datavalue":{"value":{"entity-type":"item","numeric-id":2156555,"id":"Q2156555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876a1e63c17c9f5d9ef667a551ec206640e733cf","datavalue":{"value":{"amount":"+0.8186321258544922","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":"Q2054647$334752FF-1F12-41B9-BFB8-9294D17980D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a9cfe869a4e470f5752761a1f9f6cbd84bb0dc","datavalue":{"value":{"entity-type":"item","numeric-id":781950,"id":"Q781950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b542ea698b1c6499075b716e2c3b7b9b936e00f0","datavalue":{"value":{"amount":"+0.8035334348678589","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":"Q2054647$E032B09D-3979-461A-96A9-15D98D8F6BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d797d35d0f0ffcce1d42249bc4291f0eb8d86c05","datavalue":{"value":{"entity-type":"item","numeric-id":2035406,"id":"Q2035406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992fd8c5d80052504de56fd1631b7ca01b4d0e5a","datavalue":{"value":{"amount":"+0.7908399701118469","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":"Q2054647$939A16FD-FC59-4898-846B-92FFE0A82742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe9ce8b61636dc3449d9463978765fe1c81fc94","datavalue":{"value":{"entity-type":"item","numeric-id":4985506,"id":"Q4985506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977c7f664c31c2aa5a60533f048ee598176aa277","datavalue":{"value":{"amount":"+0.7834821939468384","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":"Q2054647$DC485FC9-0A9D-4E37-B0B3-96160B5C86F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2054647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2054647"}}}}}