{"entities":{"Q2564842":{"pageid":2575585,"ns":120,"title":"Item:Q2564842","lastrevid":73800453,"modified":"2026-04-14T17:18:03Z","type":"item","id":"Q2564842","labels":{"en":{"language":"en","value":"On implicative semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 962087"}},"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":"Q2564842$3FFDA6FF-4495-4864-AB9E-C78A58ABDB5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa696a07df684b6dc3474395c37883addc18997b","datavalue":{"value":{"text":"On implicative semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2564842$78B51F3F-865C-4393-B605-79809A23A10B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eda5f0d04ac6d36259ab95f9422cd3c86b92c74","datavalue":{"value":"0869.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564842$74545482-93EF-443A-9612-5D1347E3AF17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2ea0e95671eefdd9f93856f8255c1b2fe124bfc","datavalue":{"value":{"entity-type":"item","numeric-id":2564841,"id":"Q2564841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564842$66451757-AA52-483C-93F8-CEF3D2B854EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06248e1e8753597fed88d31a6c76006b3308608a","datavalue":{"value":{"entity-type":"item","numeric-id":1304207,"id":"Q1304207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564842$F1172FF5-4402-4094-B756-25CB3A3E6226","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564842$0295FED9-374D-4245-8B33-CB683E01650C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"763d31870c0dc149ffd665fc4cc3af940f7994ab","datavalue":{"value":{"time":"+1997-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2564842$32D9B103-65CD-4E22-BFC4-C1E7D8A06666","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76b491bb22a9737176a51f70787457cced15e736","datavalue":{"value":"Implicative commutative semigroups were first investigated by the reviewer and M. W. Chan. In this paper, the authors introduce the notion of strong filters in implicative semigroups and study the homomorphisms of such semigroups. A correspondence between the convex congruences and the set of strong filters on implicative semigroups is established. Some results of \\textit{M. W. Chan} and \\textit{K. P. Shum} [Semigroup Forum 46, No. 1, 7-15 (1993; Zbl 0776.06012)] are consequently strengthened.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564842$B21C42B3-8D8F-405C-AAA1-07C7CE8E034C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564842$A4873CC1-2E9D-4500-BC71-D0B313DF0196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564842$AE69B8D6-EADA-466E-B731-1F244883041B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564842$13B64F9A-7225-454D-BACD-57028481B62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564842$77E43089-9E68-476E-BF1D-ABF1F71A91C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de4c7ef499501b5ba0f0df4ac811ada51a519489","datavalue":{"value":"962087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2564842$AB778533-E4F5-4596-8044-B60964E64629","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c9861ffdb346fec5044ba50598f7e357f898b7b","datavalue":{"value":"strong filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564842$5B06B911-74AE-4851-BF2A-A8E819E52ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3ef8fff11e65cc25d6afc095c76e2762fc4f30","datavalue":{"value":"implicative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564842$E0D8861A-AA19-42DA-A8D3-B1BF6EF7BC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db142dd107fdc467fbdf3710d60d5927512fee12","datavalue":{"value":"homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564842$36B3F3D6-38F4-42BB-8CD1-182095793254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2219a103942071ed174754e1d3002e18ab757ecf","datavalue":{"value":"convex congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2564842$8F0E9908-BB2B-49E9-AD09-D550CE23BBF0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be1a55357b2c800abde8f8d42d72e1db68e356f9","datavalue":{"value":{"entity-type":"item","numeric-id":590407,"id":"Q590407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2564842$5F7C1A5C-2D85-48AD-9334-CBD4EF7FB27F","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":"Q2564842$F4D952A3-0E03-4858-B364-315E4EF4B09A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4785fcdf85e6afd2955116047978db685042747a","datavalue":{"value":{"entity-type":"item","numeric-id":5303302,"id":"Q5303302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e84ae774970c1e5f7125a00e97f0c494dad872","datavalue":{"value":{"amount":"+0.8544793128967285","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":"Q2564842$400C7E24-3EA9-4897-91D7-B139FACAB603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d1ca6ec711c77253b4631cb9b74741e7c846c0","datavalue":{"value":{"entity-type":"item","numeric-id":5929669,"id":"Q5929669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbb41a523baeec6b7a83d2742d13a019ee85b22","datavalue":{"value":{"amount":"+0.8538879752159119","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":"Q2564842$7E50C023-B7F2-4B2F-9262-7AE10B467E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6c4c564b8f19db2db60ada750b2a5354df3a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4954995,"id":"Q4954995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a382cccc84a5d030f53e0d84d8c871e1b21aa3","datavalue":{"value":{"amount":"+0.8492043018341064","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":"Q2564842$D44153F1-35A7-4C6B-8E02-A0C166115D76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On implicative semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_implicative_semigroups"}}}}}