{"entities":{"Q2239398":{"pageid":2250141,"ns":120,"title":"Item:Q2239398","lastrevid":73612425,"modified":"2026-04-14T16:39:17Z","type":"item","id":"Q2239398","labels":{"en":{"language":"en","value":"A complete axiomatisation for the logic of lattice effect algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7420788"}},"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":"Q2239398$BC08C063-7E00-410D-AB0B-2D6086A3FDA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bdbaa5fdb65d7ee2069b3b3f5a659e49ded61d4","datavalue":{"value":{"text":"A complete axiomatisation for the logic of lattice effect algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2239398$24AAE980-9C7E-4148-A95F-B9965E87E94B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"167a6414fd04085f5a9348a41265652442851df2","datavalue":{"value":{"entity-type":"item","numeric-id":519854,"id":"Q519854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$43DBB613-00F8-4238-AEB3-4583AADDEB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca59d0781f331d50e31de398ba9bc7e76df47c12","datavalue":{"value":{"entity-type":"item","numeric-id":2239397,"id":"Q2239397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$96F884A6-9D9C-46A2-9A44-2F95EA90A609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ff52eae6e9b8af868de9695e27f0fcff9fcaefe","datavalue":{"value":{"entity-type":"item","numeric-id":266638,"id":"Q266638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$83644831-C000-4883-B7D8-CD3CAD31DEBD","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":"Q2239398$EF02400E-226D-49CE-B150-1A06C4368A87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"826633d6c86dd02ba1bbc5970dcf0d2293962af9","datavalue":{"value":{"time":"+2021-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2239398$8D1580FD-308A-4001-A230-2B178188AF58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b480673f7d201d4d83acdb6f039ac352f81071f","datavalue":{"value":"https://arxiv.org/abs/1808.01670","type":"string"},"datatype":"url"},"type":"statement","id":"Q2239398$A577AF33-336F-45D5-8902-97BA23BF4975","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1beff6df43d002c060ee5c11427940bc71c4816c","datavalue":{"value":"03Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239398$2070BCA9-E25B-4670-9EB7-D59EE0A2B79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5561052545ed9330e5a3902633c7d99ac300ab26","datavalue":{"value":"06Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239398$74F4F4C1-CC1F-4366-BB82-CC70B307DDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239398$0A056E16-574F-4724-9743-66F80B5BADF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95dafbfdd067a3065e14099734ce2ef9a901420","datavalue":{"value":"81Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239398$F4A6C05E-BF56-4846-9EBB-F0F0E5431BE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64b5f44974873be0e9e627a2f7af0de6f489287a","datavalue":{"value":"7420788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239398$A5E14B57-6913-4860-9A6E-53675C2D09E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a4df6c0d534868edb74642b7cf0741b77a75c4","datavalue":{"value":"lattice effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239398$9C980B38-0727-4CCE-B4ED-FF24B2EE27C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2fa3a1d16e6299291622f3f2f69ce9bdfc1b647","datavalue":{"value":"weak lattice effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239398$1D70C1CA-DE12-4AA1-9922-0AEA85A52B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a755c0b54592d7e89c5a2d6010635b915543272","datavalue":{"value":"unsharp quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239398$AD0C5D0D-81B6-4563-A819-B5F5A3DDECB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8489054765792b19aca3eddb9a91d7cd8ac021","datavalue":{"value":"Sasaki arrow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239398$387432BE-AFE3-43B8-946C-FB15E7B367F7","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":"Q2239398$A06CA860-72B3-470C-AEE5-B08C47FDC11B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e70c37aa1d9cfc6e5023034114949e0a70c3690","datavalue":{"value":"W2949852764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239398$3B64B00B-2304-47D3-89DF-4AE1AE26ABB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d075ff300187bf4c25e4c4d88e9d5550c981c4fb","datavalue":{"value":{"entity-type":"item","numeric-id":781950,"id":"Q781950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$62CFEEDC-2A40-4C92-A6EB-19B2DB27CB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b9fec05453e32bfd19fc6f5623255486875a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1887210,"id":"Q1887210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$DB2D8D96-EEA8-45F5-A1A9-2C75E896E0E6","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":"Q2239398$AAE09ABF-5A2E-4E7E-A6EA-7247AD892876","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":"Q2239398$9A2D9BFF-21DE-4D63-BD13-57D6BCEFFE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19cedcf34797e5adfca24f9e7cc9a45330d3af51","datavalue":{"value":{"entity-type":"item","numeric-id":1935557,"id":"Q1935557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$7A0D770D-BE21-4EF8-A12B-6BBEA6EECF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae7ea757709d719cf6d6a81f80dbbc8c238aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":1917672,"id":"Q1917672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$AB771505-3E0E-441E-8CA3-93B75BDE06A7","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":"Q2239398$BF540B02-B4EE-4247-A79E-D85C0C262AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47041775dabc6113cdc2391db6ec052da4ccc81b","datavalue":{"value":{"entity-type":"item","numeric-id":5452624,"id":"Q5452624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$E584010F-22B8-48B4-9C0E-E055B2FF4068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28add2802053ff3728c855997fbe44424601ae6","datavalue":{"value":{"entity-type":"item","numeric-id":797108,"id":"Q797108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$87B9887E-B65D-42A0-AE99-2D1DD3025896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52894fe7e468ba96dc2d6c8b007d0496ffd6d66f","datavalue":{"value":{"entity-type":"item","numeric-id":4747069,"id":"Q4747069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$766F4A87-626E-475A-B411-28B59205DA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11391c4b76788143143c6177c8fb981a94949870","datavalue":{"value":{"entity-type":"item","numeric-id":685166,"id":"Q685166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$E28E2E5C-C6B0-4A3F-B480-239E4C251A8B","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":"Q2239398$0AA5BFC0-F669-489C-A3BE-4A3D33212284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d901f74aea94a35ce337992149c97d165c00710","datavalue":{"value":{"entity-type":"item","numeric-id":1010123,"id":"Q1010123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239398$31FAFA74-D0F4-4EC0-8078-B3E8D97E8922","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a4bb36d619447a1625b765a0238fac03fd262610","datavalue":{"value":"Q128007076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239398$BD126C17-3435-4607-BA83-367BD5406D2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b87abfcdafdc56a3fa63bd3a643eb672d2fd943","datavalue":{"value":"10.1007/S10773-019-04074-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239398$7F57D939-241E-49B5-B71A-F0FE4FB9804B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447578d6e327f6e0d0b571590fb4adaae0c182df","datavalue":{"value":{"entity-type":"item","numeric-id":2448299,"id":"Q2448299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398c0e8217f1456bf0865fe1cc7fc4715261b564","datavalue":{"value":{"amount":"+0.92277145","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":"Q2239398$CC9E5B38-6C85-4A40-85E7-C1C5644D1A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe0c47c60bb059f7d775ba0045530c8290110a0","datavalue":{"value":{"entity-type":"item","numeric-id":1935557,"id":"Q1935557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1a47c8beb82b71d6b10e783d05807e8e27f23d","datavalue":{"value":{"amount":"+0.9166814","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":"Q2239398$642174C5-2373-4C45-BF74-891680BD7377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e216446696381c21646d1b69d793358bd9d8e22","datavalue":{"value":{"entity-type":"item","numeric-id":5144353,"id":"Q5144353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd73789f7389fed6c1c27e48d67e317eb0bb061f","datavalue":{"value":{"amount":"+0.91288984","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":"Q2239398$805EFD9F-5425-4EE9-851C-DB9D8C449D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3fca69b6d6bd0eb65ee35ef665bb103f6f0811","datavalue":{"value":{"entity-type":"item","numeric-id":3370766,"id":"Q3370766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eab97850ed280dabc78da3f1eda21f64e31bba5","datavalue":{"value":{"amount":"+0.9103544","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":"Q2239398$A7671A03-BE87-4E50-844D-3F5021D6B617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f02057b5dd636dd9f93d146154c1da7a012224","datavalue":{"value":{"entity-type":"item","numeric-id":3148081,"id":"Q3148081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63a9c966043e1f4a36abebd5cf312075f5f6183","datavalue":{"value":{"amount":"+0.9012369","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":"Q2239398$CCCF6F0E-3031-4C91-9A81-E5AF64AF3084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679b640d9d578f5a96270192bf6a76a287fe5228","datavalue":{"value":{"entity-type":"item","numeric-id":4693586,"id":"Q4693586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4549ecf2719f97c17b8d3c74086c6535a0b8b5","datavalue":{"value":{"amount":"+0.8996386","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":"Q2239398$42177D25-D745-4469-8EB6-5372ABD0F8FC","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":"2eb7d63ef08c14be5ad671e9b687333e6a289615","datavalue":{"value":{"amount":"+0.8994974","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":"Q2239398$0D3A1D8E-6F58-4862-9670-B98F622A671B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f37598a78e11556d622c1b7f0138a8e2c21c2c7","datavalue":{"value":{"entity-type":"item","numeric-id":2289090,"id":"Q2289090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f8c7e8584beb85b8e738d1572d29eec3cdf2a1","datavalue":{"value":{"amount":"+0.895815","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":"Q2239398$A913FEA0-A74E-422C-97DD-A01AAA706BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1072f7bfb8d23b4ff5308112b04dab3b074e4ada","datavalue":{"value":{"entity-type":"item","numeric-id":2505963,"id":"Q2505963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af3d8368f9d54fc5d103a1c61d862cf38d9e38f","datavalue":{"value":{"amount":"+0.8956914","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":"Q2239398$46AA4C16-6514-44EC-BBE8-1BA75B3CC543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714fe8863cda7fcdf0dd8d060f61d42c28e0ebf3","datavalue":{"value":{"entity-type":"item","numeric-id":4704397,"id":"Q4704397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004bd3ad2bf368b62acc4957060b233addc388fb","datavalue":{"value":{"amount":"+0.8952471","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":"Q2239398$604F9EAD-403A-4AB7-8EEF-E546C6F84EA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete axiomatisation for the logic of lattice effect algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_axiomatisation_for_the_logic_of_lattice_effect_algebras"}}}}}