{"entities":{"Q841165":{"pageid":843013,"ns":120,"title":"Item:Q841165","lastrevid":64781307,"modified":"2026-04-11T22:11:10Z","type":"item","id":"Q841165","labels":{"en":{"language":"en","value":"Conditions for permutability of congruences in implication algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5603896"}},"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":"Q841165$58A009CE-C7DC-449A-AA99-8909316A41B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"787d4f7d787555d4cec512b44666eaf0eae30ff9","datavalue":{"value":{"text":"Conditions for permutability of congruences in implication algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q841165$C87D185D-9A22-4BA9-B38A-C844AD021960","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ec167927409fc2e2614962f44c17d28d75ca75b","datavalue":{"value":"1177.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841165$0F95E898-4DB5-44D8-BD4B-ECBEBB6B479F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c4464f6c45a39b0731a4675b2e292d7fb95bb2","datavalue":{"value":{"entity-type":"item","numeric-id":616115,"id":"Q616115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841165$4FEED41F-9F0D-4B69-B0DB-325229F8DD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"400890dd66db10164ad71f611209574f2fce9097","datavalue":{"value":{"entity-type":"item","numeric-id":422483,"id":"Q422483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841165$9606050D-9F94-4430-A4FA-11C49929E523","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841165$A15F4C6B-90D4-4083-B585-9E28B846A227","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da6f74ec6337139bbc2c0c55bd8fb986e578b38","datavalue":{"value":{"time":"+2009-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q841165$C9E5EECA-B1CA-4043-AE5B-D2E7BEFAB92C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c38bde1020cfa1e5b0c6957879b5e6412d15d80","datavalue":{"value":"The paper studies permutable congruences on implication algebras, introduced by \\textit{J. C. Abbott} in [Mat. Vesn., N. Ser. 4(19), 177--198 (1967; Zbl 0153.02704); Bull. Math. Soc. Sci. Math., R\u00e9pub. Soc. Roum., Nouv. S\u00e9r. 11(59), 3--23 (1968; Zbl 0169.30401)]. The main result characterizes congruence permutability in terms of implication algebras. Then the criterion is simplified for finite implication algebras. A number of applications follow. First, some previously obtained theorems of \\textit{W. H. Cornish} [Math. Jap. 25, 477--496 (1980; Zbl 0444.03035)] and \\textit{J. P. D\u00edaz Varela} and \\textit{A. Torrens} [Algebra Univers. 50, No.~1, 1--5 (2003; Zbl 1091.03030)] are easily derived. Further, all congruences on finitely generated free implication algebras that permute with every other congruence are described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q841165$E75B1530-CECB-4944-BA3F-981410169616","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841165$D38FF3F8-9477-4AEE-A92D-AF97D1682BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841165$41D187E8-B0E8-47D9-9D9C-739030316B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841165$A7700944-F859-4A16-928A-4F840B792CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841165$6975DF9E-1DAC-4CDB-80C3-ADC720379779","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c598516ce7d0561dea3bbcadfcb2bfe8afcebd38","datavalue":{"value":"5603896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841165$237796D0-85DA-4530-A4E3-77EC3722D5CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e74f952d308e071a6d276ddb9c0c2ec5f66418","datavalue":{"value":"implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q841165$86808805-6188-42A7-ABA6-6B8FAC24A2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb781efe9d2bf5070994fc987654812b673d8d27","datavalue":{"value":"permutable congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q841165$D4FAF9B3-0E00-476E-81FD-27247212E936","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"132effc0cc5e6f5b97c410501e6db3f17df8ce91","datavalue":{"value":{"entity-type":"item","numeric-id":587913,"id":"Q587913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841165$457BE9BB-EDB8-4236-B10B-032E874A9A3D","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":"Q841165$3833D7A2-1A00-47BC-B028-8905BD67195E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b67749a1177e5867b2e95c1bee6ab25e1d25242d","datavalue":{"value":"https://doi.org/10.1007/s11083-009-9123-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q841165$B0CF6C92-1E6F-430D-A890-F1CE0B71442C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"671f56754a515b3866c755184a89db352ddeab23","datavalue":{"value":"W2061607543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841165$887E6E56-61F1-4308-AB99-1190B34FEB14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"460ade5e92963966f63f664914f7c3e0486ae141","datavalue":{"value":{"entity-type":"item","numeric-id":5556401,"id":"Q5556401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841165$FB509FB9-65A5-445E-BE8C-70304E663CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0974b1a205e4707c397751175cae7fb59a455e","datavalue":{"value":{"entity-type":"item","numeric-id":5532577,"id":"Q5532577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841165$23C529EE-A007-46D4-8BD3-25F6C3DD36BB","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":"Q841165$68914D91-DC58-4F93-8B5C-6542B88609C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee4fc5cf80ffbba3d7308741f7a29889df2fc41","datavalue":{"value":{"entity-type":"item","numeric-id":3887460,"id":"Q3887460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841165$957FF814-0A73-462E-A298-D51BA406F518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330ace4cf9162ea27eac78a534bc4ae5b555ae03","datavalue":{"value":{"entity-type":"item","numeric-id":2496153,"id":"Q2496153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841165$B27A806F-C6AC-421B-9351-61F476AD1685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89be34ddf43c7034b3a9b62a27aaf5803b7994f6","datavalue":{"value":{"entity-type":"item","numeric-id":2553985,"id":"Q2553985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841165$3CE2F5B1-2EFA-44C4-A2F3-27737AADA1A3","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":"Q841165$10B0540F-A627-4829-9BC8-27EAB664A3EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7ea84119d19d47f9f82e3f778fae3799362edeb","datavalue":{"value":"10.1007/S11083-009-9123-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841165$0BDB9B46-4E04-4065-81DE-FAA9A8AC70CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a75fd28d41e591b59b20f58c6d8393300dc59806","datavalue":{"value":{"entity-type":"item","numeric-id":763305,"id":"Q763305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3029b437dad3da599072458e6a0f25b800609dd","datavalue":{"value":{"amount":"+0.8957248","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":"Q841165$AE26A9C8-464D-4227-B60A-447335490F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f771fe7723ac55232c0933919d885ded68fcc4","datavalue":{"value":{"entity-type":"item","numeric-id":4695517,"id":"Q4695517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471d8e8020fb01b4ce398cd4bfedbc8860370697","datavalue":{"value":{"amount":"+0.8890556","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":"Q841165$5E3A355B-A496-4FF5-A9FE-048D706CDB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7d48df10fd8f350c778822a65b0df23ebd00c1","datavalue":{"value":{"entity-type":"item","numeric-id":3834105,"id":"Q3834105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a084bd0222b13ee9b363b2318e385a7eaecb35","datavalue":{"value":{"amount":"+0.8874761","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":"Q841165$CE32C763-8BE2-4D7D-97A5-B717E917D266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fc7ae40aa6c3fa8523adedfea2186555cb527e","datavalue":{"value":{"entity-type":"item","numeric-id":4935890,"id":"Q4935890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edaaf034a62f16a54f6112eca4a6e0471747f218","datavalue":{"value":{"amount":"+0.88573545","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":"Q841165$A1DF5DE2-07D0-4674-92CB-8AF2EA72B3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41cce694240da96f1a77d338044feb049d7e9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3087062,"id":"Q3087062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edaaf034a62f16a54f6112eca4a6e0471747f218","datavalue":{"value":{"amount":"+0.88573545","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":"Q841165$AD1E1AFB-3BDB-4364-BCFA-C23C4ABD6D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c05d1035d06786b26da3480edc8d34dc723eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3789626,"id":"Q3789626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc3d362ae415459f90f196c81667bdbe6cdfa0a","datavalue":{"value":{"amount":"+0.8850336","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":"Q841165$EBC3D3A1-D733-4492-A2F6-FA06E699D097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba44e334b2ee74e4c5b7180a60163a5a927b3ea","datavalue":{"value":{"entity-type":"item","numeric-id":3017386,"id":"Q3017386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63049f3174ba775f8ff359d16cabb204b2589c84","datavalue":{"value":{"amount":"+0.86678064","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":"Q841165$806987B8-2CAF-4EBE-AE73-C28F09881B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97446d48acf387e6f656e8e9b8bc2ab4ddfca950","datavalue":{"value":{"entity-type":"item","numeric-id":3159066,"id":"Q3159066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a12c389438d0bf2c2fe01c91a5f3f8749b31fd","datavalue":{"value":{"amount":"+0.8636659","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":"Q841165$C83EECB1-B99F-4DD1-99A8-C3B7ED03B998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040785c926a1dcde06b5673b5c6341903e23fa40","datavalue":{"value":{"entity-type":"item","numeric-id":3701472,"id":"Q3701472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f98ebe11c6697b1abb5e1f890a0e01c5bee4f1","datavalue":{"value":{"amount":"+0.8612451","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":"Q841165$B76F5CD8-04E5-4A2E-AD6F-0B5CB70726A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa4dd8c7ed126a1450ef5f6bd8ba4226a1dea6b","datavalue":{"value":{"entity-type":"item","numeric-id":5438762,"id":"Q5438762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87c7fbbe0289ec84c358cd5ff5e0bff86815b70","datavalue":{"value":{"amount":"+0.8606326","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":"Q841165$70C2DCF5-1C39-4A2C-B3D0-589FAD568FE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditions for permutability of congruences in implication algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conditions_for_permutability_of_congruences_in_implication_algebras"}}}}}