{"entities":{"Q1109060":{"pageid":1119809,"ns":120,"title":"Item:Q1109060","lastrevid":66687645,"modified":"2026-04-12T11:59:07Z","type":"item","id":"Q1109060","labels":{"en":{"language":"en","value":"On finite bases for varieties and pseudovarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068958"}},"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":"Q1109060$655271A6-C2CD-4B1F-9626-16C4785B3BF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ea971cd95d9eba9e18a3b046b9dc6f5378b4404","datavalue":{"value":{"text":"On finite bases for varieties and pseudovarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109060$7C97A5F1-D6ED-4290-98BE-0EDF786C1A1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9934fe30143d8508fab635ab8214c0230d1da71f","datavalue":{"value":"0655.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109060$1D66577A-B553-4AC2-8575-07FC06AD9A43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6de29d811834cf32dd47af2761b86154fbeb9fc","datavalue":{"value":"10.1007/BF01229976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109060$0AF9AB9C-1DBF-43B8-B83D-57954DF45AE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc454bd3e316c0e16e218072d34391fdcce1d1a0","datavalue":{"value":{"entity-type":"item","numeric-id":687644,"id":"Q687644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109060$913E306B-2DA2-4FF0-A214-53A225FC81EC","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":"Q1109060$A2E07CC7-C230-4606-BD11-1ECA6DBCCE27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1109060$A473B811-A56C-4E48-986E-C7A8C88341F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ac779840caad5d401f443a1b9b310fa3c2248b8","datavalue":{"value":"Let P be a partition of an algebra A, and let S be a set of distinct representatives for P. Then the (S,P)-reduction of A is the algebra on S of the same type as A with operations defined via representatives modulo P. Such a reduction may or may not preserve composite terms; if it does preserve all terms of length at most n, it is called an n-reduction. The author proves that a variety of finite type is finitely based if and only if it is closed under n-reductions for some finite n. By related means, he shows that certain classes of finite algebras generating locally finite varieties generate nonfinitely based pseudovarieties; as examples, he mentions \\textit{P. Perkins}' 6-element semigroup [J. Algebra 11, 298-314 (1969; Zbl 0186.03401)] and \\textit{R. C. Lyndon}'s 7-element groupoid [Proc. Am. Math. Soc. 5, 8-9 (1954; Zbl 0055.027)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109060$5AE48158-1B46-4B91-B1A5-A4F193A5D648","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109060$1F314E59-557C-483F-8540-CFE9F5F31BD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4e9866ec2e42117449515a3d21245b4a2e23125","datavalue":{"value":"4068958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109060$7A61B82F-F883-4914-8DAC-5AC6DE3123DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bced25d43fa7f4058922ab24687d4ac93f53049","datavalue":{"value":"equational basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109060$1322FBD8-16C0-4538-92AB-007FB058D79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0811fddd6492faef424fd7567085879af3aa64c6","datavalue":{"value":"finitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109060$A1F77EED-8FB3-4CD5-8CFC-A7F05FA0AA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdb60c46c4624ea003119ff49d4a962c8f21b164","datavalue":{"value":"n-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109060$ECC4EB37-7E63-4838-A844-8358C92A0E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db4eff65f85faebf8411107ce9861f94744fb08","datavalue":{"value":"pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109060$DF32D8DA-0E33-483D-BBEB-8A81A9C46510","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce55c35a0130dff40a2e46fd6cbf84198a7e9797","datavalue":{"value":{"entity-type":"item","numeric-id":590016,"id":"Q590016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109060$C456F285-88E1-41D9-B627-4303745EEA23","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":"Q1109060$1E39E79D-4C55-4077-A37F-031F320E7876","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e9c81beee90f32e6c1811b131dde5eceb174dd","datavalue":{"value":{"entity-type":"item","numeric-id":2532610,"id":"Q2532610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109060$7154C395-37E8-40AA-B5F6-4D65A5B1F9A4","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":"Q1109060$0CAEBC6F-B8F7-4B1F-A1D9-505AE8AA58DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fcc8e820c1cc4ac6c486483d65c4601fa543e","datavalue":{"value":{"entity-type":"item","numeric-id":1235274,"id":"Q1235274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109060$E18EBAAC-2202-41F7-AAAA-58A7F26EEB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbfaa5b37c212b78484bcb29e71b7a4ff9df44f","datavalue":{"value":{"entity-type":"item","numeric-id":5825749,"id":"Q5825749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109060$EDFCB119-6A95-4DF0-80AC-26FE43D617D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902936bd2dfa950537eb0ba471067a5c57f8489d","datavalue":{"value":{"entity-type":"item","numeric-id":3658046,"id":"Q3658046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109060$BB272C73-D064-421D-B4F1-F47CE279D17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109060$0D2187BE-ACD5-419C-979F-99C2A606CF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109060$4BCC0914-E2B1-4FF4-8065-370B4ACCE695","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794f6f96783a88409e744f38a1229a035676f4cd","datavalue":{"value":{"entity-type":"item","numeric-id":2704721,"id":"Q2704721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94d1a81958894dca03a03dade3149dd0336ec18","datavalue":{"value":{"amount":"+0.9239378","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":"Q1109060$BD709CAE-BCAF-4188-9ADC-438B60BE8F07","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":"18d69b2d5c606c935d87edd0efe5048db05ec60a","datavalue":{"value":{"amount":"+0.91759455","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":"Q1109060$6909E00E-61AE-4141-9103-7730B2ED9C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e405db90ab0641921bd27909153db37503de121","datavalue":{"value":{"entity-type":"item","numeric-id":1964132,"id":"Q1964132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8adc16341817e90a3d7c6fdd3bbd1859837c4e34","datavalue":{"value":{"amount":"+0.91663206","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":"Q1109060$75E88ADA-C56D-49B6-8EDF-414EF25CDEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3032c5e26a24b8bc798127fd07e2e1edfb57bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1770614,"id":"Q1770614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b226cc8ec0d0f96beab713232dd37d49099133","datavalue":{"value":{"amount":"+0.915169","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":"Q1109060$6F86A406-0946-4375-84DF-333E515E576D","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":"a9b5bbd90bb193b795ae64c494180d7b0c3eefd6","datavalue":{"value":{"amount":"+0.90800714","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":"Q1109060$A1227E69-2B5A-42BA-9DEC-E6DB02538CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5acb19d263f97048ecee6307992735ea855322ae","datavalue":{"value":{"entity-type":"item","numeric-id":2413519,"id":"Q2413519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729457cf553461bf9ac6adad9f105b7b0ff5e2d0","datavalue":{"value":{"amount":"+0.90584743","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":"Q1109060$AE75A26D-EBA2-4867-8BE4-94CE74731F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c41e3b9da191064768a31a445e438c6a6dcfd69","datavalue":{"value":{"entity-type":"item","numeric-id":3852362,"id":"Q3852362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2a0b19cd473ce09f3a50a428b0fdf09dc4c632","datavalue":{"value":{"amount":"+0.9048726","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":"Q1109060$953FA92B-5B11-44E7-B344-076CB79107C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a396c0c7274bb1348089f9c7d19a2c4944954efb","datavalue":{"value":{"entity-type":"item","numeric-id":4073518,"id":"Q4073518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85106cd774db26b683fc5dc0b8099373483c8fca","datavalue":{"value":{"amount":"+0.90473676","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":"Q1109060$6FF677B8-37C5-44AD-AE5F-15B24405117F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On finite bases for varieties and pseudovarieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_finite_bases_for_varieties_and_pseudovarieties"}}}}}