{"entities":{"Q2462671":{"pageid":2473414,"ns":120,"title":"Item:Q2462671","lastrevid":50226533,"modified":"2026-01-13T14:09:54Z","type":"item","id":"Q2462671","labels":{"en":{"language":"en","value":"Congruence coherent symmetric extended De Morgan algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5217126"}},"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":"Q2462671$000639D0-EA8E-4D7C-AB3A-E3E3F7361E12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae984b900a270ddc49eca25732d48bd2fa741ba2","datavalue":{"value":{"text":"Congruence coherent symmetric extended De Morgan algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2462671$FEBA6650-4E32-4AB3-AC70-3F1FB3B920BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29ed0f0cf7643f9246dd1a2fcd3a28de43f1909c","datavalue":{"value":"1128.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462671$A01ED09C-6DD9-4D0B-B961-B568C3EA5439","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"312c4a1ea47cbd86b923ee849824e3aefffd64b0","datavalue":{"value":{"entity-type":"item","numeric-id":192075,"id":"Q192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462671$69F1B5D4-F3EC-464B-9560-BC8CD4857F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8990d461f64289ce59ea83dd31bfe687c480a2","datavalue":{"value":{"entity-type":"item","numeric-id":377857,"id":"Q377857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462671$5A7906AF-7F71-494C-8BD9-C394ABCDB374","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462671$D44D7376-3FBC-4712-AD78-5D3B98FAE9AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9fa6f2f337ef8352aec632547ae6f1ca832f426","datavalue":{"value":{"time":"+2007-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2462671$38FC587D-DC16-4965-8F05-F8F39E0DDB0B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e71ad33b938e73aaf2059cfacfd06c6a28b47e99","datavalue":{"value":"An algebra \\(A\\) is said to be congruence coherent if every subalgebra of \\(A\\) that includes a class of some congruence \\(\\theta\\) on \\(A\\) is a union of \\(\\theta\\)-classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, De Morgan algebras, \\(p\\)-algebras, double \\(p\\)-algebras, and double MS-algebras. The strutures dealt with in this paper are De Morgan algebras \\((L,\\wedge,\\vee,f,0,1)\\) endowed with an involutive bounded-lattice endomorphism \\(k\\) such that \\(f\\) and \\(k\\) commute. Such an algebra \\(L\\) is said to be special if \\(x\\vee f(x)\\vee k(x)=1\\) for any \\(x\\in L\\); several equivalent conditions are provided. Every special algebra \\(L\\) is congruence coherent. Several necessary conditions are given for \\(L\\) to be congruence coherent and not special. The main result is that if \\(L\\) is not special then \\(L\\) is congruence coherent if and only if it is simple. The paper is illustrated by a few concrete examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462671$DB316289-39F1-4C7C-B701-99794F91018C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462671$4FE703D9-A7F7-46EA-8477-8C81F0125507","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ace81fdf3d68d5769abfebb93c4455da82d704b","datavalue":{"value":"5217126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462671$1E06CAC8-13E6-4CE3-A288-6109BD8DDAC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09dbaa621e6fbfcdf679f7592eee31a97f72f226","datavalue":{"value":"congruence coherent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462671$07637FCA-3585-426B-A1F3-473AC16C902A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cceec9491cf68f3f67680759e40ad92ad3aad93a","datavalue":{"value":"extended De Morgan algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462671$0AA1772A-65C0-4CD5-A17C-48ED7F856860","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462671$872DB920-0797-46CD-867C-5ED0423459CE","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":"Q2462671$B45DFBB0-5058-42CA-B582-73729D09E24D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e94e76640f51c78d3a0356de4c0de5ecd63b4b5","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9076-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2462671$E7A58BC7-A41F-4FB8-BD0D-A986449D27C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11be66761f104b7e9bb0891580ab38792be819bd","datavalue":{"value":"W2087561453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462671$DDA9075E-F243-4CC7-A097-E01543E91719","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e636468b9d5a78e703845a3061a56e10d86f5a1","datavalue":{"value":{"entity-type":"item","numeric-id":4893686,"id":"Q4893686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462671$E7DE591B-4911-4938-9683-84E5E0F5017E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97172958fe47a61a3f6388e4a0cd012617734836","datavalue":{"value":{"entity-type":"item","numeric-id":1102309,"id":"Q1102309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462671$4C2675FA-2251-484E-9B02-FE1C903042B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd9cbc21efe0bd1d3f451c90ebd4d49b7da1628","datavalue":{"value":{"entity-type":"item","numeric-id":4262328,"id":"Q4262328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462671$45AA00F5-D9E4-488D-A87E-3361C7FC0CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9f3f2811858cdd1680a2ef16d19b04500a8e86","datavalue":{"value":{"entity-type":"item","numeric-id":4947078,"id":"Q4947078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462671$C193DCBF-BC18-49D6-B217-62E424A372A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2904d5e3b7842513fa31406e64c95aaefc4f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4443746,"id":"Q4443746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462671$C60E1830-D821-4A4F-B676-F9A64DCA384B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f73b0702bccea98217d247cc7e16403a655933","datavalue":{"value":{"entity-type":"item","numeric-id":1135295,"id":"Q1135295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462671$B1EADC4E-ABD4-44D8-9082-0930A3F0269C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10b8918c1b60d66302c39c452be09fe2d7a00e07","datavalue":{"value":"10.1007/S11225-007-9076-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462671$29F02072-9BDF-4FC9-994B-A890630FF05B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4215b2db199fc5543b64fb8558dbce59fa3d6b7b","datavalue":{"value":{"entity-type":"item","numeric-id":1102309,"id":"Q1102309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63db13d761c46c22a7acb8044e30c63a43e9fb2","datavalue":{"value":{"amount":"+0.8347315192222595","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":"Q2462671$40C0D6E4-ACBF-4D2B-A912-94896D1F8DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bae4a494c7133b3ddbfa481fd614dfdee5ace9","datavalue":{"value":{"entity-type":"item","numeric-id":745935,"id":"Q745935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b76f09f5f4670abb37db0ffa0b2002f14f63c0c","datavalue":{"value":{"amount":"+0.8281339406967163","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":"Q2462671$D41E422C-B522-4064-96EF-64A11BFC2C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c9db0fe34d50b707d731e98e381c7e5a5a0250","datavalue":{"value":{"entity-type":"item","numeric-id":4262328,"id":"Q4262328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8041fa94892875486f3ca1dc23c9d61f00d3bd6","datavalue":{"value":{"amount":"+0.8213273286819458","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":"Q2462671$F07035F8-BCE4-49C4-AD27-F734B177838A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de3b7316357859ca675c1a2d505f9707763cfc2","datavalue":{"value":{"entity-type":"item","numeric-id":5939998,"id":"Q5939998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8436e1b287ee90aea7731f2648e4006cb67b5cdb","datavalue":{"value":{"amount":"+0.8209108710289001","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":"Q2462671$DEA0BE52-9F1B-4092-8BE8-69B15CC80B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccd1ce7a9fce6edd154e707fa2952be9bbb810f","datavalue":{"value":{"entity-type":"item","numeric-id":4248758,"id":"Q4248758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d04cad465d726fb77904263b78e4355c07d8a05","datavalue":{"value":{"amount":"+0.8193641901016235","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":"Q2462671$34DC5A73-D448-4508-8DA0-A1B80AC685C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2462671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2462671"}}}}}