{"entities":{"Q5950760":{"pageid":8127562,"ns":120,"title":"Item:Q5950760","lastrevid":47713732,"modified":"2026-01-02T12:26:41Z","type":"item","id":"Q5950760","labels":{"en":{"language":"en","value":"Extending Baker's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1682610"}},"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":"Q5950760$CFC78FCB-D0E8-4EB6-9786-1FC1D6962D37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"364cf6a5e89214e27c47b15c5380ae622fdb9967","datavalue":{"value":{"text":"Extending Baker's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950760$DEC9CE99-971C-469E-B6B9-D203D583A194","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"435b12c9696ffd2976c17e939e414942b7d709a2","datavalue":{"value":"0980.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950760$F37A8D7A-1918-4425-9DEA-C6E79AA9F05C","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":"Q5950760$13B0D806-2D48-44FB-A9E3-8BE989C42CFD","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":"Q5950760$2DBC901C-F695-41A0-992B-A133EFAEC3CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cff48275765814590658d506aafb5ce41ac2a492","datavalue":{"value":{"time":"+2001-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950760$7F51EC8A-9832-4BC8-8A92-3797D1519B48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1687b24ea78c8c5bd853f073ee2200b0cba88bd4","datavalue":{"value":"In 1972, K. Baker stated the famous theorem: Let \\(\\mathcal V\\) be a congruence distributive variety in a finite language. If \\(\\mathcal V\\) is residually bounded then \\(\\mathcal V\\) is finitely based. R. Park conjectured in 1976 a positive answer to the following problem: Suppose \\(\\mathcal V\\) is a variety in a finite language. If \\(\\mathcal V\\) is residually bounded, must \\(\\mathcal V\\) be finitely based? The problem remains open, but the author proved in a recent paper that Baker's theorem remains true when congruence distributivity is replaced by meet congruence semi-distributivity. The present paper summarizes the combinatorical properties of congruence generation which are relevant to Baker's theorem and explains the author's approach to extending this theorem to congruence semi-distributive varieties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950760$F90E953A-5B6F-4005-A6D2-96335ED3A6D1","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":"Q5950760$43250B28-0359-414D-B120-1A98F35E7684","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950760$B7B09728-458A-434A-91A9-C4DC0E478C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950760$0F7227AA-956B-4C8D-BB3D-CB51D065E75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950760$D892B41A-0FAA-4495-BECB-F8DAB3E0874D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32e7b40407f3cfd4df5d09cbf8a7ba9f7886c1a1","datavalue":{"value":"1682610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950760$B88E781E-42B7-4CEC-93C2-DC2A2158C05D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950760$2342E060-D341-4F1B-98F9-274B5FEDC64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d905981725a809c76ceef26456cc5cf9f353796c","datavalue":{"value":"congruence semi-distributive varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950760$8A6C4A54-E7C3-4662-B05A-B24EB06A6264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e285fdb4a226db51d641ea571f2188df40afe59","datavalue":{"value":"finitely based variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950760$C1ECCB19-CEED-4B8F-952E-8D8AB4B3622E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37964b9a73315f8ca83f7e711a8c9bdef892a06","datavalue":{"value":"congruence distributive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950760$52D9CA56-7F5B-4B9F-A935-7E09D9EC4732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8588e648366241b1a515fc79c184a4fa8c7bd7","datavalue":{"value":"residually small variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950760$17890DB2-8F99-4C01-AB54-C8479D977D4E","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":"Q5950760$91E0A2D2-A56D-48BA-A413-F8136EA6CC97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5962b8ca3207802ae6531c54379f7781c14d6114","datavalue":{"value":{"entity-type":"item","numeric-id":4953214,"id":"Q4953214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60cebe735f4393be0e1b1729b93b956caad5cdac","datavalue":{"value":{"amount":"+0.8206461071968079","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":"Q5950760$6DAF5FB2-0836-48D6-A438-2E03CB165066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336581312b0c87ea5f95f75c6a384cd8ab345d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3013884,"id":"Q3013884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65286f7338a7bd95311d3ff9dfc60ace5b01e4bf","datavalue":{"value":{"amount":"+0.8206456303596497","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":"Q5950760$43E9879B-A04A-4768-A0E0-757503768624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524fa6f332d0d4d8559587ce74678902f50fbd9e","datavalue":{"value":{"entity-type":"item","numeric-id":2787967,"id":"Q2787967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ebb073ed79d4cc656de9416d4ea3b3d69411c5","datavalue":{"value":{"amount":"+0.7962278127670288","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":"Q5950760$0BCA15B8-BB88-4EFE-BFFF-42BE206F4660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c7ffe449bf3b560d6a99121b9cbfe41dfd567d","datavalue":{"value":{"entity-type":"item","numeric-id":1652880,"id":"Q1652880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95efad63ead87f4434090d4f73328f1b2721221a","datavalue":{"value":{"amount":"+0.7859108448028564","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":"Q5950760$4C4537A8-3CE6-4CED-8AF0-1FAD195E2B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5b66c13bfbb870149ee6053fe067b62528172a","datavalue":{"value":{"entity-type":"item","numeric-id":5380262,"id":"Q5380262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3e910351045a38994062f8ff5cecf782492a97","datavalue":{"value":{"amount":"+0.7733838558197021","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":"Q5950760$0FA651DA-3B98-4391-8810-360A1D8D5E43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5950760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5950760"}}}}}