{"entities":{"Q1701818":{"pageid":1712559,"ns":120,"title":"Item:Q1701818","lastrevid":53031926,"modified":"2026-01-24T02:14:26Z","type":"item","id":"Q1701818","labels":{"en":{"language":"en","value":"On congruences in weak implicative semi-lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6844105"}},"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":"Q1701818$CB34EBCD-6322-4874-ACE9-F29973B13523","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"202e9188479cd2d48416a73300af28743f281c30","datavalue":{"value":{"text":"On congruences in weak implicative semi-lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1701818$66C16DAE-28CB-4EAF-A18D-49111C096A16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f0cd713e9597b6a5db38a79c277510eb0d3b01c","datavalue":{"value":"1403.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701818$68C6DF2A-C094-420C-B7C7-42ED2B24A323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f21ce2810cf359b217225ea862e10a1ca99e11d","datavalue":{"value":{"entity-type":"item","numeric-id":266867,"id":"Q266867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$6A1A0920-D572-4B24-99D8-DBBB7DD099A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$45F58A9A-DECB-481F-912B-F10821C6088F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c144e320c99ba8ab535867a269aafb85a4e4b204","datavalue":{"value":{"time":"+2018-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1701818$7E2002BF-4E66-4D23-8D5F-568D65EAEC18","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c3e32735c5e58a1d107df4a5ce0c842f1f3c2c8","datavalue":{"value":"The weak implicative semi-lattices are obtained from Heyting algebras \\((H,\\wedge,\\vee,\\rightarrow,0,1)\\) by replacing the residuation property:   \\[ z\\leq x\\rightarrow y\\text{ if and only if }x\\wedge z\\leq y \\leqno{(R)} \\]  by its weaker form:  \\[  \\text{if }z\\leq x\\rightarrow y,\\text{ then }x\\wedge z\\leq y. \\leqno{(R^{\\prime})} \\]   The paper presents some properties of weak implicative semi-lattices and gives characterizations of congruences in this class of algebras, including varieties of interest for the logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701818$F295AE9D-C47E-4ACA-9C27-7259E21503C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701818$D0B82FF2-44D1-4F83-B0DF-760AF3BEDB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701818$D62EBB4A-E952-43FB-AFFF-D2D4474F3D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701818$8FFA9752-DF9E-4CDB-AF0D-7A4D35FDA43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701818$FFC64F4D-606A-4658-B206-6C7E2C10B7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30279ad2312ee8c09a87dcde90352f80d9dcbd24","datavalue":{"value":"06D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701818$EBCE1380-E44D-442E-BDFD-CB4FBD4FF29C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"891718f209ec033639c0ecd6e190233fce6e777e","datavalue":{"value":"6844105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701818$B7C0CED8-0EDD-45B4-BDC3-7D1B7863212A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f91923718aafa6282d2e7e5ba773fcd1e17386","datavalue":{"value":"semi-Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701818$18434925-F2CB-4D68-9F08-1B45C726D01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78a845fa4d55c691182621e8d4a4275f9cb18342","datavalue":{"value":"implicative semi-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701818$D7EB305E-6DFE-4B5D-A8EB-A70846965B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b64813863841e27d9c33c64eb206bf44a7360be","datavalue":{"value":"implication operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701818$68956076-C645-4319-8A1B-A656010CE8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701818$51F750C1-8CB9-48D1-8439-87B552C6A0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"068d1e3b7a6edacb1b7674dd8ff2bfc2a2fe29b9","datavalue":{"value":"compatible functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701818$F7F45182-50B9-43DF-BFA2-D6275B303AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6911d0b664a4bb078ebdc791a152bbf914c5355b","datavalue":{"value":"locally affine completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701818$4EF6967C-D508-4C3F-8234-B22E04F1E0C1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39d03bc5e4b5d8bfd4455ed0ba4cd34fb8b2de21","datavalue":{"value":{"entity-type":"item","numeric-id":344088,"id":"Q344088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$5670D7A1-587B-414E-811C-C9AA33F26683","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":"Q1701818$609DFBC1-E416-4FA2-A292-8305FEAC8CF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2de090900aec0c8743ba9ffaf58b9dd7c0365de6","datavalue":{"value":"https://doi.org/10.1007/s00500-016-2188-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1701818$DF2FAA41-2FA7-45C5-B3BB-D0967CE5AA85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d2375a534a227211da48a31d8f66e05b170c55d","datavalue":{"value":"W2405703447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701818$6569A541-6E64-47F3-8C23-DC875609B3EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"921b5f7c8775fb47d26c07df83162f34ffb210c2","datavalue":{"value":{"entity-type":"item","numeric-id":2888630,"id":"Q2888630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$FA495D29-8F50-4157-9B71-C3CC6FE36D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6419dfa1ef235c9fc41986f39e1fd4f7c199aaae","datavalue":{"value":{"entity-type":"item","numeric-id":2376916,"id":"Q2376916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$2D9BA236-8049-4B4F-95B3-F5A612026335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1553aae584dd2ca876ec4105e45dafd07b135d","datavalue":{"value":{"entity-type":"item","numeric-id":432182,"id":"Q432182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$905C65EC-6F0A-4E29-AD19-2924D8AAC787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a9c6efb05029268fd725fdc6cec06cf4b3c2f2","datavalue":{"value":{"entity-type":"item","numeric-id":2888154,"id":"Q2888154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$9BB00D61-5A33-4FCC-B762-45ED3AB11104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$8233E030-EF1D-4BB2-9827-2B74F9CBF031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cb8cb927478b7bcf307eb544a22df4115a278e","datavalue":{"value":{"entity-type":"item","numeric-id":4328824,"id":"Q4328824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$43296C5D-DFBF-4CEC-B027-338FF19DC217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bf712e2b1b6bfb31b491dc46f544f6114af908","datavalue":{"value":{"entity-type":"item","numeric-id":4680368,"id":"Q4680368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$1A7C369F-B2C6-4644-B7D2-7C9129B19377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db4334fad07a61c2b2b8228e69e16c405504889","datavalue":{"value":{"entity-type":"item","numeric-id":763323,"id":"Q763323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$CC828F62-5811-44A1-915F-1CDB1E93E1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$449E7D8C-A82B-4180-9FFB-764AF01D60CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c609206f1b8ea02aacb21daa36e9f62824c0675a","datavalue":{"value":{"entity-type":"item","numeric-id":763330,"id":"Q763330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$9137C2E0-21CC-4767-84D9-2E901ADE640B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$F215F91A-DBC0-4A36-AF22-2D28143A70CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822c502acc6dfcc535002510abd06634bbddec40","datavalue":{"value":{"entity-type":"item","numeric-id":5345028,"id":"Q5345028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$F578E384-77C3-4E8B-B962-681E38799695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5b2614e112448ba5efd623bcaf2f69f2afa68a","datavalue":{"value":{"entity-type":"item","numeric-id":4527760,"id":"Q4527760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$B0ADAA01-6CBF-4AB9-83ED-2B4DF3F845A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b871b7fdcbdbbfea9e34c88c71636b9ed00ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5336342,"id":"Q5336342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$21DE240E-565F-4A7E-8D73-720232F6A3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d362c70aba27e296906bb823cd220175d583edd","datavalue":{"value":{"entity-type":"item","numeric-id":2558319,"id":"Q2558319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$19DD3ED8-7130-4ECF-8FBF-177FA7224E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$6821DDE2-FAEE-43CA-82A5-9883521367B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$7279B9FF-2427-4428-B31D-A939FB0D4920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a40b964fcb157a25c533b4d3df94445dcd3f29","datavalue":{"value":{"entity-type":"item","numeric-id":3605557,"id":"Q3605557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$EDCAC0EB-0642-4909-A911-9EE0A161A182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19259581b483b4d9f7139fc51ccb474bac80cc23","datavalue":{"value":{"entity-type":"item","numeric-id":763318,"id":"Q763318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701818$29BA82F1-0964-45A6-BFAE-3B9DA2CCE6D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47a3a3b08e2c7c869041e08d141bb5efebf1d10f","datavalue":{"value":"10.1007/S00500-016-2188-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701818$B6CFEE6A-3C77-4512-86E2-316920879EB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c710c124f2850a23de0fd28e0fb3e85c85f73c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1790597,"id":"Q1790597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802cd585a6f653b2de4f0b794653b36afd806535","datavalue":{"value":{"amount":"+0.7904604077339172","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":"Q1701818$2D1E1679-9FBE-41A7-9AA9-72E8C1C51CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bdc60494703f54ac52b00f83cc9cca09bdcb8cd","datavalue":{"value":{"entity-type":"item","numeric-id":5482122,"id":"Q5482122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9130158a4888d11829d9c499904c3fcfdda8466","datavalue":{"value":{"amount":"+0.7844017744064331","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":"Q1701818$3B1B95B8-F820-49BC-AD01-D751F7370F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69eb67d0ee80b8e40116bb8babf6cbdd4ca4980","datavalue":{"value":{"entity-type":"item","numeric-id":2630276,"id":"Q2630276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff70dc81a3b7532586a38dee2a47e4649f588b65","datavalue":{"value":{"amount":"+0.7795711159706116","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":"Q1701818$2EE375B9-18D2-4B8D-AF71-43F028CFCAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95f78d323d6850ac2ac731a7c65798bc3413428","datavalue":{"value":{"entity-type":"item","numeric-id":4011581,"id":"Q4011581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dbf85e638bf75009d42aec87d1987693b2e37a2","datavalue":{"value":{"amount":"+0.7703937292098999","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":"Q1701818$0ADCF7F5-3D00-4671-B61C-BBAB00D02153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0931df37a76e993c8b321cbec854533bc9ade996","datavalue":{"value":{"entity-type":"item","numeric-id":2403454,"id":"Q2403454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ae523826bf584597c98c4ab2827509f32778ad","datavalue":{"value":{"amount":"+0.7697306275367737","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":"Q1701818$990422E3-CB61-464A-AB09-710B95896321","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1701818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1701818"}}}}}