{"entities":{"Q2496159":{"pageid":2506902,"ns":120,"title":"Item:Q2496159","lastrevid":49876261,"modified":"2026-01-11T12:56:57Z","type":"item","id":"Q2496159","labels":{"en":{"language":"en","value":"All congruence lattice identities implying modularity have Mal'tsev conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5040229"}},"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":"Q2496159$32EE364C-3CBA-4F8F-B384-B96BD7B0A2C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e595e3cda8b522e73f911b5c402514aef296005","datavalue":{"value":{"text":"All congruence lattice identities implying modularity have Mal'tsev conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2496159$B1879C16-0BE0-4DF9-BECC-CAE9187385AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d62a81d90bbd0d6e10055913d57b1f6d08463eb7","datavalue":{"value":"1091.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496159$89CD5243-7927-4AF3-9BAD-74D156ABC0FA","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":"Q2496159$8C9874F7-B54B-413F-B085-5083398E0380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15ac9b6c43ff8754e24dd3d55c0edcc47b1d7d7e","datavalue":{"value":{"entity-type":"item","numeric-id":616384,"id":"Q616384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496159$6D454E15-6037-45B6-95F7-CD36E1CE4A68","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":"Q2496159$A2B17A64-D3C0-4622-9C63-63AF32B60681","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695354130dab3a786d23413cb8a043a7f99b90ed","datavalue":{"value":{"time":"+2006-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2496159$E448ACBF-8596-4B1D-B064-471A9784DE07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20e02f20f41cea498d694a1bec14106e3965f20b","datavalue":{"value":"For an arbitrary lattice identity implying congruence modularity, a Mal'tsev condition is given such that the identity holds in congruence lattices of algebras of a variety if and only if the variety satisfies the corresponding Mal'tsev condition. This Mal'tsev condition is formulated by means of Day's condition for congruence modularity and the original identity \\(p\\leq q\\) (stronger than modularity) such that joins in \\(p\\) and \\(q\\) are substituted by a certain number of relational products and a Mal'tsev condition for the resulting identity is derived by the standard algorithm of R.\\,Wille.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496159$5A1B4EBA-8ED7-4E31-85FD-FCD1CD959B30","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496159$086A559C-C102-49EF-85FE-493C3A8429CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496159$0D20A312-DFF7-4BF3-B756-FECF37E9A73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496159$EC054BD5-D2D3-4675-A76D-4E828DEAAC5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69b4b441b61a56c0e3a30805ff333edb2856d687","datavalue":{"value":"5040229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496159$6E2F9629-1E82-453A-BE64-418AC7804E26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2048306a5fbfeded241883008a6cc38fadf21389","datavalue":{"value":"congruence modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496159$950581C4-2510-43E7-86FD-B59694D4D952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c338e9ec3d656801698957f5ec7eaf1ee139cd83","datavalue":{"value":"congruence identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496159$E3909B3A-8D3E-4216-AC50-BB53602A756C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3972b542a0c1bdd2a49e02042ba5d7b7d0ece6","datavalue":{"value":"Mal'tsev condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496159$1EC243F2-BA88-468B-A7E7-8E4D5F7617EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496159$7CFDA21C-5C04-4228-9C57-E2D2C87F01C9","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":"Q2496159$30AFCB5E-CCDE-4B6C-80AD-210AAD872869","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57eef272fbfc05d8f2141d3cf6970b4c0b4d91ce","datavalue":{"value":"https://doi.org/10.1007/s00012-003-1818-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2496159$BCB7C59C-B71D-4854-9A4F-76EC10070FDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d63e242812e80d8f1a5edb8b313adc39d429259c","datavalue":{"value":"W1547060671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496159$90796A93-A638-47E7-A93D-A615AAA6ABF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8ef1f8b0a454a8b53ed6e81d0ac161bde5166f3","datavalue":{"value":"10.1007/S00012-003-1818-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496159$C0466D81-EE69-4178-9371-82B209F14019","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"238cd961542fe6c2e0abe42754175fabc69cf949","datavalue":{"value":{"entity-type":"item","numeric-id":4461653,"id":"Q4461653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f5b58b41133a718771b031ee1d09f98a4c3ecb","datavalue":{"value":{"amount":"+0.8776289224624634","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":"Q2496159$4F181487-FD9A-46D3-A151-E413F9D034C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc60668182430adba9d534ff1ec3d955111a0315","datavalue":{"value":{"entity-type":"item","numeric-id":2577731,"id":"Q2577731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02923a630f407671d110f058af013f7bf2ab1780","datavalue":{"value":{"amount":"+0.8558025360107422","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":"Q2496159$97094655-BDC8-4A16-AC8A-A183D54F11B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf4bfd3f88ce38df0a7b8b97914247d7ff1b285","datavalue":{"value":{"entity-type":"item","numeric-id":3712365,"id":"Q3712365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d885628702d400a3059306e0ee985de68fc266","datavalue":{"value":{"amount":"+0.8505116701126099","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":"Q2496159$5727D56F-1BF9-404E-A1BD-50C3FC83F7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6520f95d5bd631528b6f74720eb6c99d93abd7d8","datavalue":{"value":{"entity-type":"item","numeric-id":2641326,"id":"Q2641326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c122f516cfef6ea84a141c04359b795c583e34c","datavalue":{"value":{"amount":"+0.8227221965789795","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":"Q2496159$F29D2FF0-43CF-4D03-9CC3-5CBDE882599E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a953f7d985f6bd92362ce3c033cc0b15fc4a4be0","datavalue":{"value":{"entity-type":"item","numeric-id":799714,"id":"Q799714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cecbb2da38ad2842c89922e24def2f487b34ef1","datavalue":{"value":{"amount":"+0.79841548204422","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":"Q2496159$AAD2D6E2-1FD6-4090-8AE2-B0D9E8483AC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2496159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2496159"}}}}}