{"entities":{"Q353361":{"pageid":355128,"ns":120,"title":"Item:Q353361","lastrevid":61185075,"modified":"2026-04-10T21:43:01Z","type":"item","id":"Q353361","labels":{"en":{"language":"en","value":"Many-sorted and single-sorted algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6187516"}},"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":"Q353361$EBBD315D-542B-46BD-ACF5-00C84183911D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be17ab7b9b4404e89a6e93368eef20a63c1854a9","datavalue":{"value":{"text":"Many-sorted and single-sorted algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q353361$78CBFF06-BBDA-45DE-9EF6-CC9CF9EA263B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0249761cfa564e659d96ccc31b66e251037953d4","datavalue":{"value":"1283.08008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353361$7169489E-5BC8-4231-B678-7C511D151EFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfa85d5c78ab49516109d7e16cd55f04267810c9","datavalue":{"value":{"entity-type":"item","numeric-id":353359,"id":"Q353359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$9C479480-21F1-4130-A678-1E723739CA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7deee3aaace48d771e38f7d642b685cff9653914","datavalue":{"value":{"entity-type":"item","numeric-id":353360,"id":"Q353360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$66055950-2172-42E3-BAAE-AB5D76B98AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3af2f910c65dbdd1760556e229fe43e21622227","datavalue":{"value":{"entity-type":"item","numeric-id":209617,"id":"Q209617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$DD50F403-E8BC-4DB2-9FED-EE57E6E6B406","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":"Q353361$44DCBB49-A062-45C0-9FDB-FB2A095DD039","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7648b60b59954b2d001592c2d3cc73e7f7fb262d","datavalue":{"value":{"time":"+2013-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q353361$968187CC-A5C8-4254-AD73-52B0D37FD139","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a5a270ac2cb6ca75b12343fbf053d47cb5d7a8f","datavalue":{"value":"M. Barr, J. A. Goguen and J. Meseguer proved that the class of all pure heterogeneous algebras of a given type, or the class of pure heterogeneous algebras in a certain variety, is equivalent to a variety of single-sorted algebras. However, the types or defining identities for the single-sorted variety are not given explicitly. In the present paper, the authors solve the problem of determining good sets of explicit defining identities and quasi-identities for the variety of single-sorted algebras equivalent to the class of all pure heterogeneous algebras of a given type. The complexity of the identities defining the variety is a linear function of the number of sorts and the arity of the fundamental operations. The converse process of heterogenization is described in Section 9. The results are demonstrated on algebras with so-called diagonal operations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q353361$6A2AE477-EDD9-40C9-AE28-40FC7F7443D2","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":"Q353361$E664DCA5-E3D7-4520-B864-225357112A8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8fc08c53879b93dc998e9f9ac3fd791c57770a30","datavalue":{"value":"08A68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353361$93828DD6-341F-4D4F-940F-3DC9C7AAF8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353361$74EB0C3E-5C39-4EAB-8607-711732917A6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"120b5279e7d5feee43a5e52d3d90c6663b52a780","datavalue":{"value":"6187516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353361$A226C424-F6EB-4C84-B840-2A5976D0E846","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80b94de06b85d35cb69f2b021daf637b1a063f04","datavalue":{"value":"heterogeneous algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q353361$84D236DB-CCD0-4C30-971B-B5F5DA04F55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ba2907cc5d70692d3692f21c97b6eba0cd4632","datavalue":{"value":"many-sorted algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q353361$869F835B-C7A2-46EE-A0B1-6123AA106EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"191f8171e1156b70bcf9774a0459073274144dec","datavalue":{"value":"diagonal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q353361$C9D9D5B8-2857-4CCE-9830-E5A71F600F15","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":"Q353361$DE58C3B7-2585-4103-8155-1C7717381633","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10d184ecedf61208466dd4aca6e9b5f8c155f5e6","datavalue":{"value":"https://doi.org/10.1007/s00012-013-0224-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q353361$A4F68ED3-6DB9-4495-9A2E-8FFF86041A38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"309f531e660db4662d8e230b2ef9617bff7bed3a","datavalue":{"value":"W2052254485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353361$577C649A-738C-4020-AB2F-D6A1392F3526","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"40fb8b3e7db3a043d099061cd142b272f0c656a2","datavalue":{"value":"Q59303231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353361$BB5FFC00-F075-474A-BEED-B4AC15C3A4C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95559a4d80f773d72a450145ac01751def5111a","datavalue":{"value":{"entity-type":"item","numeric-id":3164468,"id":"Q3164468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$F3C3191F-7EE9-4371-AEAC-348E67B90E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76da7bf204c347e7ac637d7549251fd0d4ab70b","datavalue":{"value":{"entity-type":"item","numeric-id":5672787,"id":"Q5672787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$BEC3C19E-B579-4263-AF57-67ED641F1C17","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":"Q353361$FE98E143-3F9D-4BA6-897C-F8369EFA5627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c916f72987a3e0f2882741d6bc04fd7fe11935","datavalue":{"value":{"entity-type":"item","numeric-id":4458761,"id":"Q4458761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$91CEFF1E-3ADC-4AE6-9CE7-E9286B455BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f27d1cf41ec859f2924aead3f46b262dc817ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3377761,"id":"Q3377761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$624B3416-E34F-4AEE-9498-F61A392C23DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fce9668985a35744144be03b8582d31fa2a59aa","datavalue":{"value":{"entity-type":"item","numeric-id":4955722,"id":"Q4955722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$914054D5-FAD0-4C01-8AB5-70A88073EABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$D89FB2F7-0103-47D1-BE16-33547D42B265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7932675de841d197fa742d2153100d3915a0f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3693725,"id":"Q3693725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$E5FAE9FC-A876-4497-A6D4-762583F97C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d291b67b04685e82d3c824e147e4e609969a5e5c","datavalue":{"value":{"entity-type":"item","numeric-id":4029630,"id":"Q4029630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$0B5CC0AA-66B5-4D62-B17A-F1EB177CEC20","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":"Q353361$B26CDA64-29F1-43C8-BE31-267259B48583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ed7062d32dfe64c652fd427c2d479aed870106","datavalue":{"value":{"entity-type":"item","numeric-id":4105713,"id":"Q4105713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$2EB17669-2C0B-4F71-9317-99A966552A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a70347429be666234e0cdfc2468ddab12eedce","datavalue":{"value":{"entity-type":"item","numeric-id":1187715,"id":"Q1187715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$78D91DAD-D4D0-44FC-A6EE-CC919E876B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819c1eb212af13d870c787a5c885904bba753b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5442201,"id":"Q5442201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$D51B6954-F8A9-4C16-AFB9-52F310DB21E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"837852602171b4f4a126d910abbcc95c1973f421","datavalue":{"value":{"entity-type":"item","numeric-id":3507220,"id":"Q3507220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$5E8651F7-3FE3-4DA0-8F9D-A156FB690CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31885ad5b7f5b78b009ebf90e350fd8f1dacf86c","datavalue":{"value":{"entity-type":"item","numeric-id":3010691,"id":"Q3010691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$6948FF57-6E7C-4B6A-BF67-87E2CC5FC34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4a644feef5d8cdfc08ebaf62dd99ab7970b216","datavalue":{"value":{"entity-type":"item","numeric-id":3019046,"id":"Q3019046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$8D038338-0177-4DD4-8252-C13AA9D80D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84fe7673bc3804c71c6a223d2789f87ed73ca7e","datavalue":{"value":{"entity-type":"item","numeric-id":5551202,"id":"Q5551202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$6122193E-E2DD-408E-A1D5-71B0DC2307B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5bc09f91ff3d7aaa92afd9e01eac5e4c9af378","datavalue":{"value":{"entity-type":"item","numeric-id":3140291,"id":"Q3140291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$CD826AD0-686A-41F5-B9AA-58A9880FD7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490bf98783905a7b3373f8255009983f3c238ae0","datavalue":{"value":{"entity-type":"item","numeric-id":4789441,"id":"Q4789441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$8547D7F8-F7B9-4F11-9353-619E810DC7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971f025f98bbaf662272ef3d8c2620b53f2e7df7","datavalue":{"value":{"entity-type":"item","numeric-id":4804758,"id":"Q4804758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$197A39D6-43E2-4AF7-8D28-6D2184C02E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff7028703d35d816a12391d239e7e5045ba2a","datavalue":{"value":{"entity-type":"item","numeric-id":3606406,"id":"Q3606406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$8C12D34B-FFA2-4E78-A11B-F84B7835FD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e006d0fc3182bc9cc569595fe5f93df5f6bb9ea5","datavalue":{"value":{"entity-type":"item","numeric-id":4951437,"id":"Q4951437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$616C6F07-C54C-457C-809C-D22E36C19CED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00c97ae5d289042206fba9dbf144cb8d23f865bb","datavalue":{"value":"10.1007/S00012-013-0224-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353361$D67CADDF-9132-420B-AD7D-6D1724EA0619","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b50dd622428bf6cf7dff86ff77eb487d405e83b","datavalue":{"value":{"entity-type":"item","numeric-id":4396591,"id":"Q4396591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247ee0fdc2dc483ec598289dc82cf7bd875ef154","datavalue":{"value":{"amount":"+0.8278353810310364","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":"Q353361$60B91B43-C5F9-4FE1-B289-0E6DC5624E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"becbf6c634fb4f5b55173fe87b2d8481d5a193e1","datavalue":{"value":{"entity-type":"item","numeric-id":3035356,"id":"Q3035356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54eddaa70765a80be403b1430bd677e611507631","datavalue":{"value":{"amount":"+0.8159324526786804","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":"Q353361$3A7EE0E9-152D-4F60-A19F-CC79EEDE7093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f7f46edbd2fc5a87795fa8f1e3e7a1ca9e2884","datavalue":{"value":{"entity-type":"item","numeric-id":4377758,"id":"Q4377758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6c59115928a91e41c938eca18d07a90fe0f438","datavalue":{"value":{"amount":"+0.8093964457511902","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":"Q353361$1213F53A-3230-4C88-A1B3-D0EC7A97168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23773552b8ca50c3a1c6cfb8cca8c9f9df875fd","datavalue":{"value":{"entity-type":"item","numeric-id":1762479,"id":"Q1762479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2a42a3d06a277ba26bdb7e86931fa4e084d1e9","datavalue":{"value":{"amount":"+0.8093963265419006","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":"Q353361$0D333A13-A1E3-44DC-80CB-6A662E4D00F2","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":"6de1bd84b30405c8ee3e76566b1aee1cdf4ff5a4","datavalue":{"value":{"amount":"+0.7836620807647705","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":"Q353361$6406058C-B806-4112-9E70-6098F7D9EB34","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353361$56B1AA16-63CF-406D-8029-4181DF1EF081","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Many-sorted and single-sorted algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Many-sorted_and_single-sorted_algebras"}}}}}