{"entities":{"Q1104959":{"pageid":1115708,"ns":120,"title":"Item:Q1104959","lastrevid":49182313,"modified":"2026-01-06T17:36:44Z","type":"item","id":"Q1104959","labels":{"en":{"language":"en","value":"Finite equational bases for congruence modular varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057587"}},"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":"Q1104959$74025726-7E23-41BD-88D1-95212DD54F2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a93ad03ecac001b0f589f7c858002cfa92fc5e9","datavalue":{"value":{"text":"Finite equational bases for congruence modular varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104959$BC76B89C-4141-4D7B-BADD-9DFA677EC2DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dc180297a0b7e07697d03b6c511a533fff2cbb2","datavalue":{"value":"0648.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104959$1AE66668-700A-4BA4-97FD-828FAEF65A7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"933afbd8241d96d883d280b123878828a7d92d95","datavalue":{"value":"10.1007/BF01195263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104959$22BBFCF5-C077-411E-B40D-B8C861B92E74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20017067c31a46e9902d76352f9cf4b16770f2b3","datavalue":{"value":{"entity-type":"item","numeric-id":185681,"id":"Q185681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$A8886B56-714C-444F-9007-685CDA8B422C","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":"Q1104959$06B5054B-0573-4453-BB98-8BC3EA729329","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1104959$7EA9B72D-C7E4-437B-B23C-DFAAA52C6F36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7bb935376b37a96ee3f0882fe02971f56145d480","datavalue":{"value":"In the paper the finite axiomatizability of a congruence modular variety \\({\\mathcal V}\\) of a finite type is studied. Two theorems are obtained as principal results. One is that \\({\\mathcal V}\\) has a finite equational basis provided that \\({\\mathcal V}\\) is generated by a finite algebra and is residually small. This result is a generalization of K. A. Baker's finite basis theorem. As the other one it is proved that every finite algebra in \\({\\mathcal V}\\) belongs to a finitely axiomatizable locally finite variety provided that a certain relation defined by using commutators of principal congruences is first order definable uniformly in all algebras of \\({\\mathcal V}\\). This hypothesis is satisfied by finite groups and rings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104959$54607901-E928-4ABB-A41C-087A02D552ED","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":"Q1104959$75B21393-F099-42C9-8185-C4D356FB6ACE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104959$9348BE66-1C94-4736-A3CE-265578D00650","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e241e2e3fec15925198c64ad005cd316ba5b718","datavalue":{"value":"4057587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104959$34AB4A1C-3242-49C8-A17B-D632B4ACB475","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104959$81AA981A-E493-483A-8608-23A4A84F5891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc507a37f500bf49cba8cb46b9acb8eec07b195","datavalue":{"value":"congruence modular variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104959$4D76D5FE-8BBD-4A4E-AE83-021BED111E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4de03b2c5aa2c66a07e70ac36c4d1003122870a","datavalue":{"value":"finite equational basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104959$C4BC2151-08EF-45BC-83CD-47173779DB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eb4f2ccb32650300299fecf5c6ef2806716ad0f","datavalue":{"value":"residually small","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104959$0D530C15-FB41-4135-9440-977304092D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4872ca90e3cce02e4c73948f094653cd7ea34e3f","datavalue":{"value":"locally finite variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104959$98EB9287-FFD9-4EF2-8DEE-52E4499F901E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cef2e19508c99996f3085fe25bc0edcd6beb4de","datavalue":{"value":"commutators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104959$86BF69CF-9AF4-4F1D-864C-9014B631B0C8","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":"Q1104959$5403C472-438B-4C77-9AFA-08E9B2F7F466","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6549bce11883e783f0fb536b18e9585b448489e5","datavalue":{"value":{"entity-type":"item","numeric-id":1237798,"id":"Q1237798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$9222C7F4-EB73-4126-B1B6-8E98EE5FDDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667fa8a46af68ddb7751b3bfadd00b53cecec88","datavalue":{"value":{"entity-type":"item","numeric-id":3832626,"id":"Q3832626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$D50A8B96-CAD5-456C-968A-1159421E6F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"872061c4d7d25330951b78f61447ed95ccc96ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3897093,"id":"Q3897093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$9367161F-A149-4929-BA4F-ADC2BDFD76D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e9023d3c4e1a31d8ac9e5506f8e69240336cf2","datavalue":{"value":{"entity-type":"item","numeric-id":3926656,"id":"Q3926656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$78F9C929-263A-4E59-B3AE-9491D7249551","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":"Q1104959$8C012A00-42BF-4E2F-AC26-929180E82BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60859ad318c51831cade05c42028b782d3226a84","datavalue":{"value":{"entity-type":"item","numeric-id":1141677,"id":"Q1141677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$E1F29A05-6B97-4BF0-A022-99BDAC2E8001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611c145da33fa32c2026270eadfa06fbe38c0efb","datavalue":{"value":{"entity-type":"item","numeric-id":1154493,"id":"Q1154493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$D313975E-209B-4D2F-BC95-0A1725F43888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$DA548194-F7B1-4734-9C36-FA6D106571B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5baa6a2e5bdd95716c846043b39734ff8a022826","datavalue":{"value":{"entity-type":"item","numeric-id":1104960,"id":"Q1104960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$04E29348-E3FA-4175-BF1C-C9EF8BF154AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59d3bffebe161410308c3371350b75e1f26d279","datavalue":{"value":{"entity-type":"item","numeric-id":4175722,"id":"Q4175722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$FBD5B767-428D-4F27-BAC5-01F00815BD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b511bfdbf91eb44d8c572731befd2db77a7f56d0","datavalue":{"value":{"entity-type":"item","numeric-id":1256542,"id":"Q1256542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$31F353B2-6F7A-4290-A273-0CC47EE40B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8204fe90761053503a97cb7776b7a7222ebda465","datavalue":{"value":{"entity-type":"item","numeric-id":1246551,"id":"Q1246551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104959$D0BBD781-F52C-4FEB-96AA-D7FAE4855401","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":"0fc1728e62a7eb6a9cad7bb85379a9302701e6a5","datavalue":{"value":{"amount":"+0.8499945402145386","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":"Q1104959$36618094-03BA-4873-BF6F-2F166B961D87","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":"427979cc937e8a99c1eb1f56d263dfa9e740ae06","datavalue":{"value":{"amount":"+0.8499941825866699","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":"Q1104959$79335953-EDD8-4427-8504-C2E1F858856C","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":"7b96189f6608409d35c47bff2be1855cb9987da2","datavalue":{"value":{"amount":"+0.8147783875465393","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":"Q1104959$4D4BE35A-D7FD-4F04-92F0-05C46BF3EB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd1d0fe982bdcad95a6ce18ac2e013eda716480","datavalue":{"value":{"entity-type":"item","numeric-id":1337161,"id":"Q1337161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e6a7663c3f9d9d836ff33f7b7340ff5686c16c","datavalue":{"value":{"amount":"+0.8108527660369873","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":"Q1104959$D19CCD89-0359-4B0A-9664-35F26BC997F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15042ea4b529bbf1877bb798d8e18969254eaf3f","datavalue":{"value":{"entity-type":"item","numeric-id":1902530,"id":"Q1902530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e6a7663c3f9d9d836ff33f7b7340ff5686c16c","datavalue":{"value":{"amount":"+0.8108527660369873","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":"Q1104959$CC998482-7237-4B7D-A801-771B8E0D3E64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1104959","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1104959"}}}}}