{"entities":{"Q995379":{"pageid":997227,"ns":120,"title":"Item:Q995379","lastrevid":65912991,"modified":"2026-04-12T06:13:23Z","type":"item","id":"Q995379","labels":{"en":{"language":"en","value":"2-uniform congruences in majority algebras and a closure operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5186251"}},"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":"Q995379$5E8AF162-1323-493A-9BCF-7CEDCB28FF79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa7d44095af62ae9a3edace87d433ee804411bcb","datavalue":{"value":{"text":"2-uniform congruences in majority algebras and a closure operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q995379$AB6D39D0-F05C-4649-8117-79FC5245CA5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8992bf6a4d0837d036b0b902d010353739d10fee","datavalue":{"value":"1121.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995379$EEC8B8D3-E555-4CCB-A6FB-5DAD8E1AD453","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995379$B70A8BA5-ED0F-47BE-872B-BF4275BEA539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-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":"Q995379$1F9DF596-C721-4FC2-AA2F-EB49644EAC1E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40e346e5bf37c947a367ec42b5dd74e2d0c916aa","datavalue":{"value":"A congruence \\(\\alpha \\) of a finite algebra is called uniform if all its classes have the same number of elements (if all the \\(\\alpha\\)-classes are two-element then \\(\\alpha \\) is said to be a \\(2\\)-uniform congruence). If all congruences of \\(A\\) are uniform then \\(A\\) is said to be a uniform algebra. In [Acta Sci. Math. 71, No. 3--4, 457--460 (2005; Zbl 1101.06004)], \\textit{K. Kaarli} proved that uniform finite lattices are congruence permutable. The main result of the present paper is in connection with the result of Kaarli: For every finite algebra \\(A\\) with a majority term any two \\(2\\)-uniform congruences of \\(A\\) permute.","type":"string"},"datatype":"string"},"type":"statement","id":"Q995379$BE542458-08F7-4D2F-B179-DE92F3473190","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995379$9D7A7F45-1A44-4467-B115-D3998AC8A3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995379$53874BA0-0135-44FC-B364-E7FD2564A64E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1d62acb322ef6f4736c3a4166082cab1aac4231","datavalue":{"value":"5186251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995379$28D60C64-1E2A-485C-80DF-5D6DD9D6BD4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q995379$72AF65A0-10A0-4E82-A786-7BEFAB5708B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q995379$474CAE9B-4413-429E-AFAB-2F95F2BC1876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eee769e6ecc288fa532221c741e304e7724e36d5","datavalue":{"value":"majority term","type":"string"},"datatype":"string"},"type":"statement","id":"Q995379$6158AD07-138A-438E-8FC4-0F8EE35429AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b6b335687f38a561260f0772b2d36f4d6795fc9","datavalue":{"value":"near-unanimity term","type":"string"},"datatype":"string"},"type":"statement","id":"Q995379$DDCA452F-C080-470A-9781-62D6091C98CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b40833acd6377c9454c1ab7759cf48c8efc6a9c","datavalue":{"value":"uniform congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q995379$85222687-DBBE-4261-8BC8-4DAF7ED528C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9434fb7d91190cf22782c7c0d0cca9761868f9","datavalue":{"value":"2-uniform congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q995379$0B4F1F79-F753-41FF-8DD9-83D47B7083E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b886cb0f6fc5f69fe9b63d329596cf05161a0ca","datavalue":{"value":"concept lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q995379$C292A06F-7EA8-472B-B23B-90E4FF253EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386f75a80d8c228a580bdbdbaec48505f296713d","datavalue":{"value":"association rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q995379$C834BCD6-024C-446B-B66A-99DB1DFE893C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c649e22bb3d5db2066270d2895619e83ca9dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":353351,"id":"Q353351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995379$FB00A2C1-1D62-4A77-B39E-16206DDD2936","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995379$3F03F377-FC74-45C6-80E3-AF386896005A","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":"Q995379$611E8BD0-22EE-465C-94F8-D41804B00709","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df68e5545eb0c837240e0c684ff8379c4d155172","datavalue":{"value":"https://doi.org/10.1007/s00012-007-2021-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q995379$A191EFB5-7060-4319-85EA-BDB5B3AF1E64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64a6902a8e1fc55ce17bab95b8a4d5560382d2d2","datavalue":{"value":"W1980400028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995379$EA199C0D-4AF0-4E88-B741-F66DB47FFAE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d6ebe9e73f640c8ddc083b9118b510502e77177","datavalue":{"value":"10.1007/S00012-007-2021-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995379$9C5257A9-C278-48A9-8D5A-E0D17A5A45CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d00ad6566585ca854df27dfb4497cdd671531a1","datavalue":{"value":{"entity-type":"item","numeric-id":1001457,"id":"Q1001457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a148228d7ebe8e6fc8a5d41b4f6a91a845d1b13","datavalue":{"value":{"amount":"+0.8624809384346008","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":"Q995379$B3A6E2E7-2C2A-4AE2-879B-EAC4BE304888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a4d87ed208b0e506a110246b7cd7f7ef774831","datavalue":{"value":{"entity-type":"item","numeric-id":2713693,"id":"Q2713693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"119937a2bf47fe8514c0a8234a029f43d0033f72","datavalue":{"value":{"amount":"+0.8566445112228394","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":"Q995379$C6FE8BC3-8732-4F13-BE2D-3FF4C61643F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4a459dd46f0ad4d918f9e2a7f865d2ff44c571","datavalue":{"value":{"entity-type":"item","numeric-id":5478077,"id":"Q5478077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c244cdebd0cdf700bece289f40146331429026df","datavalue":{"value":{"amount":"+0.8391005396842957","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":"Q995379$F405C234-7E5D-4174-82AE-1671D7ECFB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd4c5e82021c89e0075707687257365fbf979a5","datavalue":{"value":{"entity-type":"item","numeric-id":2510716,"id":"Q2510716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efb0c8e3e2644635f591ccfd545a8f9246b36f7","datavalue":{"value":{"amount":"+0.8259111642837524","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":"Q995379$31A03739-1D91-4B66-9CE1-603B74EAB7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0611fd5ece67b894c805fabc08e789508c5ad9","datavalue":{"value":{"entity-type":"item","numeric-id":3804762,"id":"Q3804762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cec5347bf13c16231536be2afb6a0d5be52c891","datavalue":{"value":{"amount":"+0.8231984376907349","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":"Q995379$5A6B04A8-BC0D-494E-B910-2F3076C5F8F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"2-uniform congruences in majority algebras and a closure operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/2-uniform_congruences_in_majority_algebras_and_a_closure_operator"}}}}}