{"entities":{"Q794684":{"pageid":796532,"ns":120,"title":"Item:Q794684","lastrevid":64388859,"modified":"2026-04-11T19:31:38Z","type":"item","id":"Q794684","labels":{"en":{"language":"en","value":"On congruence n-distributivity of ordered algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3859197"}},"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":"Q794684$34B14A70-A744-4491-9D37-65989C1ABD29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f993b72f739d27ba590a80b82e2a60f568e3bb11","datavalue":{"value":{"text":"On congruence n-distributivity of ordered algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794684$45249793-B8AD-431B-A54C-835EEB0734E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acbf38a7f8672f2dcd424b5e3d24cc966a6c9384","datavalue":{"value":"0541.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794684$02B01932-239A-450D-8595-D0F70628D2E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65be678adba4e95602fe643de7af7aebacba5494","datavalue":{"value":"10.1007/BF01994057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794684$CD483436-34DC-4B10-A1B0-FA78CC07CC28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2d3326134493b3792739f81f98fdcb46aa392e8","datavalue":{"value":{"entity-type":"item","numeric-id":794683,"id":"Q794683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794684$F6FD27D5-6190-434C-B3EC-EA9D0EF57CA3","rank":"normal"},{"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":"Q794684$7099472D-A25C-473C-9E98-0A973B672BC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794684$50EEF4A2-94D1-4CA1-84DC-7EFEFE1BB07A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q794684$C01DCC3D-C215-4A1C-A68C-7916DC5F5FE0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7bde9dbefb6934fc0d0803661964e8d5d9657887","datavalue":{"value":"Nation proved in 1974 that n-distributive congruence varieties are distributive. The aim of the present paper is to generalize this result for the case of ordered algebras where an ordered algebra is a universal algebra which is partially ordered in such a manner that its operations are monotone with respect to the ordering.    The main theorem of the paper asserts that if n is any positive integer then for classes which are closed with respect to subalgebras and direct products the following three conditions are equivalent:    (i) the congruence lattices of all algebras in the class are n- distributive,    (ii) the congruence lattices of all algebras in the class are distributive,    (iii) there exists a sequence of ternary terms satisfying a certain system of equations.    This result implies some known results on congruence distributive (n- distributive) varieties of universal algebras. The last part of the paper contains an algorithm which associates a strong Mal'cev type condition with an arbitrary lattice identity \\(p\\leq q\\) such that the validity of the latter identity in some order-congruence lattices is equivalent to the validity of the former Mal'cev type condition in the corresponding variety of ordered algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q794684$EF7F15AC-3845-4898-9E17-541E56717526","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3e4fc0dc53116c06a637ea4384a64ce2e6b9463e","datavalue":{"value":{"entity-type":"item","numeric-id":791549,"id":"Q791549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794684$C3A563C7-51DD-491E-880D-8C8B5B972FC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794684$DABC2D2E-2617-4C35-89B4-CD52D3115D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794684$0955FEFC-B79B-46AF-B036-CA147C6C49DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794684$DE1B0992-5921-4F39-8BDB-E6EE373217AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794684$F60294BD-0DC0-4C1C-A57F-A69808B7641D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a83aef43ee0b6910ac284baf31f4b392fafa8288","datavalue":{"value":"3859197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794684$7761C7B3-29B7-413D-9507-D515A1D03BC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc6b6d9d2fd1d508a3bf3eead341ec2745c3395d","datavalue":{"value":"n-distributive congruence varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q794684$E54FCCE2-7AF3-47FC-8950-A3D2E54D1485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a7a1989958eead4e4c55f8e138c7f3e948af300","datavalue":{"value":"ordered algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q794684$790C154E-5324-49A0-8B16-D508CF3767C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63ed4af32740cf2a9ad8cffcd4b3c19e6b46ddb","datavalue":{"value":"congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q794684$C14F70F7-2E12-4941-AF53-15A81E2F9D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bfe927f523ba2d00c1f309e4f9b2890989566aa","datavalue":{"value":"strong Mal'cev type condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q794684$473E2913-1CA6-4572-AD01-3ACFCE6B0F75","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":"Q794684$58F387D4-6A43-4EA0-8320-1CF0A7C1E11F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794684$919333B0-1B19-4F20-AD61-606F60EABDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aaa2d3f71f75b72a3881f4e451ef3167b2f912e","datavalue":{"value":{"entity-type":"item","numeric-id":1155075,"id":"Q1155075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794684$66233082-1F70-4F36-9B67-430C65AA7D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8ce79719d5de192d355dfa1543b5783c60896d","datavalue":{"value":{"entity-type":"item","numeric-id":5686073,"id":"Q5686073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794684$8755E14E-8282-43B5-B804-A600756255B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fcd3e64ad3b0de98df61634b49a4247db9a471","datavalue":{"value":{"entity-type":"item","numeric-id":1248533,"id":"Q1248533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794684$8F890C4A-4B50-4759-81F7-5ABC7DB0EEF5","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":"Q794684$934CF4B6-801F-4222-9CF5-9FC2CF2A9BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156be4ede0b912c2a8be0a0f4050e53d95a92dd1","datavalue":{"value":{"entity-type":"item","numeric-id":4055693,"id":"Q4055693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794684$164DC015-B4CF-4827-9058-6459E1529889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2d96d19e954791c6a233dd6ee9b07baac4b8f6","datavalue":{"value":{"entity-type":"item","numeric-id":1214954,"id":"Q1214954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794684$4A906ACF-2D56-4D04-A715-32CA393278FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25107f4343624d6bfd802b360e5baf73c4e82832","datavalue":{"value":{"entity-type":"item","numeric-id":5668851,"id":"Q5668851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794684$30D344F0-F4F8-4DAF-9D19-4D429669929E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bafcf5f10cf5679d1e7c89312ce81e6b04bfed48","datavalue":{"value":{"entity-type":"item","numeric-id":2906337,"id":"Q2906337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc94d920165299fe7b43c8b824a212611aa6d8c","datavalue":{"value":{"amount":"+0.93413245677948","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":"Q794684$E4C74212-EFF2-4423-9053-B59879C782C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89967eb0e31fdad818d40e08adff50441b36d81","datavalue":{"value":{"entity-type":"item","numeric-id":4261818,"id":"Q4261818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b92ce8d625a4661c90affe517b1d6ea566953ea","datavalue":{"value":{"amount":"+0.8054612278938293","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":"Q794684$417A9BBA-3A61-4D15-90F8-1EDB5E33CCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c35d75a0e1b02aa0000bd7bb491e041621c179","datavalue":{"value":{"entity-type":"item","numeric-id":4508862,"id":"Q4508862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb0894bce322e7ddef597ee04b137e9fde56aeb","datavalue":{"value":{"amount":"+0.8039901852607727","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":"Q794684$0ED931A7-BDA8-45F1-9738-F3492C7E4151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19e2da02c77ac55e7d0a5c2baca00d829f31f4d","datavalue":{"value":{"entity-type":"item","numeric-id":5855778,"id":"Q5855778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14413977e9bc7b6d619540936ff81bc4e0599a4f","datavalue":{"value":{"amount":"+0.7955933213233948","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":"Q794684$8D7C55E1-32C7-4C39-8D34-E7A2AD2AEA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b89d53558408335d4bb6c33b0c76517d2f725c6","datavalue":{"value":{"entity-type":"item","numeric-id":2443677,"id":"Q2443677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2554c99f923700ca20965ea5ef41721660847ec","datavalue":{"value":{"amount":"+0.7865122556686401","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":"Q794684$24B97F9C-6EF0-4BE3-BE37-1C5740AE3F49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On congruence n-distributivity of ordered algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_congruence_n-distributivity_of_ordered_algebras"}}}}}