{"entities":{"Q5917992":{"pageid":8048335,"ns":120,"title":"Item:Q5917992","lastrevid":47448928,"modified":"2026-01-01T19:00:51Z","type":"item","id":"Q5917992","labels":{"en":{"language":"en","value":"On the congruence extension property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1407082"}},"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":"Q5917992$ADE6F4BF-9DEE-4A11-9BCC-E1950440D641","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd198b633c5f5cb8e99ba5a103557a600d2252c0","datavalue":{"value":{"text":"On the congruence extension property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5917992$13BD337A-8FFA-4F66-8672-68A65EF68EE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e548618885ceb2370dcb1606f1f6b05a4bcee7f","datavalue":{"value":"0934.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917992$8771A886-6E6C-4CBE-B02E-7B274EA923B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f8ecc515e149246aa369f00abc13f14a0a0a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1355601,"id":"Q1355601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917992$45A535FE-55DD-416D-8E99-3954AFBE1ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"273624a14c7d1706a5a0d84f7e2fe6355dd60d28","datavalue":{"value":{"entity-type":"item","numeric-id":1966129,"id":"Q1966129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917992$BF141F9E-4D2D-4AC0-B4DB-BDB9039A1889","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":"Q5917992$E830B5F9-4DF8-4937-8FF4-8C0683366B51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b67edb7c6ba470465e19f8a68d18347f5f95336","datavalue":{"value":{"time":"+2000-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5917992$52A947C9-8CD0-4421-AB2B-5E4F123CF22B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60236cf97bcb2b333d78bdb72ec422c7ce29b72d","datavalue":{"value":"Let \\(K\\) be a quasivariety and \\(A\\in K\\). A congruence \\(\\theta \\in \\text{Con}A\\) is a \\(K\\)-congruence if \\(A/\\theta \\in K\\). A quasivariety \\(K\\) has the (principal) relative congruence extension property ((P)RCEP, for short) if for every \\(A\\in K\\) any (principal) \\(K\\)-congruence of any subalgebra of \\(A\\) can be extended to \\(A\\). It is shown that \\(K\\) has RCEP iff it has PRCEP. This generalizes the analogous result for varieties, due to \\textit{A. Day} [Algebra Univers. 1, 234-235 (1971; Zbl 0228.08001)], however this proof avoids the use of Zorn's Lemma.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917992$D6939D37-EE76-40FB-AA01-690C1F1BE0FA","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":"Q5917992$99A9CAAB-1A8B-45BB-8541-FF0E6673C8A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917992$00A7FFE9-F2AC-4F07-A965-8C0BEB301140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917992$D6C3EA31-203B-4826-8B17-9C1483242490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917992$21B454A3-4C88-4D7F-9826-EFAFE3CD2077","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f5e6a1b8d2e7ae760e2993c8526a2959afff18c","datavalue":{"value":"1407082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917992$3C187641-5C1E-4CA8-87B5-2B95A43A2A2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf6b43701fc54e5729b706b21c64c72dc4559c3","datavalue":{"value":"relative congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917992$F8F1B32C-EFBD-429B-BA95-5B3AEC303C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d989aa75aafb518b9cfecd32103702ca8d0ac848","datavalue":{"value":"congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917992$4048743D-DF0A-4F20-B30E-199BA09A05BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917992$96BCA2A3-F81D-45BB-81C7-58F98AE33930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45a8c68d33f9218e2c055cb606528218450e6ae6","datavalue":{"value":"relative CEP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917992$5D9DBF04-A6DF-40DF-A7F9-66AC07F6C5A1","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":"Q5917992$3A49C774-EC6C-430B-B72D-1742807C89ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"968de148de473ad59f100c4fae0b001749f316df","datavalue":{"value":"https://doi.org/10.1007/s000120050060","type":"string"},"datatype":"url"},"type":"statement","id":"Q5917992$F1DB1D14-0B0D-40D3-A0F0-7A15C704A245","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81c5305460822be186f54115199a8789aa616af4","datavalue":{"value":"W2025621064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917992$88A18BCB-ABE1-4777-AE8B-25C15DB52504","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6116e322bc2fa3bccc3a3cfb3b3afdf788cd477b","datavalue":{"value":"10.1007/S000120050060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917992$1D5AA16A-8389-4EAD-95CC-4E92B7A35E91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31cef74af3ea35adf19b3f9c1d3e04c46dfbaa92","datavalue":{"value":{"entity-type":"item","numeric-id":4438108,"id":"Q4438108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aafd063103a61b6d69278067cab2c890890ebc9","datavalue":{"value":{"amount":"+0.8704073429107666","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":"Q5917992$7C2E718C-2A37-4D9D-B59F-35C3DB82273E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc4811ed55d729156cb20db2ba4b9cf77f0289e","datavalue":{"value":{"entity-type":"item","numeric-id":4029101,"id":"Q4029101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bda8152c7c5aba0af1511999c8d875ce5c948b9","datavalue":{"value":{"amount":"+0.8033994436264038","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":"Q5917992$6F41178F-3989-4298-A20B-D3AD13455731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a7b222e56c843ef5cc3ab215030c536db237b7","datavalue":{"value":{"entity-type":"item","numeric-id":4835625,"id":"Q4835625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b8cae5f07ca7906c40cfca0f23a31600d5923b","datavalue":{"value":{"amount":"+0.7990576028823853","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":"Q5917992$F4D16B06-9B34-47D0-AECE-5B2EF90B2893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9475a0789ebce4a81ab2143dc4e283b46f74f4b","datavalue":{"value":{"entity-type":"item","numeric-id":1966138,"id":"Q1966138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106d81d0cab4f54ee9e4da5afbed4af0b574ee43","datavalue":{"value":{"amount":"+0.7945061326026917","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":"Q5917992$B3F8B278-67CF-47B2-8A6A-F23389272AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf78b0ffd4b8483a44868e26eb91687257981805","datavalue":{"value":{"entity-type":"item","numeric-id":4298879,"id":"Q4298879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1f2aa0e0ed01509f09d789403d5699ba9281a4","datavalue":{"value":{"amount":"+0.7936164736747742","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":"Q5917992$1C98F8A5-EB27-42EB-80F4-440545DD3CFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5917992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5917992"}}}}}