{"entities":{"Q1175936":{"pageid":1186685,"ns":120,"title":"Item:Q1175936","lastrevid":69807285,"modified":"2026-04-13T09:31:38Z","type":"item","id":"Q1175936","labels":{"en":{"language":"en","value":"\\(A\\times A\\) congruence coherent implies \\(A\\) congruence regular"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 14886"}},"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":"Q1175936$0401808C-411F-4E89-853C-EF30CB72AA8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe2f6c5fbc6a6c216dc4796f4413c78d93fc4e1d","datavalue":{"value":{"text":"\\(A\\times A\\) congruence coherent implies \\(A\\) congruence regular","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1175936$3E0050B9-6998-46F3-A922-D87A8184E084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04eefab084b0e7c05ed451cee0248bb7963b340f","datavalue":{"value":"0735.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175936$9290EBCB-C3EA-4C31-9BCC-7EF01FBD7803","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ba08700cd85aa18547877f9163cb519e68c98bc","datavalue":{"value":"10.1007/BF01190858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175936$B0012AEE-9AC3-4871-8ADD-275B88134A23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"723540c573bc4e1096e82bffd6f02dd48ca76d10","datavalue":{"value":{"entity-type":"item","numeric-id":587913,"id":"Q587913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175936$6A67CF82-2F48-458D-8BA6-39F27D8CD1D9","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":"Q1175936$89625860-A63F-4584-B07E-E5537BD18C4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1175936$BC6FEE7B-8194-4830-BCA5-A72B119D4C8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5dbcea43ea5996f82e7430eac37cae3a3a59fe09","datavalue":{"value":"It has been known for a long time that any variety of congruence coherent algebras is congruence permutable and congruence regular [see \\textit{D. Geigher}, ''Congruence coherent algebras'', Preprint (1974)]. A local version of the first assertion was recently proved by \\textit{D. M. Clark} and \\textit{I. Fleischer} [Algebra Univers. 24, 192 (1987; Zbl 0634.08001)]. We show that the second implication can be sharpened in a similar way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175936$821A3634-D188-4055-B80D-3BFCEEFBC0C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175936$DDAB3577-3A4A-4ECD-B273-148A1FB049C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175936$2FADE33C-0AF8-4E35-B618-90D60823B417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e87b2d49d3f297782c265a52de923b70948a794","datavalue":{"value":"14886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175936$D038B85A-BBD1-4C05-878B-3E31D03F47F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd416648139ffce6829cb24a1857a6823634869","datavalue":{"value":"congruence permutable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175936$B6079093-169E-4E2A-8438-1E35406496AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c277f614a8078ec8ee0599a43a2e609a2728c57","datavalue":{"value":"congruence regular variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175936$4DC05617-7BB9-4A03-B17D-197BB5EF8FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1decc99c894136e6a35d2a58da714c7054d3cc7","datavalue":{"value":"congruence coherent algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175936$4381C8A3-C46E-405F-B158-DAE906FA1498","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":"Q1175936$90D760E5-A1F1-41CD-8F72-381010AB4DA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"909451392cce897fb52b276ca64c9a10b619bfb3","datavalue":{"value":{"entity-type":"item","numeric-id":1096657,"id":"Q1096657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175936$ED2231D3-0D1F-4256-BF53-0C3FF2C2EA39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bfa432cce8cdf90b3ddd5a72249a555ae05cacc","datavalue":{"value":"https://doi.org/10.1007/bf01190858","type":"string"},"datatype":"url"},"type":"statement","id":"Q1175936$6A86DB91-019C-4CED-BC28-DCAA905AF51B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"444263af5f04f68aa218978b9978d2cbc0d20ade","datavalue":{"value":"W2914688770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175936$17ED8DAC-3BF3-464B-8A42-2104C1C4A61D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080a36e1d06417fdc864adede6bdcd1cf3db168d","datavalue":{"value":{"entity-type":"item","numeric-id":792364,"id":"Q792364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86d12b367754dad54ce2243311aa57ba6772fb7","datavalue":{"value":{"amount":"+0.8578684329986572","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":"Q1175936$CB3DFEEA-A961-4920-8480-6F492E2F9552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1771b3f798559838ba3f3702fd3a45cb59b35157","datavalue":{"value":{"entity-type":"item","numeric-id":3135957,"id":"Q3135957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d42ae77b316509afe0e33af3a2b02ccbc9f8d8c","datavalue":{"value":{"amount":"+0.8349064588546753","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":"Q1175936$1291A579-AA6A-4394-ACED-4FA4E15F4E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf8be9a075ecc851e5d27a89421ee680c2533bb6","datavalue":{"value":{"entity-type":"item","numeric-id":690103,"id":"Q690103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e85c56fa844c5d26cf40198b7229f14c4cc62d7","datavalue":{"value":{"amount":"+0.8348510265350342","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":"Q1175936$7CA79A17-5DEC-4872-A9AB-9DFF635BEDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bfbf3dcd9b6641764e4ced63f95d3dd96769358","datavalue":{"value":{"entity-type":"item","numeric-id":4516982,"id":"Q4516982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d584cd39a4d3965c03d0ef22fd8521d2be404da3","datavalue":{"value":{"amount":"+0.8348236083984375","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":"Q1175936$466CF781-D271-4D8D-A903-11DF3F4A4C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b09aa75e6ecb11b936298fed957fab7196e9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":1096657,"id":"Q1096657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506edc8f392e22fb0baeeb350e0965b2561fc5c5","datavalue":{"value":{"amount":"+0.8238484859466553","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":"Q1175936$39ED3330-46CF-4684-8ABC-928F23024193","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(A\\times A\\) congruence coherent implies \\(A\\) congruence regular","badges":[]}}}}}