{"entities":{"Q759785":{"pageid":761634,"ns":120,"title":"Item:Q759785","lastrevid":64122009,"modified":"2026-04-11T17:47:15Z","type":"item","id":"Q759785","labels":{"en":{"language":"en","value":"Definable principal congruences in congruence distributive varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3882508"}},"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":"Q759785$A2DC2676-0EEE-40E9-A02C-668AC8336350","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8a85aeee666251f2cfece953894a81d758f39e1","datavalue":{"value":{"text":"Definable principal congruences in congruence distributive varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759785$0EE0D571-2A2D-44D4-B5F9-7653C3804EBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d096f3de15cc3611666bfd62f9bec9ceb46ac35","datavalue":{"value":"0554.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759785$32D48348-6109-4573-8D02-D39E298D2DE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90caf5f91845fed18351d6ff2baac3b14de63faa","datavalue":{"value":"10.1007/BF01188057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759785$3125AB85-848F-46A2-9BDB-06BFE0EEFED2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8269bbad2156ddb882186edd29590aa0956b0f6","datavalue":{"value":{"entity-type":"item","numeric-id":331017,"id":"Q331017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759785$40CA18EB-5BB0-40F9-89C4-FF6F56DEB7FD","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":"Q759785$428CEB96-AA63-4E79-9454-FFC1EDDCE7EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q759785$33825238-4E1D-48C8-93C9-1DAA0880615A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa4494834637fedc067bf68ac85e5058bb26cbdd","datavalue":{"value":"The paper presents an algorithm that, given a finite algebra A generating a congruence distributive variety, determines whether this variety has first order definable principal congruences (DPC). In fact, DPC turns out to be equivalent to the extendability of the principal congruences of certain subalgebras of the algebras in \\(HS(A^ 3)\\). To verify this algorithm, combinatorial properties of the finite subdirect powers of A are investigated. As an application, R. McKenzie's result that there are no non-distributive lattice varieties with DPC is obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q759785$3B45108C-D02A-4495-A7F7-C3CAB5C16597","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759785$4AD4AD70-8A33-40DC-B083-D7CD01F7517A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759785$B6831EC7-37AF-484A-BA11-2942630B1AA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bd431bf4683255d43ff05d36a8290441fb443fb","datavalue":{"value":"3882508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759785$9A595B0E-8C5F-44E6-99D6-377ABC33B25B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a688c369468f577af7c7d403e8a5e55d9b715d1d","datavalue":{"value":"finite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q759785$F46DDA2B-CEDC-4DA5-B30D-B6038BE81B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37964b9a73315f8ca83f7e711a8c9bdef892a06","datavalue":{"value":"congruence distributive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q759785$E5256902-9E26-4B7E-9652-E1DC1F853443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18c86b4343c830df53fe524fb2846483b21438b","datavalue":{"value":"first order definable principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q759785$5B9ECDBE-310D-420D-97E0-9D800F1AE4D1","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":"Q759785$B60B38FA-4C2C-4CEB-8F0A-E592D32D255D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6835d398d85e5777fa55f01606868e4d943aafe0","datavalue":{"value":{"entity-type":"item","numeric-id":3957127,"id":"Q3957127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759785$C7FD810A-75F2-48A9-B22A-66645332EEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b7bc2bcd26a1bbf690e566fa3b499cdc543da4","datavalue":{"value":{"entity-type":"item","numeric-id":1234301,"id":"Q1234301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759785$AD04BBB1-4972-4AA5-A6C5-6F044E97DFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5534469862e2cd7ac8ef6f2195f844b0c4ec16","datavalue":{"value":{"entity-type":"item","numeric-id":1257916,"id":"Q1257916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759785$1578BE27-B912-46C8-B12C-363A36DCE050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a652b8382150e06493c30da467a1638e953f5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1159703,"id":"Q1159703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759785$04808586-1B00-436D-97DB-3C0A03F322DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27773e1a98c11659c07243651e7874644999160d","datavalue":{"value":{"entity-type":"item","numeric-id":1138009,"id":"Q1138009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759785$EC42DBA9-315F-4B64-A9E3-1B17C9F7CDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e9a46ed9bf5c6ec583f9a4ecd685ba249a2a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1248637,"id":"Q1248637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759785$143B23BD-04CF-4B59-9ECB-21A04BA9D5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cb6ac1c82e0d895f41c3357e8c293db4d1b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4750816,"id":"Q4750816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759785$2CDA057A-F2D3-4C99-B5E0-55FB24650954","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a12f41d3f571b5ec79ff1219dcc8e6f2173ea9","datavalue":{"value":{"entity-type":"item","numeric-id":1771906,"id":"Q1771906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3274b5adcce5efa2b028f5dfa1746c09b975778b","datavalue":{"value":{"amount":"+0.8587668538093567","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":"Q759785$C0910B97-731A-4486-B19A-0E813DA5E4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e82f127ae93ecbe40f9081ca1c190d0d0d24cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1001911,"id":"Q1001911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4ac1ef1a4687c838cebfffac5ea826f41af57b","datavalue":{"value":{"amount":"+0.8557184934616089","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":"Q759785$F48BD049-B85F-4252-B1D8-E88DEB7273C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be146a38fe12e9761d2ae81acbc0c007e6e41501","datavalue":{"value":{"entity-type":"item","numeric-id":1037593,"id":"Q1037593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925aefbbebba14223823f20e3040d46726438140","datavalue":{"value":{"amount":"+0.8520128726959229","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":"Q759785$2CE13FFD-B984-4484-B944-BE5F62542921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d537fa4be45fa87a3d03a984ccc5b933a8211b","datavalue":{"value":{"entity-type":"item","numeric-id":3689232,"id":"Q3689232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83273ddf0019b1c8301fd2d593a7834988fa011","datavalue":{"value":{"amount":"+0.8151694536209106","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":"Q759785$71467EDA-FA5D-495B-9A57-4AF5688459E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b52176c4ecabf75982902eac9a3da51df50a0e","datavalue":{"value":{"entity-type":"item","numeric-id":3022453,"id":"Q3022453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9828b58bb0665c9c49b4f8ef0ecefa244c9424ba","datavalue":{"value":{"amount":"+0.804218053817749","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":"Q759785$68BFACAE-A123-4339-B621-418C35C6A332","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definable principal congruences in congruence distributive varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definable_principal_congruences_in_congruence_distributive_varieties"}}}}}