{"entities":{"Q759783":{"pageid":761632,"ns":120,"title":"Item:Q759783","lastrevid":64121991,"modified":"2026-04-11T17:47:15Z","type":"item","id":"Q759783","labels":{"en":{"language":"en","value":"Congruence-lattices of discrete RUCS varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3882505"}},"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":"Q759783$E2CD33F9-EA64-44D0-A76B-C804881CA438","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b608607d9c8d9ec75975b1e67b97198a4add5e47","datavalue":{"value":{"text":"Congruence-lattices of discrete RUCS varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759783$57C66157-7251-4B83-A827-65B8672BCC5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a876bcc8996883c0e962b3352631ad4819a8059","datavalue":{"value":"0554.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759783$CCB5FFCE-3841-4F5C-9EF3-7B36A7266C8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c046f99dd3811e1b46f9c3b930412c363bee78fd","datavalue":{"value":"10.1007/BF01190428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759783$C4A57747-107C-456C-9D89-0E0840B2F028","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":"Q759783$B36FB212-9391-4DEB-9999-AE14D5C9F001","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q759783$71D7A0F4-A856-4DAD-BF86-0B05CBD61E99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"715730d30dc2520709b5b67337695744e2ae6189","datavalue":{"value":"The author deals with a very special kind of algebras having ''equationally definable principal congruences''. These are still generalizations of discriminator algebras, defined as having a four-ary term f satisfying \\(f(a,b,c,d)=d\\) if \\(\\Theta\\) (c,d)\\(\\leq \\Theta (a,b)\\) and \\(=c\\) otherwise.    The congruence lattices of such algebras are described: 1) non-disjoint congruence classes are comparable or, equivalently, 2) the congruence lattice is distributive and exactly the join-irreducible congruences are principal or, equivalently, 3) the congruence lattice is isomorphic to the hereditary subset-lattice of a poset containing an (up-)cofinal chain.    The ideas are used to generalize a result of R. Quackenbush: If the largest element of a congruence lattice is the join of k join irreducible congruences then it is the join of at most \\((k+1)/2\\) principal congruences. Some sort of converse is also proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q759783$EA55B016-059E-400A-90F3-FE377580CA7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759783$DAC0C2F4-2B1D-4DB6-B1A8-766AFFF0D172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759783$47E513FA-4A86-4A34-A4F7-05E04C734E5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"236e400dd2d58526a15c4cd3464440a7ee554033","datavalue":{"value":"3882505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759783$85BBFE53-1F6E-4586-9CA1-809F799199FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a94013f4d5cf44394ac6e7b1f23ed4712161fbe8","datavalue":{"value":"equationally definable principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q759783$28396509-0D1A-4840-80C4-F641B9D89363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4052b8816f36524bdc689ec11121493f2ec1bb7c","datavalue":{"value":"generalizations of discriminator algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q759783$C397BFB2-C3D5-4AE8-B9DB-967D98862B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63ed4af32740cf2a9ad8cffcd4b3c19e6b46ddb","datavalue":{"value":"congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q759783$9290D91F-F510-4887-A6F7-882F93C7F6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57d4e4a2c1ea16516a503580b762170159efeb28","datavalue":{"value":"largest element","type":"string"},"datatype":"string"},"type":"statement","id":"Q759783$41A419DE-1430-43EC-A4B6-D148F26EE898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"004d29ccb171ab93d613306ef5e93869215898fa","datavalue":{"value":"join irreducible congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q759783$7263118D-1914-40B4-AEAB-94974CF92BB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93c46659410a2551e2625578830df596db0e0115","datavalue":{"value":{"entity-type":"item","numeric-id":1771856,"id":"Q1771856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$BE388049-1258-45A4-9EFE-F175D5BB6A4A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eba4b864a38ffad8038867202a5720a7e8617448","datavalue":{"value":{"entity-type":"item","numeric-id":1586350,"id":"Q1586350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$21B765C9-BE0B-4104-AF55-E0B3719DB82B","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":"Q759783$2782F80E-3A0A-4D7E-9871-27EE49592F28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f737ecceea7ad9eb1479987525b5c82cad57f94","datavalue":{"value":{"entity-type":"item","numeric-id":4041620,"id":"Q4041620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$52D18A15-899D-44EB-B5DF-A4C6082425FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef350ead7090cd66027dea6c9a11f206e833f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1839272,"id":"Q1839272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$F7924190-6CA8-4F24-97CE-6ADFA9E1F88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b20004731eb077d1c8cedefc247638148aff988","datavalue":{"value":{"entity-type":"item","numeric-id":1342132,"id":"Q1342132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$D9257A61-4261-4899-BA18-1603B82E288B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be943e92bc7b0b7b0830b4b8535fc7ae25b8758e","datavalue":{"value":{"entity-type":"item","numeric-id":2549709,"id":"Q2549709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$2BDDD9E4-E7E8-42ED-8919-C478D3775031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e70abe13c34dd8b17ff9482912da92532511d","datavalue":{"value":{"entity-type":"item","numeric-id":4184889,"id":"Q4184889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$6B59AD2A-F00F-466B-AC3F-CEDD09446E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27773e1a98c11659c07243651e7874644999160d","datavalue":{"value":{"entity-type":"item","numeric-id":1138009,"id":"Q1138009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$76A936C3-8C2B-42C0-B48D-90E0FC95A547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0a5fe31bbcfc94b385f5edf3a25a8c16107996","datavalue":{"value":{"entity-type":"item","numeric-id":5727672,"id":"Q5727672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$4C4F7E66-82D7-4379-BC85-9859230C1604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$56D4D5B3-8121-4219-A0E8-CD8FDD0AFF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7352ffea4175f3660cfe13292365d0074611b9a1","datavalue":{"value":{"entity-type":"item","numeric-id":1146705,"id":"Q1146705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$79C08E46-B599-4AFD-9C73-EF318C347829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd131da3d7130f65e0873b5abda4c55633d07161","datavalue":{"value":{"entity-type":"item","numeric-id":2556881,"id":"Q2556881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$3AB5EB0B-C11C-4831-9BDF-3EC9E1D52745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f78e5a4a2c2ae6252ea546a2c819dce4f8ea29a","datavalue":{"value":{"entity-type":"item","numeric-id":5720214,"id":"Q5720214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$4DC7789E-90B3-4DB9-9F3A-43C54A3D4DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce69a6cb4cd7586f97572d7741745edd7dc1e42","datavalue":{"value":{"entity-type":"item","numeric-id":1239185,"id":"Q1239185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$69CAC2BC-79C4-4FA2-AB42-5CAB943B3B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1797d7228a6c6e8e7ee381773279dffd774c445","datavalue":{"value":{"entity-type":"item","numeric-id":2550408,"id":"Q2550408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759783$74813F95-DCF0-4846-A15B-8DF75DEC7051","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bf93b2d826cd75cd607683451d07b99c8ec7d6","datavalue":{"value":{"entity-type":"item","numeric-id":2277502,"id":"Q2277502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df0f5c0d8e221c0a7e29cc74bd3be1162ba90e96","datavalue":{"value":{"amount":"+0.7785524725914001","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":"Q759783$7CA84F4F-7BDE-44C8-9880-80F29F3BAA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b3ee4e1e65930bfe05cc3c4a8084446b2850d93","datavalue":{"value":{"entity-type":"item","numeric-id":762523,"id":"Q762523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2de6b8c021b2eabaed93c605ef4fc0521066db","datavalue":{"value":{"amount":"+0.778441309928894","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":"Q759783$58592EBC-2FE9-439E-92C4-07B9ED97354E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0032bdbfd89f55af372681b82646b215615fcc6e","datavalue":{"value":{"entity-type":"item","numeric-id":3754039,"id":"Q3754039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525489347ba7ca3484ed7298c8b620a7af5e6918","datavalue":{"value":{"amount":"+0.7722827792167664","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":"Q759783$DB25884A-8837-4CFD-98F1-DEF6C4FCFAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651dc21ab783544925e688c57e6358cc1b23b7ff","datavalue":{"value":{"entity-type":"item","numeric-id":759785,"id":"Q759785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99c35f44623f57cb5c734f111ce651d1071a5ec","datavalue":{"value":{"amount":"+0.7705113887786865","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":"Q759783$00901BAE-FBFC-4EC5-A753-1BEFFE8911E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012d8e3664589fdf02fac660c195e8d4f0de8a38","datavalue":{"value":{"entity-type":"item","numeric-id":1342132,"id":"Q1342132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f807d52afdda200c9b16584daaee18ee7289c1","datavalue":{"value":{"amount":"+0.7701031565666199","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":"Q759783$D6DC0A04-4821-41FE-8E7E-521799E8D8DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence-lattices of discrete RUCS varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence-lattices_of_discrete_RUCS_varieties"}}}}}