{"entities":{"Q1813837":{"pageid":1824579,"ns":120,"title":"Item:Q1813837","lastrevid":73017105,"modified":"2026-04-14T09:24:57Z","type":"item","id":"Q1813837","labels":{"en":{"language":"en","value":"Varieties having Boolean factor congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5239"}},"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":"Q1813837$04BDF5EF-6D22-4958-A688-85DA0D7CE525","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"709407f09ffa48c4be24bcbbba18c13db51b55b2","datavalue":{"value":{"text":"Varieties having Boolean factor congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813837$7AD47901-F7B2-44CD-92E3-FD2FA1E76A3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e835f793a455763eec9cac0798c6f06085abe1d0","datavalue":{"value":"0737.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813837$11E22A6B-883A-4BF8-811E-05C96F548FFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5266a8e151c4acdb2574d9a3d3d67ca67b6b9434","datavalue":{"value":"10.1016/0021-8693(90)90257-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813837$E4957947-50AB-4749-AC80-759AFD15A484","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d7e67537f755154c42c7ee8535a18fd2cf81f9","datavalue":{"value":{"entity-type":"item","numeric-id":178374,"id":"Q178374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$6821CA79-88BE-4E8C-8090-8141BEE03EE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$9A04AC6A-F9FC-4BE2-97E4-7DAD91342346","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":"Q1813837$48ECFCB3-B818-49A1-BF68-1D4E64BFF390","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e8f27bee0bf79603d75e0d8477cff1312ba964a","datavalue":{"value":"In the paper, the varieties having Boolean factor congruences (BFC) or, equivalently, the strict refinement property are studied aiming at finding a Mal'cev condition for BFC. The main results are as follows: 1. A sufficient condition for BFC, denoted by (*), is given in terms of a first-order definable 4-ary relation. 2. Every variety known to have BFC (e.g., those having the Fraser-Horn-Hu property) satisfies (*). 3. Every centerless variety has BFC, but not vice versa. 4. For congruence-modular varieties and J\u00f3nsson-Tarski varieties, (*) is equivalent to BFC and also to the absence of nontrivial abelian algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813837$04DEEC0A-F7BE-4C0C-B866-0C0033DB0236","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06894b1e6928d36ebe66af174c2e7bc2155094b6","datavalue":{"value":{"entity-type":"item","numeric-id":788080,"id":"Q788080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$AAA9C119-41A0-4D96-A159-23ED4EBA862C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813837$3CCF0EBB-19F8-4FDA-96C3-5D731B48E877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813837$50A85F7A-BB7F-400A-92FA-7F14C8F583EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"762ced3c1560c35d3e385f5d3c3d0846a7059400","datavalue":{"value":"5239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813837$09D40F50-8823-42E7-A173-5A49C4C5369B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0efb3ae497c7fcf4e612e26977176b3c046415ad","datavalue":{"value":"Boolean factor congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813837$04C15599-9109-4F64-861C-BD0A3D4B84E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87394a7348b615ae1a4815081a1884737ac3dfd5","datavalue":{"value":"strict refinement property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813837$E4E5AD0C-7C21-4095-8D9A-6433B32B6E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c934772ac305934a56159103bc412e21e05732","datavalue":{"value":"centerless variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813837$E87BD9E8-869A-4957-8452-4F5F77770682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87bc69f70b6401a1c6c361fba78bbf39d79e23b2","datavalue":{"value":"congruence-modular varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813837$D523E722-61F9-42E3-B907-34188FB08DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47f499c9bf32bf4282437280a1f82c1d20a037bb","datavalue":{"value":"J\u00f3nsson-Tarski varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813837$ACBF3514-B56F-4FC5-8D18-F4EF127D5E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd95ede833b6bc5b7f637c85a2ad4049e5eee42e","datavalue":{"value":"abelian algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813837$AA25CE6E-C0D8-497A-8BF8-342F1539936B","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":"Q1813837$6D71B3C1-2A33-4AA7-9493-D388D596B3E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cc7aa2d71acd87dba77959865d66c6b058d0af","datavalue":{"value":{"entity-type":"item","numeric-id":3961648,"id":"Q3961648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$F6FA4AD0-128F-4A1F-9672-943BA859A8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ffce5fc1fce85baf985a74e396d449d6c3c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3199467,"id":"Q3199467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$8806F756-0D7C-45C7-9CEA-D0C8B9FFFE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$D429E0D0-1235-4726-A750-638026539CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f76ba65987bffc0996fb6eb7e69b9988872eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4198732,"id":"Q4198732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$C267CAE1-3203-4019-B359-1A20FDA6D530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b3396c7de32b25ed864e38ce7a46d48b4c9447","datavalue":{"value":{"entity-type":"item","numeric-id":5557887,"id":"Q5557887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$C0C9B205-7598-4A4F-BD0D-A9E2F26C31A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5924b96e9e17eef377b5d4cb5e346ba4b38500f6","datavalue":{"value":{"entity-type":"item","numeric-id":2546890,"id":"Q2546890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$D2D60CDB-0E41-4970-B70C-11F1F10F6530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94f086e6c4a43395a01119a11124d46ed2f6144","datavalue":{"value":{"entity-type":"item","numeric-id":1230626,"id":"Q1230626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$5AAF22D7-FEFB-459C-86CA-433A5441AD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a7aed993e9a0aace398036afd1b9405dc20bad5","datavalue":{"value":{"entity-type":"item","numeric-id":2650136,"id":"Q2650136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$D862C008-F85E-45CE-A608-B2AF2C2A584F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf0f7788ffbf25f9aa0e7616bfbd26d51431de3","datavalue":{"value":{"entity-type":"item","numeric-id":5650437,"id":"Q5650437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$F75B08B7-B682-422C-AA43-BB2DAC7F0F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$2E84F01B-EFA2-4071-BBEB-280EC12799DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ada733a2a03578bcde08abb6ebc10f98c600ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5589325,"id":"Q5589325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$0C044726-9D18-4C13-8392-F821EA700628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"181bccf0ddc8451f2a850514a371a6c0e9bfe98c","datavalue":{"value":{"entity-type":"item","numeric-id":4195012,"id":"Q4195012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$301E701F-63C1-4579-9EA6-345CE72E396B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8f2fc029ef96006d31e059967d9368d178260b","datavalue":{"value":{"entity-type":"item","numeric-id":5802109,"id":"Q5802109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$4C43AD49-18D8-47E3-B74B-90ED819E8DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb5b39a798d01e36e7eabc9197a327ad0a8de3b","datavalue":{"value":{"entity-type":"item","numeric-id":4769085,"id":"Q4769085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$DAF0ED66-1B5B-47E0-B2FA-96616B039288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f149d0a43ebbf493b394b5c107c051254b34c3a6","datavalue":{"value":{"entity-type":"item","numeric-id":5635486,"id":"Q5635486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$219F8A5D-1B84-42E7-A67D-5B2668397B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$63B0CEBF-9702-41B4-8F6C-B91F9AF6C6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d924cd66b30d8646af6100b0d2b8decf96705","datavalue":{"value":{"entity-type":"item","numeric-id":4046098,"id":"Q4046098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$2A29D86E-6359-4AC1-872B-7185E799EB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bdfc242c451be76fedccf1749f5c5146cadd507","datavalue":{"value":{"entity-type":"item","numeric-id":1160641,"id":"Q1160641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$CC002297-1C58-44B4-B435-1962AE6F5FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b0bbc056c87f3e2fd9e6e6ce06d2f16a30c1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5802110,"id":"Q5802110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$4488B719-CDD7-499F-B074-A0D71DCC2689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba722aca5aabd13c35d39802f9db37ea460b226","datavalue":{"value":{"entity-type":"item","numeric-id":1216327,"id":"Q1216327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$C9093F6B-E2DA-43CF-995A-01C35F5E8E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da04a32e468ce4867ec594afa1765b999c151299","datavalue":{"value":{"entity-type":"item","numeric-id":4152589,"id":"Q4152589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813837$41201CF2-C77B-4A86-84DB-3E2A84C10990","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c4726e7b8828dc78b57381c7b22d08ebbe6c7fe","datavalue":{"value":{"entity-type":"item","numeric-id":3097922,"id":"Q3097922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80566c1396c4cd3ce0781c7f1b782518341a2d78","datavalue":{"value":{"amount":"+0.8937392830848694","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":"Q1813837$40CCF962-71E8-4BE1-9A23-3B909FF47243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900884a46fccbec9e2ede0e28f7d8a44def6dd4a","datavalue":{"value":{"entity-type":"item","numeric-id":3199467,"id":"Q3199467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772d0115e38b07090f7930eb3b5ff20dda46930b","datavalue":{"value":{"amount":"+0.8769664764404297","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":"Q1813837$9B713B58-389A-4A02-8A01-536E34130E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a16ee135bc97c830e7fd055f9e043df32aed206","datavalue":{"value":{"entity-type":"item","numeric-id":2583595,"id":"Q2583595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc8b1878ec206f252e550f26a9852fc1edb1cc9","datavalue":{"value":{"amount":"+0.8408625721931458","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":"Q1813837$668138E8-8B3A-412B-8D1F-818A5864CED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bd07153a2bf8cf700f7a2960ebf25af5554d8c","datavalue":{"value":{"entity-type":"item","numeric-id":5690608,"id":"Q5690608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d5d882d41ed7edde7f2a25515f8199bd2dbfd0","datavalue":{"value":{"amount":"+0.7772417664527893","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":"Q1813837$59BF7656-B7C4-4C55-BCEE-E3DE01599CBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties having Boolean factor congruences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_having_Boolean_factor_congruences"}}}}}