{"entities":{"Q4953214":{"pageid":6982796,"ns":120,"title":"Item:Q4953214","lastrevid":58371675,"modified":"2026-04-04T22:34:49Z","type":"item","id":"Q4953214","labels":{"en":{"language":"en","value":"A finite basis theorem for residually finite, congruence meet-semidistributive varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444045"}},"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":"Q4953214$FD394307-A233-4191-BF1C-0BE95C4D4B61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3aae8d5a2761a6c666ba4d1587943874683bede","datavalue":{"value":{"text":"A finite basis theorem for residually finite, congruence meet-semidistributive varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4953214$8B63EB30-8C0C-4EA7-AC2F-F356B671A19B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cc99e24a3cdd6cd0866bab1dd385cbccd49eb6d","datavalue":{"value":"0973.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953214$4D495AAB-245C-4B46-B447-E19E960BA23E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e71576983e61d24392d649328d0247f9aba662e","datavalue":{"value":"10.2307/2586531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953214$CFB36BF8-544F-400A-92B2-DD151C535301","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":"Q4953214$F246E921-847F-4E09-A114-D564160E1172","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$A0129517-1004-4020-B22E-5B285C1689E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3205a83d3032a4b4ceb548e95aec4741c432cdf7","datavalue":{"value":{"time":"+2001-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4953214$36BEA15E-D0BA-4BCB-8411-27D3233DB471","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"153acde93657474bf3dd078a58aa086a81b376ba","datavalue":{"value":"https://arxiv.org/abs/math/9712291","type":"string"},"datatype":"url"},"type":"statement","id":"Q4953214$1E26377A-E2DD-4DB8-B3E7-8884968216D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953214$A100FCB9-4122-47AA-9C1C-9B4BFD590115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953214$9DB60D2F-B6AE-44EC-B3BF-B7D7A8ECC70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953214$6C3BAD99-743D-4ACB-A005-5C418561A3EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e1b7c5d59e43902966c919af8fc264380083fea","datavalue":{"value":"1444045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953214$2FC80542-80F6-4F69-A2EC-1BB6D89972FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e19c45033dfc96c17cba1826d736dea3dd6be5","datavalue":{"value":"residually small varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953214$B54004DF-05E7-4EFE-8AFA-562F8E061AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5814ca77bf41324a2568f38bb19cb20e6c9496f9","datavalue":{"value":"congruence meet-semidistributive varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953214$19C22EA9-2F1B-49E5-9801-6B2D90686EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f3961dea519ab1989563e8c3f9774c923aae5c","datavalue":{"value":"finite basis theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953214$3D4946C3-AC7A-4EF6-BB6B-2E6B2DFF13C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953214$CDFD199C-638D-4E4F-9CE5-C416710BD92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebd1dac688ca9d4521100d5857b11bde37961aef","datavalue":{"value":"residual bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953214$C49E8579-0432-4FA0-B8FF-D50E2387E3F8","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":"Q4953214$0A1D9CA6-65D6-4997-AB6E-EEC900B5EFB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c624ac7b7b12a54bb5b832a52bf583ee61a23f47","datavalue":{"value":"W2594244112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953214$8B1CE084-A11C-4DC5-9A25-E5650D5FC506","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5951667788bd8269b47727ee4f2e020600fdc362","datavalue":{"value":{"entity-type":"item","numeric-id":2561246,"id":"Q2561246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$5F873B11-57D1-4EF6-8F3B-CC24ADC3212E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2242ec25497e084af7efac4d84928469e6dcf15d","datavalue":{"value":{"entity-type":"item","numeric-id":4337957,"id":"Q4337957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$0C052E01-1DBB-43B1-B7D7-2F684D54B0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$D0A3C406-36A6-4E63-9996-CD7118626227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae29edf5f59887b98adbc38f44744ba99192ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2626597,"id":"Q2626597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$8B25B891-42EE-41B9-9358-183B6694CA62","rank":"normal"},{"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":"Q4953214$820C6034-A8A7-4089-B9D8-BE0988045374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c755764bf3c2cc56120dfd8ff75320667270af68","datavalue":{"value":{"entity-type":"item","numeric-id":4882918,"id":"Q4882918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$920F1D5A-2F62-4F91-BFD0-FB97415F812A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7309811447ae9c3e1ee70c218fa14eb0e44fd8af","datavalue":{"value":{"entity-type":"item","numeric-id":4882916,"id":"Q4882916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$72C9A5A0-6079-4BFB-B6C2-14C4B0C5E58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3701f59903dd13535f153cda7d9aa9c8742e0c37","datavalue":{"value":{"entity-type":"item","numeric-id":4882917,"id":"Q4882917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$13E9E921-2EDA-4FB3-B8FB-AF7AD41135E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f7846257cc523667b5097f62a9f929ea7a620a","datavalue":{"value":{"entity-type":"item","numeric-id":1104959,"id":"Q1104959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$55E9E670-A9E6-4A20-8A72-5B8D2EA20D02","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":"Q4953214$04B6CB04-A10A-4B01-9DBF-AFD56A3BC0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a39c80aa00dcbb96e1b5e0ab28b309556d0b52","datavalue":{"value":{"entity-type":"item","numeric-id":4222197,"id":"Q4222197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$88B25668-0DEA-46B7-A402-DE9EAA54F9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"254bbd7261eb9c5d5ca57e911185bdf04dcc6271","datavalue":{"value":{"entity-type":"item","numeric-id":4257604,"id":"Q4257604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$A5394B72-0134-4754-AAB7-B9A94319AC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8405243a0c278d2fed518b6a28d48f54b48df6","datavalue":{"value":{"entity-type":"item","numeric-id":4354237,"id":"Q4354237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953214$866CFDC8-7910-4145-B999-317CEC94BE64","rank":"normal"}],"P1643":[{"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":"f7f579d73cd02a8c7ef70df8166e0780d6e6fd8b","datavalue":{"value":{"amount":"+0.94781196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4953214$064FA0B6-51CC-4235-9279-7B4854B71EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92fd04508e6d58490e0fe29356e9e63d28741f82","datavalue":{"value":{"entity-type":"item","numeric-id":4257604,"id":"Q4257604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4adfaec8d69809eb2253a0e6549ea25eba32c1","datavalue":{"value":{"amount":"+0.93308187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4953214$BE795C52-8509-49DA-A3D2-14E31044FFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65df2682671ca9aa55081251a4030d1f496cf9a8","datavalue":{"value":{"entity-type":"item","numeric-id":2577694,"id":"Q2577694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c960c4ce26acb8d2c55b2d38afd824d2497b710a","datavalue":{"value":{"amount":"+0.9278954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4953214$44E7A491-219F-4C20-A369-B4D6140848E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43378a96fa7f98c49cf7b9d0e6e0aafcb775afa2","datavalue":{"value":{"entity-type":"item","numeric-id":3487457,"id":"Q3487457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f398ff3bc1d338a7c7744606ff1d72674b7b4437","datavalue":{"value":{"amount":"+0.91859496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4953214$5263441C-33CD-4EF0-B555-33CD5FFB6D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2513deec871cf731215dd1d42460a484ed063ee0","datavalue":{"value":{"entity-type":"item","numeric-id":581547,"id":"Q581547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb0153865f68157a41ef58d0b3ffb9d9d3c3f60","datavalue":{"value":{"amount":"+0.8986504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4953214$A6CDBFC7-CE07-4ED1-9C8E-D2B1D53FE53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"605474812e18e582e69c9e6a66c9a4e454fdbd46","datavalue":{"value":{"entity-type":"item","numeric-id":4802802,"id":"Q4802802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be362bd48ff7e35ca840ca116bcd8769bc5bf3a","datavalue":{"value":{"amount":"+0.89529604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4953214$139E67F6-1AF9-4E96-AE0E-CF00862BAD9D","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":"7f302b315f83344ddde804a2247f8ee2197217f3","datavalue":{"value":{"amount":"+0.8941643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4953214$3C6914AD-A2F8-4D1F-978B-3F967007915C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cca2fe89b68aecf49c82d1482eb214ca940016","datavalue":{"value":{"entity-type":"item","numeric-id":1061158,"id":"Q1061158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49f97bc991f9b13d3876ba92ff9d28398034d63","datavalue":{"value":{"amount":"+0.89371634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4953214$B20D5D55-C473-4C74-AAA3-BF5B86A7A680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa771a68b9682a8287b54d5578f62b5fbc7f483","datavalue":{"value":{"entity-type":"item","numeric-id":1179764,"id":"Q1179764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd47f1b972eb8c7c51082146f56eba96fb347a1","datavalue":{"value":{"amount":"+0.89174885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4953214$B69582C8-555D-4210-9C35-A91893109266","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4953214","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4953214"}}}}}