{"entities":{"Q800951":{"pageid":802799,"ns":120,"title":"Item:Q800951","lastrevid":48757882,"modified":"2026-01-05T19:23:54Z","type":"item","id":"Q800951","labels":{"en":{"language":"en","value":"A Mal'cev condition for congruence principal permutable varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878999"}},"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":"Q800951$9CEE9F5D-7388-4167-B8F6-CF54C4B9938C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e845e9f799aed9b691fef822d136b872ccba5f2a","datavalue":{"value":{"text":"A Mal'cev condition for congruence principal permutable varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800951$D59D0974-7D1E-4F69-AC7D-6D21A6AB06B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d11dea9a86f99e72f25e74949a436e1419cb6c9a","datavalue":{"value":"0552.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800951$F0116A6A-BB25-4924-97C5-067799FE28A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a7302b45decef9be0413a587d64a6a28bb4da68","datavalue":{"value":"10.1007/BF01201102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800951$E7BC3ABE-EF1E-418A-8ACD-C822C4ABC90A","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":"Q800951$CCC2C772-972F-4604-B8E3-C77CA6D38BC3","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":"Q800951$8BD16464-5D13-447F-9A24-C20FE0C14BB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e177167ea429a088ca8c9c8e6572a91560f1493b","datavalue":{"value":"An algebra is congruence principal iff the join (in the congruence lattice) of finitely many principal congruences is principal. \\textit{R. W. Quackenbush} [ibid. 14, 292-296 (1982; Zbl 0493.08006)] has proved that congruence principal varieties can be characterized by a Mal'cev condition. This paper proves that a congruence permutable variety is congruence principal iff there are 5-ary polynomials r and s and a 6-ary polynomial t such that the variety satisfies \\(x=r(t(x,z,x,y,z,v),x,y,z,v)\\) \\(y=r(t(y,v,x,y,z,v),x,y,z,v)\\) \\(z=s(t(x,z,x,y,z,v),x,y,z,v)\\) \\(v=x(t(y,v,x,y,z,v),x,y,z,v).\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q800951$551F5320-8C44-4CB4-A501-CA729EA68370","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800951$81B2A204-602A-43DD-9EB1-0070438932F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800951$09A97A2A-A30F-473F-8864-80A8FA96F236","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72935297262b5a8e47d90e07c579119e8071a265","datavalue":{"value":"3878999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800951$34A55410-EF6F-4439-9DE8-6AEE6B72DB19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q800951$753FCBA2-DEAC-4F83-9D7B-9B576F1BDD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e674378f2cba21de14f62539e0e1979b55e1a41","datavalue":{"value":"principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q800951$C41AC66A-0F61-4687-8482-899BA541D978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba45efaa49a16d39c9391742318293b735ca7d99","datavalue":{"value":"congruence principal varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q800951$F044485A-84FE-4C90-8855-5C5545788058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d87a388c0b17c60d32a6e259447a5915e0afe6","datavalue":{"value":"Mal'cev condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q800951$7B547220-98EB-4EBB-951E-FA5539403D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd416648139ffce6829cb24a1857a6823634869","datavalue":{"value":"congruence permutable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q800951$20F76BA1-7BF4-4D10-BC54-366D9622F8F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800951$409B796D-FC97-42EC-BC00-14AA144DC88A","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":"Q800951$AC616B23-2D01-4F10-8DBF-267A08BF933F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b058799f90ed002334e4f65a945c8bbf37159099","datavalue":{"value":{"entity-type":"item","numeric-id":4149782,"id":"Q4149782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800951$C5B9E5AB-6DB8-4520-970A-CBE3624E4B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83957715fe2c08760f3c8f2b03c42de0513fd89","datavalue":{"value":{"entity-type":"item","numeric-id":1168344,"id":"Q1168344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800951$A5BCF6F5-A00A-4678-A543-D6DB251C87C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d31515cd3111537da5b01fd685f79276ff00fb","datavalue":{"value":{"entity-type":"item","numeric-id":1393259,"id":"Q1393259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800951$4B78A173-0373-4D92-9666-BD4E43144787","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924a67f9d135985104552af0f57d811d0463089b","datavalue":{"value":{"entity-type":"item","numeric-id":3781811,"id":"Q3781811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be3ebdce0ae25b8ee8ba8654cb5bc4de5a1ed49b","datavalue":{"value":{"amount":"+0.8204554915428162","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":"Q800951$620E4675-583D-4425-9E91-ACE7E98F1BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c61ed5de3ce111e1c3900d846b81d70f6277a2","datavalue":{"value":{"entity-type":"item","numeric-id":3490056,"id":"Q3490056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063c4099aea0441ab4bc35a8ad225a7e603595ee","datavalue":{"value":{"amount":"+0.8149711489677429","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":"Q800951$F9ED75EF-1418-4B7F-8A1F-F29BE387DC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e02e5a45daccac6050d7640b62735267f8223614","datavalue":{"value":{"entity-type":"item","numeric-id":3726184,"id":"Q3726184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f017236384dbbd1ab1d8d3b86576a39097e7c83","datavalue":{"value":{"amount":"+0.8117759227752686","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":"Q800951$7F0448B7-E690-4C20-871B-E422E1D3DCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d6c929cd286bf3a4f7130c8e0ba79729a87aed","datavalue":{"value":{"entity-type":"item","numeric-id":1175755,"id":"Q1175755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57549c3fc31b1e2219cbc2a1de27527cc224db07","datavalue":{"value":{"amount":"+0.8105432391166687","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":"Q800951$EDAF8D81-D927-4DA0-9DAB-71B9AA9D3C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced1181177882acbcb1712048b89056d715b8981","datavalue":{"value":{"entity-type":"item","numeric-id":3791205,"id":"Q3791205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b990f61b15bb2c44c81a4220eda3e154e633c82c","datavalue":{"value":{"amount":"+0.8061758279800415","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":"Q800951$118EF5F9-51A0-4F7E-B3E6-353533C02F6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:800951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:800951"}}}}}