{"entities":{"Q1991602":{"pageid":2002344,"ns":120,"title":"Item:Q1991602","lastrevid":43464780,"modified":"2025-07-28T08:30:00Z","type":"item","id":"Q1991602","labels":{"en":{"language":"en","value":"Reflection-closed varieties of multisorted algebras and minor identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6968529"}},"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":"Q1991602$D0B4D2BF-76E4-4655-BF05-D56E4B55C352","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3185725604b99eae67dfaac11591bd4f899992e9","datavalue":{"value":{"text":"Reflection-closed varieties of multisorted algebras and minor identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1991602$C5F4C8CE-C8B4-40CC-9795-1CCC71D6A57D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"104d64e4a02b8fb1667d30b885652207bae6bca5","datavalue":{"value":"1412.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991602$FCE79D3F-CF97-4757-AF5C-41155C22678E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b604f4a510b3761f9e74cc9c5f7b73c9018f149","datavalue":{"value":{"entity-type":"item","numeric-id":251901,"id":"Q251901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$8E66404F-57F8-4DB5-BD83-EF33D1132B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"676e6bc8793a56775914d86e54939744d04d7c85","datavalue":{"value":{"entity-type":"item","numeric-id":412325,"id":"Q412325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$88A585AC-1D5E-46A2-8E1D-6F7D5CDEB62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74179c77dbbd160f2cc56bf4640b652b2a694860","datavalue":{"value":{"entity-type":"item","numeric-id":513903,"id":"Q513903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$8A716E54-F0AD-4F7F-8FC0-8EB56EE9413D","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":"Q1991602$DB832BD4-32B3-4B26-A84A-427285C0B97E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27fd87f869460ae6f756080c20fd059bca7dbd30","datavalue":{"value":{"time":"+2018-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1991602$B63428F8-792F-4A7B-BBB1-1C36A61CCB4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c26cc99e72499954ad7f5ac11b080330268ab99","datavalue":{"value":"http://publicatio.bibl.u-szeged.hu/17357/1/2018_4.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1991602$DAC974C6-63C2-4964-B627-4A489F633F25","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb1dd15342f42ecf098c5b47528569309fd0a344","datavalue":{"value":"The notion of reflection conceived by \\textit{L. Barto} et al. [Isr. J. Math. 223, 363--398 (2018; Zbl 1397.08002)] is generalized to multisorted algebras in the sense of \\textit{W. Wechler} [Universal algebra for computer scientists. Berlin etc.: Springer-Verlag (1992; Zbl 0748.68002)]. Minor identities have only one function symbol on either side; they generalize the height-1 identities of Barto et al. [loc. cit.]. It is shown that a class of similar multisorted algebras is definable by a set of minor identities iff it is closed with respect to reflection and isomorphic copies of direct products. Such classes are dubbed ``minor varieties''. The associated notion of ``minor-equational theory'' can be characterized through explicit, albeit somewhat intricate closure conditions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991602$EB798D77-2FD2-4A8E-8CFC-9267CD636166","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":"Q1991602$9A0CF3C4-7D00-49C2-AA57-0A3893018660","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8fc08c53879b93dc998e9f9ac3fd791c57770a30","datavalue":{"value":"08A68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991602$77EF62C3-5B06-4A87-9559-D6D02CE1C84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991602$CE1F3E47-BC74-4AEB-8C77-99223F59AA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991602$5BA252E2-F24E-4CD1-876B-394F2557F72D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acdc209a6d1d103d14db9f1c71bde8f4d8120491","datavalue":{"value":"6968529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991602$DAC55CBD-AAD7-4958-9519-A3677AA27CF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f3c4cb37a2f77b781926e1d23a9a6aad0d850a","datavalue":{"value":"multisorted algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991602$49DA6567-8F39-43A2-8CE5-DA23076FB63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991602$5FA4EBA6-39AE-4E85-B464-01002CA45924","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":"Q1991602$3170FBF4-8174-4909-9EDC-FF24AC20C55B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bccdc65ecf001599dae38381fef6a082e83c1c91","datavalue":{"value":"W2888624788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991602$B6E11C00-8879-4FCE-92DD-48B82AE0456F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9d25260136951a14687081f2d19f464d842a23","datavalue":{"value":{"entity-type":"item","numeric-id":1762479,"id":"Q1762479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$DE51E97E-3128-4231-AD28-C1A3C8B3BDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1ff3bbdad58ba73d223d82904d17dd65746329","datavalue":{"value":{"entity-type":"item","numeric-id":1709740,"id":"Q1709740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$9A4244E4-8553-46E5-AD8E-744D64A7020E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$4ABE041B-3F95-4797-95C8-05CAF0A633E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3122fdd3e25dc0dc38ae8bda65e26ef9cd574cf","datavalue":{"value":{"entity-type":"item","numeric-id":4714225,"id":"Q4714225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$1B3501A5-A214-494E-AAF4-714C07C5DCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11ac7c8857e67dff15d9edb93c5e1b26b5287dd","datavalue":{"value":{"entity-type":"item","numeric-id":1966121,"id":"Q1966121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$134E0A67-7B0B-488F-9AD0-22B5074085EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f833e3e42ae373be648c5e09822acc5ab36bb834","datavalue":{"value":{"entity-type":"item","numeric-id":4373706,"id":"Q4373706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$739FAA1D-7513-4ED6-9C6D-C748AF2F378C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9ae9d25c165776926d92ae2f293b4bf9587937","datavalue":{"value":{"entity-type":"item","numeric-id":5727668,"id":"Q5727668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$4D7F4CD9-9E3F-4A86-83A5-3A3355C8D50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f05ed9b70d419757f408303251a5ebb8aee08a16","datavalue":{"value":{"entity-type":"item","numeric-id":1185017,"id":"Q1185017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$FE8D1646-3D51-4CFE-896B-43D04DD2D523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba722aca5aabd13c35d39802f9db37ea460b226","datavalue":{"value":{"entity-type":"item","numeric-id":1216327,"id":"Q1216327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$502AA6F8-7B84-44AF-BF5F-856445203624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991602$459FF3E5-2B1F-481F-8DAB-3E76FCD22A7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c36462d1ab56c59bb6c09b9545c8b1f2c5eb38fd","datavalue":{"value":"10.1007/S00012-018-0547-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991602$964D57D5-7F51-493A-B624-717B8011E30B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317060b37e7cdda4533468858d951e909bf1be88","datavalue":{"value":{"entity-type":"item","numeric-id":3560876,"id":"Q3560876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f526dab057a41c093bea69616b90440f5229b7","datavalue":{"value":{"amount":"+0.8746227","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":"Q1991602$28D58D80-3B12-49D2-A470-0AF92D4F03C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871bf819fbb2587740aa138849afa5a743493974","datavalue":{"value":{"entity-type":"item","numeric-id":3068293,"id":"Q3068293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ebf55439e4afa0a7cd4177aad5f78b1fbf4bef","datavalue":{"value":{"amount":"+0.87290907","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":"Q1991602$A816BC22-E262-44CC-8DC8-6753E158EF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139e76f54a66a664dd04cd7f3f15402c61d0a628","datavalue":{"value":{"entity-type":"item","numeric-id":4865868,"id":"Q4865868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4d48b6b22dca20d2b6ec1d01a23932ed02df09","datavalue":{"value":{"amount":"+0.8728632","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":"Q1991602$B1D4FF41-8A60-45BB-B7C3-3C4FD686914D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b80d586b958285ff13f5dd755efb59db7ceecf7c","datavalue":{"value":{"entity-type":"item","numeric-id":4244360,"id":"Q4244360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592a7dfd72c779f203f039d055d44eac6f220b68","datavalue":{"value":{"amount":"+0.87232137","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":"Q1991602$451927FA-ACD6-4A98-8978-B060B8CF3C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00cf55799fe45605c894782bb3760033d8e8ffe","datavalue":{"value":{"entity-type":"item","numeric-id":3677887,"id":"Q3677887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398df8cfc2d8faeed570b2def7b5073bbdf0a986","datavalue":{"value":{"amount":"+0.87113386","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":"Q1991602$3526042C-FAAC-4868-AF4B-A2CB54F7B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79c370042adfaefb620cb214e3d1380aa9f5eac","datavalue":{"value":{"entity-type":"item","numeric-id":2369280,"id":"Q2369280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04fe739bc1ad06d733024713d7298c74ca5e9377","datavalue":{"value":{"amount":"+0.8710862","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":"Q1991602$FE92341B-1495-4158-8454-A6DD9AF1F643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38365cdebb437108054b8e7f74f47299a25c8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1363439,"id":"Q1363439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1542ecbb50f8d60a235b830b0adb8b70b57e1a","datavalue":{"value":{"amount":"+0.8710323","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":"Q1991602$5ADDDBC0-F418-4476-90B4-F314E09655A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c4202a27dfdad8ac1a840ffcd64b5f614d808c","datavalue":{"value":{"entity-type":"item","numeric-id":4420437,"id":"Q4420437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4acbb61a3c1d4d75d88c2b2d09521a70c8913d2c","datavalue":{"value":{"amount":"+0.8699084","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":"Q1991602$C833F813-EA12-4B45-8C04-170D6A582B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee8fc8d2d165a83a25073d5937ebd941360ac62","datavalue":{"value":{"entity-type":"item","numeric-id":5690912,"id":"Q5690912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfb6187c3d661743867d8e62ab6e15d6763112a","datavalue":{"value":{"amount":"+0.8688554","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":"Q1991602$AE38E462-5C24-41A1-BCA0-1B9A6D00B831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13da2fdaa0e42dcfd572ddc0540d841312c831c8","datavalue":{"value":{"entity-type":"item","numeric-id":5131529,"id":"Q5131529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cedd37f88492c333736a67825c6e1172a18a322","datavalue":{"value":{"amount":"+0.867742","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":"Q1991602$D1BD8EBB-7641-4E15-B5BD-7F532E42D9D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1991602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1991602"}}}}}