{"entities":{"Q914716":{"pageid":916564,"ns":120,"title":"Item:Q914716","lastrevid":65379504,"modified":"2026-04-12T02:11:30Z","type":"item","id":"Q914716","labels":{"en":{"language":"en","value":"Principal congruences on some lattice-ordered algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150243"}},"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":"Q914716$11575735-70D7-4A3B-AB72-1A3C9C423276","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3866bf81d2df72a80a52cd71d378b6bdba2e32f2","datavalue":{"value":{"text":"Principal congruences on some lattice-ordered algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914716$E74C7F3B-0156-4ACF-8E73-63FD3BA5F0F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2a68a7520274a22ca06f50395edeb8f1e14d7f6","datavalue":{"value":"0702.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914716$69695752-B335-48F3-843A-AAFED4A1C665","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30fffb68d6c4d81d7a6dc4108c453a4f33913522","datavalue":{"value":"10.1016/0012-365X(90)90068-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914716$CB9899EB-E44D-423F-8A7C-255EA46D8726","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba64a939c95436767b41181d5897fe87d7dbc07","datavalue":{"value":{"entity-type":"item","numeric-id":762516,"id":"Q762516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914716$5915A14B-B87D-40D1-874F-D994397B1411","rank":"normal"},{"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":"Q914716$FBCC9390-506F-4F2F-8859-E20EA6CCEC53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914716$9ABA34B1-9973-45E2-B47C-D61C2274AED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q914716$EFF5A105-3973-47FC-BBCF-CE4E08AC1BEE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6cbc33b7dbd253c931ab06ac63c9344c2a2c9d2a","datavalue":{"value":"The authors solve the question in which algebras all congruences are principal (PC). They prove:   1) A distributive lattice L has property (PC) if L is finite and all subsets of J(L) \\((=\\) the poset of all nonzero join-irreducible elements of L) are convex (resp. \\(\\ell (J(L))\\leq 1).\\)    2) A Stone algebra L has property (PC) if L is finite and \\(\\ell (J(L))\\leq 2.\\)    3) A de Morgan algebra has property (PC) if L is finite and \\(\\ell (J(L))\\leq 3.\\)     They also show that the Heyting algebras behave quite differently - to ensure that all congruences are principal a chain condition is necessary and sufficient.","type":"string"},"datatype":"string"},"type":"statement","id":"Q914716$99F05EB5-F8AC-40E3-A5DB-0AC1B9DCD1F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914716$06C5398D-79EF-4D08-90B5-43E01C9CFB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914716$9723E4E2-FBD1-4F19-AF75-8D58D9412F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914716$C48BAA6B-CAB0-4519-BC60-F32C1BCCE334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914716$9FA065D6-5E65-4B78-B78C-F303799B45B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914716$16A3219B-39E8-4B15-90F8-CC9611A8800B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12ae548760ee25a02daa54feda1b71eb1f11eff6","datavalue":{"value":"4150243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914716$B369F623-B58B-4CB7-8424-9B29D9C04028","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e674378f2cba21de14f62539e0e1979b55e1a41","datavalue":{"value":"principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q914716$0BA8EAA2-2F95-48ED-9949-531EBE9BA1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q914716$4051295E-D1E0-4A82-9F8F-A0C338F25408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"415175dc56dc89cbe5b5784db3682e7fd46e6070","datavalue":{"value":"join-irreducible elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q914716$787F13BF-030A-4DAC-B256-324C9529702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3904b45176a5d043eddbf54195e89fb93e328c4","datavalue":{"value":"Stone algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q914716$F39520C7-56FD-4595-9FB4-21E606193A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7c4e57df37a310f9e499b78cb6442b33763f2f","datavalue":{"value":"de Morgan algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q914716$FAFE6F27-1DDC-466A-9689-344D1754EC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q914716$679A5285-52CD-47A9-9482-F98B201C72F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57055338cecb8767a56254083a384e2580c152d","datavalue":{"value":"chain condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q914716$28C82292-219A-41CD-BB6E-392FB475758D","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":"Q914716$084BFCA0-7E0E-4B80-8254-FAD92A5C0E1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b830004283828a5a854967bb65846f4288ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":3726179,"id":"Q3726179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914716$8F34008A-F2EB-4458-92BF-801788227102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc4660c5d6dc63aaa2ed3d834f2a8346ed8e813","datavalue":{"value":{"entity-type":"item","numeric-id":3203062,"id":"Q3203062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914716$FEC54350-5280-4BAF-8A4B-11974D6E39D5","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":"Q914716$0163557F-B5EF-41BB-A7F0-DE642B0F3B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811765c3f6034c4b2599c0275bf0e4f520e56194","datavalue":{"value":{"entity-type":"item","numeric-id":4748185,"id":"Q4748185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914716$31CE3A8A-FCCC-41D7-9EF5-1EDB53C3DE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf0f7788ffbf25f9aa0e7616bfbd26d51431de3","datavalue":{"value":{"entity-type":"item","numeric-id":5650437,"id":"Q5650437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914716$E07E10CE-4ED9-4E12-8DFB-9252CE225AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914716$7780707A-2B34-4CAC-80E0-6A3A6BF2B50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94f8dfac4fd9fd0049495982d16ad4ad2c85d83","datavalue":{"value":{"entity-type":"item","numeric-id":5686072,"id":"Q5686072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914716$7691374D-5AA5-4851-8AF5-A15E6FA39DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e161dfbe8ad9eb3f28069aeb511dd5969d55b9","datavalue":{"value":{"entity-type":"item","numeric-id":4085775,"id":"Q4085775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914716$9016F17F-30D9-44FA-AD51-D2CAEC73EA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5710c2aba8ef4c542de483ebfca6cf7849ca633","datavalue":{"value":{"entity-type":"item","numeric-id":3222242,"id":"Q3222242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914716$F36C8D2A-71CB-429C-98B6-C2EF3D798EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71727067d4737321f764fbd25d4fbdd07b5f911e","datavalue":{"value":{"entity-type":"item","numeric-id":3861449,"id":"Q3861449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914716$A3A8F177-6C61-4CC2-97A0-49E8EAF14C55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc5e9e27b3e918731579c8c2c0f60b7fb936845","datavalue":{"value":{"entity-type":"item","numeric-id":5382584,"id":"Q5382584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8ca20a7ba684c25eed74acca7538ea492bf4d5","datavalue":{"value":{"amount":"+0.8794474601745605","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":"Q914716$72B50814-1678-4A24-AA5A-7ADA6360451B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a4a6c7b18a92bc1d56a336cf4a2010af551f47","datavalue":{"value":{"entity-type":"item","numeric-id":3762372,"id":"Q3762372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c364f35a568ac75147d22d55550904ff04235273","datavalue":{"value":{"amount":"+0.8609208464622498","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":"Q914716$E78544D0-0E70-4AFE-8225-BFE17108D169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4e949d820f65cd43cd3ca8847a33f0de577c63","datavalue":{"value":{"entity-type":"item","numeric-id":3820657,"id":"Q3820657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324e7ee85d4536f4aa5b730e5bdc1212c512638c","datavalue":{"value":{"amount":"+0.8415600657463074","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":"Q914716$112F9224-F3D5-422F-92A1-88AC3D3EC83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b819e1539ca1a7c2a5a9a47ed1b13e21fbe456","datavalue":{"value":{"entity-type":"item","numeric-id":2854030,"id":"Q2854030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e1a02a72acd8c755488d34f97b876888ea4624","datavalue":{"value":{"amount":"+0.831119954586029","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":"Q914716$84C56FB3-5671-48F4-981E-3DC05EB1977C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4117868d2e06a774599b1e37c9494d2f6972b297","datavalue":{"value":{"entity-type":"item","numeric-id":4019692,"id":"Q4019692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1e714fcc4f05a4004deccb89ebd1cb951765d9","datavalue":{"value":{"amount":"+0.8294739723205566","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":"Q914716$2BEA69F9-7FF2-47BA-B956-2865AD2FF4BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principal congruences on some lattice-ordered algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Principal_congruences_on_some_lattice-ordered_algebras"}}}}}