{"entities":{"Q799714":{"pageid":801562,"ns":120,"title":"Item:Q799714","lastrevid":64427286,"modified":"2026-04-11T19:47:48Z","type":"item","id":"Q799714","labels":{"en":{"language":"en","value":"On congruence distributivity and modularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3873400"}},"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":"Q799714$8835BCD0-A9C0-4ACA-805C-23B795557834","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d3ce04c24042084681dcc07a93402a6087227e5","datavalue":{"value":{"text":"On congruence distributivity and modularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799714$84573A3D-0D76-4E20-A918-934A3FE10B49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92dddb761f5ed35bcd863a561c6b388ba615bd5f","datavalue":{"value":"0548.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799714$92831ECF-413D-48B3-BAC1-2F1037AB7B3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6564776cf6965f3667ecbc27127d92b22c7609b","datavalue":{"value":"10.1007/BF01194531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799714$BE6456AC-78AE-41B5-8504-0A4172B7020A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156053345438b67d13e36c962297ad522b12dc04","datavalue":{"value":{"entity-type":"item","numeric-id":219075,"id":"Q219075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799714$9A9C19E9-B245-4EDE-9CF6-44496A98CE7D","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":"Q799714$A269453F-B153-4B54-B7CB-876D606E45CE","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":"Q799714$FFFF8C38-0962-4137-A65B-CBF7A5F3FF22","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":"Q799714$38C32D96-2621-412E-9578-9DC398880DC7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3392aea23c4d2a7de56cd6e79d9a954e745268fd","datavalue":{"value":"Let \\(\\epsilon\\) be a lattice equation. We say that \\(\\epsilon\\) implies congruence modularity (congruence distributivity) if whenever \\({\\mathcal K}\\) is a variety of algebras all of whose congruence lattices satisfy \\(\\epsilon\\) then all of these lattices are modular (distributive). It is proved that the class of lattice equations which imply congruence modularity (congruence distributivity) is recursive. In other words, one can recursively decide if a lattice equation \\(\\epsilon\\) implies congruence modularity (congruence distributivity).","type":"string"},"datatype":"string"},"type":"statement","id":"Q799714$178D16FA-8DC1-419E-975F-5F7B52146C94","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":"Q799714$5408A04C-6723-46AB-A0C6-AFF8038EE1C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799714$B2764CBB-ACE4-4D82-BD87-F499B1C3C6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799714$CD90F949-0339-4582-AEBD-3F788D58B4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799714$8C4348DA-FB77-4F76-9C19-1ACA0A38BF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799714$A7CF4D4A-F383-4B60-B5AE-82D984DC5A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799714$4FA468A2-C726-49C3-BD89-8CFACA644480","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10055640ca84b0ad7dc0e3f66ffb2c7e3eeb38ea","datavalue":{"value":"3873400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799714$D1F6A7DC-AAAB-457A-8532-E9BBECF81956","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef948031f955cc6d60cf3049acdb39f63add134","datavalue":{"value":"lattice equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q799714$AB232D14-75C4-4DDE-926B-912F7EED4E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2048306a5fbfeded241883008a6cc38fadf21389","datavalue":{"value":"congruence modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q799714$66F950FF-79DA-40A4-881D-18983FD32BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a8907e09a6fdefafda00d22f3b250cced30138","datavalue":{"value":"congruence distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q799714$8810998B-7583-4F7F-AF43-4AFF22F77BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0253c57ff9bf990e921e427d2c6bfe23cb63e46","datavalue":{"value":"variety of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q799714$61782D2C-2001-43E1-B802-BCA557B67264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63ed4af32740cf2a9ad8cffcd4b3c19e6b46ddb","datavalue":{"value":"congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q799714$20FA48B2-C368-4AB8-BFCB-44BDFECEEED9","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":"Q799714$58C2F412-9BF9-4694-B9DF-B99794902DE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799714$08F0B04B-D904-426A-961E-BED6C0412329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8edc1dc684ea933f9523017d3c2b6f8d7668346","datavalue":{"value":{"entity-type":"item","numeric-id":1846441,"id":"Q1846441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799714$E01A2C22-5499-4E71-B370-54A5EAEB1191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14299b586e00df146265dcb31042eb8e7f69e5c8","datavalue":{"value":{"entity-type":"item","numeric-id":1255974,"id":"Q1255974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799714$5E218033-EB83-4C32-8CCD-3E366A16BF70","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":"Q799714$600D60FE-7873-4C6A-B7CB-7335CB04F238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244c737391b11b6740e3edb2d0720ac3e328eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5966965,"id":"Q5966965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799714$D09E5C24-7E7B-4D37-BF4B-731692EBED26","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":"Q799714$4C1D460F-DC4D-4249-A765-EB5F77E7EBB3","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":"Q799714$58F7AFCE-1835-4246-AFBD-5686E7FDD3F3","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":"Q799714$E1F447E0-8C37-4ABC-B5C4-9CD150F011C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcfc010b062431ca3e833abc476db447714fdbf0","datavalue":{"value":{"entity-type":"item","numeric-id":4134038,"id":"Q4134038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799714$6C20573A-0B76-4A3B-A52C-7E66330614F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab05a802d60dde0e3755963e0acd180b8f6a4b52","datavalue":{"value":"https://doi.org/10.1007/bf01194531","type":"string"},"datatype":"url"},"type":"statement","id":"Q799714$CF446F6E-E1A7-49C9-A0E1-A6647714461E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b354e6497008eba88c6459ed9da14b1a5743815","datavalue":{"value":"W2048281236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799714$97C779F6-0459-4486-B9D9-8691EE68C074","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e3c455fad06d0a1482a95f4f358f01efbb5a07","datavalue":{"value":{"entity-type":"item","numeric-id":2496159,"id":"Q2496159"},"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":"Q799714$327E5CF8-9F26-4977-B03D-B268657EF352","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":"bf6acd3f5193146a28b98b5bce3fce3482175d8e","datavalue":{"value":{"amount":"+0.7813785076141357","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":"Q799714$3E7B4D6C-0D21-4103-9630-882CE63FC472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5950aac2ce0aef74db6dbe6fa826ad7921cf7e30","datavalue":{"value":{"entity-type":"item","numeric-id":1802262,"id":"Q1802262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca1794158baea00ab6d747515d9e36288ebacb7","datavalue":{"value":{"amount":"+0.776608407497406","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":"Q799714$21DE9A01-3DB1-4FFC-932D-96584D2DCEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ede1cc0a13833f1a0ef7e1b461a1d128dfc883d","datavalue":{"value":{"entity-type":"item","numeric-id":3837506,"id":"Q3837506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ecb74fc6407d69b38b1536c7fde88c02a7c1d3","datavalue":{"value":{"amount":"+0.7765770554542542","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":"Q799714$548F089B-A52D-4942-B356-6BC6B0F5ECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31bfc7e746639b64927769657b041ca449da79f","datavalue":{"value":{"entity-type":"item","numeric-id":4299125,"id":"Q4299125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436f2031bfee1211b037a1b570d73241f6e1e93a","datavalue":{"value":{"amount":"+0.7763035297393799","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":"Q799714$0531DA1C-0CF2-4CC2-86F7-F23A065155F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On congruence distributivity and modularity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_congruence_distributivity_and_modularity"}}}}}