{"entities":{"Q818705":{"pageid":820553,"ns":120,"title":"Item:Q818705","lastrevid":42712409,"modified":"2025-07-08T18:19:00Z","type":"item","id":"Q818705","labels":{"en":{"language":"en","value":"Approximate distributive laws and finite equational bases for finite algebras in congruence-distributive varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013975"}},"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":"Q818705$3019FC16-A3DF-4DE7-9260-5764FBFD4EA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf1ffe5f8dbcc75fb1cfb0981f6f3a0679548d57","datavalue":{"value":{"text":"Approximate distributive laws and finite equational bases for finite algebras in congruence-distributive varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818705$0C7A5F8D-F330-49F3-A8AB-ABE6E83F6385","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3989aa441d6fbd0ebd4fcd94fefdcc683d8ae1a7","datavalue":{"value":"1088.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818705$A632FE31-7516-4FD9-AE18-849989EF9D0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d9bd829d853802f6bc9f97b4a4054df50a686d","datavalue":{"value":{"entity-type":"item","numeric-id":790853,"id":"Q790853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818705$ED18F22F-C51F-40E4-8FE5-4EA052F7C6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fe9e33ec4e4ce49f6bd3f41237aa4786f6b2389","datavalue":{"value":{"entity-type":"item","numeric-id":230381,"id":"Q230381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818705$48CE16A9-FD60-481C-83B3-FC976BDC5529","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":"Q818705$04E27D29-6B60-415E-85FC-B8A9C79080D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"772948f2487b02c578217863cb0a65a1011ee253","datavalue":{"value":{"time":"+2006-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818705$867AED3C-5FE1-4C46-9837-3E0A3B99B414","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d081ef1bf95e4e3f7711b0b342d1a2a1e90fc910","datavalue":{"value":"An operational unary polynomial on an algebra \\({A}\\) is defined to be a polynomial function obtained by freezing all entries except one in a basic operation on \\({A}\\). Let \\(O_A\\) be the set of all operational polynomials of \\({A}\\). For \\(\\alpha\\in\\text{ Eqv}(A)\\) let \\(\\mathcal{O}_{\\alpha}\\) be the equivalence relation on \\(A\\) generated by \\(\\alpha\\cup\\{\\langle p(\\alpha),q(\\alpha)\\rangle:p\\in O_A,\\langle a,b\\rangle\\in\\alpha\\}\\). Let \\(M\\) be a positive integer. An algebra \\({A}\\) is said to have Mal'tsev depth at most \\(M\\) if \\({\\mathcal O}^{M+1}={\\mathcal O}^M\\) on \\(\\text{Eqv}(A)\\). The authors consider certain conditions dealing with equivalence relations and the operator \\(\\mathcal{O}\\) which they denote as approximate distributive laws. These conditions are applied to give constructive proofs of the following results: (1) Let \\(\\mathcal{V}\\) be a congruence-distributive locally finite variety. If the Mal'tsev depths of finitely subdirectly irreducible members of \\(\\mathcal{V}\\) are bounded by \\(N\\), then all members of \\(\\mathcal{V}\\) have Mal'tsev depth bounded by \\(N+D\\), where \\(D\\) is the maximum depth of the designated J\u00f3nsson terms for \\(\\mathcal{V}\\). (2) A congruence-distributive variety of finite type that is generated by a finite algebra is finitely based.","type":"string"},"datatype":"string"},"type":"statement","id":"Q818705$55338CD9-717D-4354-A36C-A84264F58E80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818705$54289312-9592-48DC-A55C-39EA90BA2951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818705$15743409-B301-4CAE-B605-3A0AAB0AF2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818705$DBD48181-3263-4909-B813-6966FEB7D0FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cb58f524c532f49db08827c31c609605a6b52d6","datavalue":{"value":"5013975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818705$A0A1CDB3-7208-43D8-87C6-BA9D0194CCA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f67f87509f05dc005d93da5d6acf04d12e3a499","datavalue":{"value":"congruence distributive","type":"string"},"datatype":"string"},"type":"statement","id":"Q818705$76D7751D-FB4E-4B2E-9694-880BD8EFBDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36e88e1e416ed903cfa4f239bd2272493f8f6b1","datavalue":{"value":"principal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q818705$F144AE8E-5274-4D23-9240-EF71AF515723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2af3a72e10471202f512b7da39a1ea20e9a44d","datavalue":{"value":"finite basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q818705$0B1EC48E-5CBE-4D2F-A9C4-62534142B9B0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"69b1bcb141ed2a99fdbd1cc9a0c46453e373e666","datavalue":{"value":{"entity-type":"item","numeric-id":271693,"id":"Q271693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818705$A5A401D1-54CD-4AF3-BFEC-41297564A95F","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":"Q818705$CD5C7285-254D-4CAE-AE64-FC4C0F5EC2E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0b359230aabac68a5a0f19985e5e36cc0ed45f1","datavalue":{"value":"https://doi.org/10.1007/s00012-005-1928-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q818705$38574F47-DC2E-4D5A-96EF-CC0DB73D678D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c714de334ac351c0eb3e63f869e6ee13901e872","datavalue":{"value":"W2030559321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818705$A7C3817A-E235-4A32-8C16-01EDEA4F5214","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f97a2aba8598b55491afb742c7cecb25db48ce97","datavalue":{"value":"10.1007/S00012-005-1928-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818705$C32088CA-896D-44B3-83CE-3A855DB40611","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9317362efd4e0717e1654839a66f6b9873cf34","datavalue":{"value":{"entity-type":"item","numeric-id":1102311,"id":"Q1102311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284e8135fb0c84e698c2ed75d06c3b37d0ae8371","datavalue":{"value":{"amount":"+0.93149054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818705$AD5E1E47-BF39-4D3E-B547-DD9D4491110B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43378a96fa7f98c49cf7b9d0e6e0aafcb775afa2","datavalue":{"value":{"entity-type":"item","numeric-id":3487457,"id":"Q3487457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0418ccf6f158268d426fe01958cbe117d7e02f9e","datavalue":{"value":{"amount":"+0.90083563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818705$79A56839-9E68-4475-80D5-8D7E263663A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d746f885fe5ed629f950859dc165aec4b5f1f85","datavalue":{"value":{"entity-type":"item","numeric-id":3351421,"id":"Q3351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de28c8ba3ea10843a3c4cdecf1fa3712a7dcb353","datavalue":{"value":{"amount":"+0.899537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818705$886DC64A-7909-42C1-BC1F-F004E3E034B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534f70cb77413fab6481df1fb9362a28c239e2f4","datavalue":{"value":{"entity-type":"item","numeric-id":3835511,"id":"Q3835511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e5973860ddd8ccd252fc2e4e70d8e079c43336","datavalue":{"value":{"amount":"+0.89744556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818705$351BF2F5-5A11-441C-906C-CAFB997A7223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b3a738358352b9c9fcc3cdcfa6031613f064d5","datavalue":{"value":{"entity-type":"item","numeric-id":911623,"id":"Q911623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e5973860ddd8ccd252fc2e4e70d8e079c43336","datavalue":{"value":{"amount":"+0.89744556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818705$772F0DA9-E9C7-4980-BEF9-33DDD9C90E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aae6f04e4449afc1bf6bf0703bb218cef209ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3765831,"id":"Q3765831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36d4f77b86900fbbe2753e1ad69b88b1e5f2448","datavalue":{"value":{"amount":"+0.8963175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818705$D3B5EA2D-7234-435D-AF9F-FA3B9320DBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa771a68b9682a8287b54d5578f62b5fbc7f483","datavalue":{"value":{"entity-type":"item","numeric-id":1179764,"id":"Q1179764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6447cb40cda267a692055705e608338a5d2015f","datavalue":{"value":{"amount":"+0.8947441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818705$F49F8BC5-602A-488E-8CAD-C36FEF807192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb7c9c1e5a71756ca5062269b6b19fd42217fe4","datavalue":{"value":{"entity-type":"item","numeric-id":5901958,"id":"Q5901958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541b4a80f3ee3a0f399472a16ba1e517a3546c50","datavalue":{"value":{"amount":"+0.8873271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818705$0389BDB4-254F-487A-ADDB-0D07F051AAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db40d269a9aadb33dd3a28647f1bc66e37ed900b","datavalue":{"value":{"entity-type":"item","numeric-id":4466664,"id":"Q4466664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f861d076bb2c731706b8a31d81b88346bdc5dc","datavalue":{"value":{"amount":"+0.88354427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818705$0798515F-549B-4D96-BE25-A4046049FEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5517a5a34fa546cda05c18b36df81f13a0a43e","datavalue":{"value":{"entity-type":"item","numeric-id":4907620,"id":"Q4907620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16460fc19395c2a08c38b0769993e3eab05e249","datavalue":{"value":{"amount":"+0.8814692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q818705$B10B2ACA-C0FA-4C8F-90E1-22E89EB0A9FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:818705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:818705"}}}}}