{"entities":{"Q472706":{"pageid":474473,"ns":120,"title":"Item:Q472706","lastrevid":62085759,"modified":"2026-04-11T03:40:32Z","type":"item","id":"Q472706","labels":{"en":{"language":"en","value":"Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6371338"}},"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":"Q472706$50D25C2C-6BB7-44E5-BFDD-CE9BB85A11AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d773d06334be78f7f2e8d61d0de34ed7921258e","datavalue":{"value":{"text":"Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q472706$79771714-7B5D-49C2-AE77-1F4C6105BF36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ed5542005abd0b3e888e5b01472b4e7ffc2c1e6","datavalue":{"value":"1302.81036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472706$EA119606-2F6A-4D13-A61F-002B7A3FB2F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5879b92e84505e7137b61ac7a9bcd1a1ed427d8b","datavalue":{"value":{"entity-type":"item","numeric-id":472705,"id":"Q472705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$3C0EAF23-74C1-4A68-A12C-29162338E50C","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":"Q472706$FA5BCEFB-66E1-4DCB-9BE1-68D8EF4F5BFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9eef5592189a73489da4c405dddbd884955f29c","datavalue":{"value":{"time":"+2014-11-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":"Q472706$AEF3CFB7-F4B8-400C-9A1D-2BC6A59871BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472706$47E63CA8-B69D-469C-9409-A9208C835E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472706$2430415D-2E7D-410E-8051-280A4A908E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472706$0752DFE3-0A9A-4965-AB12-1D6EB1C79EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472706$F14417D6-62F8-4AD5-9706-5EDEE005637D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92815c0a9c3ee771cb9513005a4da6e428475a47","datavalue":{"value":"6371338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472706$000BABB4-B42E-41A5-8C99-68B929887E8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29b36a3a1f528adaf55442741f0c733d2cd38a","datavalue":{"value":"effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q472706$5218DA4F-FA87-4287-8ACA-6A68AD9D5416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc7c9d1d5449cd4b98f0e74d90c01a18c7db2e0","datavalue":{"value":"pseudoboolean effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q472706$7DF75498-F1EC-44D4-9E2D-97CDC751E239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93a198aa33a728b05b1bf5da73ffff334e433e6b","datavalue":{"value":"lattice-ordered effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q472706$18D4F6CC-73AC-4438-B404-3924F4244C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q472706$A7DC5CDB-D7DF-4321-A6B6-85575BCBFD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q472706$D9339F00-62D5-42B7-84D3-ECDEC1F9AC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f16d5478e2611997323ec907c663fcd3b352532","datavalue":{"value":"Heyting effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q472706$E267A4CF-48BC-4EAE-9EA9-E3287D846DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e6143e3f75b2206e93669b0b0dbdf92a7d9437","datavalue":{"value":"Stonean MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q472706$DC9E225F-B933-4C65-BCA5-5496DBF89589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0188d68f28d7a8614e43048df014c544f3a50291","datavalue":{"value":"Heyting-Wajsberg algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q472706$4783D9A0-8791-43D1-A068-9604B5D3FDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q472706$387F34EF-4960-49A7-8B81-D0E993D67194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q472706$730191A9-A4DE-44C6-A1F8-CD0F0A19D150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc61c6e701dc51e134979b840468102bcac64e1","datavalue":{"value":"deduction-detachment theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q472706$BB2B58DE-0B23-4972-8814-739D26DE2E1A","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":"Q472706$1947206E-FE64-444C-A230-80E2B3A38D80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf79b2d9a2cc6838c8abf757d3722803690dd6f1","datavalue":{"value":"https://doi.org/10.1007/s10773-013-1744-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q472706$E42B6719-E2E1-407B-A754-483394506B68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc15fd59722a5177d18160839ad6a8bd65b35aa5","datavalue":{"value":"W1972088297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472706$970B0B9B-8AE2-4073-AFFA-B86C81E96041","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18bac9430be97bc460d07840e514124efb4a3a9c","datavalue":{"value":{"entity-type":"item","numeric-id":1315322,"id":"Q1315322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$D5BDC288-E361-45A3-86EE-894C3E6A8D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$838D08DC-E5DC-4B7B-AA7E-10D6A4334B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"499da62d36314768ee6bca1be3fd60fda07db237","datavalue":{"value":{"entity-type":"item","numeric-id":4484229,"id":"Q4484229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$71C287F2-F93C-4664-AE72-87C95839C7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e39998675f6f0e8c5ff1b50f7b5ede6abd8d592","datavalue":{"value":{"entity-type":"item","numeric-id":1965297,"id":"Q1965297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$D9DE78DD-E82F-4C6A-AB03-DDC25A0F43D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8195e555b4dcb29e2e34c57907440f557b4dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4681455,"id":"Q4681455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$516B76AD-42E1-4D40-B288-C50EF1570C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a31aad6921bc5967cc00d1f4aba53b67a8dedf","datavalue":{"value":{"entity-type":"item","numeric-id":4681456,"id":"Q4681456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$1A06A3AB-1E4E-48B4-A5DC-5A07E734B4FA","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":"Q472706$700C0E79-0A51-41EF-AC93-69EEA31AC515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ddbb19fb11a8bda8f7569d236eab0b2357bbeb8","datavalue":{"value":{"entity-type":"item","numeric-id":4244854,"id":"Q4244854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$261D907F-0839-4CC3-AA1E-06528E7E9088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$17680202-1890-41F3-B074-5DC8CA7A2FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$B405FA13-3C3D-43F1-AFDE-D1A43917185D","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":"Q472706$37CCB5BA-18E2-4FD8-BA2A-4FE719BE83DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043f9c36513f0169de9888eed47ae021ca19fe77","datavalue":{"value":{"entity-type":"item","numeric-id":2577712,"id":"Q2577712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$1FBB9C15-87F7-459C-8EB7-604517BEA995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312714af211b13f03cc4077e9c88b657ec75edb1","datavalue":{"value":{"entity-type":"item","numeric-id":4856909,"id":"Q4856909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$0F71BEE8-C269-4920-90E3-05E5842E167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a623dd804653a457a8bea0240a5c11f2ae0bf89f","datavalue":{"value":{"entity-type":"item","numeric-id":4281887,"id":"Q4281887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472706$03777437-C53A-4211-8597-46C725675CCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6afedeab8055f0dd080c77a49e58ca2ed433265","datavalue":{"value":"10.1007/S10773-013-1744-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472706$3F49FBE5-407C-4EAD-8C7B-5ABFE84C6137","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"390666dea9d4f75640e3154c5cc5dd5abc89af05","datavalue":{"value":{"entity-type":"item","numeric-id":4681455,"id":"Q4681455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3925680e76b0c116a1aa2d7b064b0cbd3bd68755","datavalue":{"value":{"amount":"+0.8081527352333069","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":"Q472706$27355794-85AE-4BD4-9E0C-AE5CC4A50E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b85f9c9046a858b4c6445988f01c2f276d9271","datavalue":{"value":{"entity-type":"item","numeric-id":4484229,"id":"Q4484229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5776a7eb02d6ea6a21dde3cc0ca88236e63dd97","datavalue":{"value":{"amount":"+0.7658650875091553","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":"Q472706$3E993CF7-689C-46E8-84B7-47715B5E56B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dbafb5ff70359e77f6039163fe9e133eb232b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4709580,"id":"Q4709580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627eadfd78957d6030e44b30690d2d0f0465a10d","datavalue":{"value":{"amount":"+0.7619503140449524","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":"Q472706$A3A230CA-E476-4754-BA06-AF391ED63774","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":"1d3086d21aac80d47704f9b0789cfa5fb464795e","datavalue":{"value":{"amount":"+0.743155300617218","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":"Q472706$EEE2759C-5551-46D4-9233-004A30C9104F","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":"f43e868cd4610e27c9d4c3dd679dfd86b6684cea","datavalue":{"value":{"amount":"+0.7400018572807312","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":"Q472706$A4540E7B-C8C3-4668-9F97-1D6891A258F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strengthening_effect_algebras_in_a_logical_perspective:_Heyting-Wajsberg_algebras"}}}}}