{"entities":{"Q2496163":{"pageid":2506906,"ns":120,"title":"Item:Q2496163","lastrevid":78874874,"modified":"2026-05-06T12:38:15Z","type":"item","id":"Q2496163","labels":{"en":{"language":"en","value":"Hybrid bases for varieties of semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5040233"}},"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":"Q2496163$9CBF2D8B-588E-4455-8EFE-406633929CC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e2c6f93da1001ba6871d0ad7a85f53e76f6efa5","datavalue":{"value":{"text":"Hybrid bases for varieties of semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2496163$EC5ED0C5-137A-4C8B-8689-B5B420B62D68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2806eae4f59d5234d318ddce7b31f2159ada3c57","datavalue":{"value":"1092.20046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496163$11F6A821-0E7E-425B-9988-DC37BADA43AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8588ec913dd4f8053c54b3bed94f40ddd9f126b5","datavalue":{"value":{"entity-type":"item","numeric-id":749562,"id":"Q749562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496163$BB56D1F5-1A72-4806-8AC2-214DBF4D8760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e19d9290c7c998626a9192d3f88309fae930242","datavalue":{"value":{"entity-type":"item","numeric-id":584734,"id":"Q584734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496163$78D03B65-0FB2-4D04-85C5-9C062219E366","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":"Q2496163$28505B98-3FCC-4E0E-8A43-671ABD982487","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695354130dab3a786d23413cb8a043a7f99b90ed","datavalue":{"value":{"time":"+2006-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":"Q2496163$18711EDB-B35A-42F4-AEB0-68E03C6095EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c990aa3e1f5d525f42b3222ad81c8b5f5d9a4521","datavalue":{"value":"Given a type \\(\\tau\\) of algebras, a hypervariable is a symbol that is substituted by an operation symbol from \\(\\tau\\) of the corresponding arity. The \\(n\\)-ary hybrid terms over the set \\(\\{x_1,\\dots,x_n\\}\\) of variables are recursively defined by: (i) each variable \\(x_i\\) is an \\(n\\)-ary hybrid term; (ii) if \\(T_1,\\dots,T_m\\) are \\(n\\)-ary hybrid terms and \\(f\\) is an \\(m\\)-ary operation symbol of type \\(\\tau\\), then \\(f(T_1,\\dots,T_m)\\) is an \\(n\\)-ary hybrid term; (iii) if \\(T_1,\\dots,T_m\\) are \\(n\\)-ary hybrid terms and \\(F\\) is an \\(m\\)-ary hypervariable then \\(F(T_1,\\dots,T_m)\\) is an \\(n\\)-ary hybrid term. Then, a hybrid identity is a couple \\(h_1=h_2\\) where \\(h_1,h_2\\) are hybrid terms. The authors present finite bases of hybrid identities for the varieties of normal bands, commutative bands and abelian groups of finite exponent. The variety of abelian groups of finite exponent \\(n\\) has no finite basis of hyperidentities but has a finite basis of hybrid identities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496163$BEE58056-35D3-4E54-9C02-EA33FEE8F9CD","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":"Q2496163$6965F33C-40A8-4B1B-8EAE-C4170934DD46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496163$862FBAE2-5E8C-470A-A5D9-A2E1A72C9219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496163$9D90D3E0-4560-4125-BC97-31DDA122538A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e9da3bf71958a8a7d805e5ed2d093513e5f7d0d","datavalue":{"value":"5040233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496163$A96A160C-2B30-4596-9598-BFFE966EAF98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b42dfe5f1b5bcff927a70ab55fd0647faa08e8b4","datavalue":{"value":"finite bases of hyperidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496163$59F0E883-F729-40C7-AFAE-64449921DFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee41da51037cda23269e3c40d9a7e100b37c6024","datavalue":{"value":"lattices of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496163$A4126C40-43BB-43C7-903B-7728D0BA8950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b782bb9021232fe825470124daeacfaa375299f1","datavalue":{"value":"finite bases of hybrid identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496163$E6503DDF-FD31-4DC2-9CBA-5D51445F5145","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":"Q2496163$D6063A59-2C52-4634-A338-86475A4735F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62eccd55b84e42818bf72faf59bd135ca5b24d67","datavalue":{"value":"https://doi.org/10.1007/s00012-003-1826-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2496163$66F6ED08-E478-4B8F-B49F-9F9B1BD81455","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b1607d1b5faa12814e5bdc5a7dbc053e9d193c9","datavalue":{"value":"W1998851657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496163$5CC0A7C8-D39D-4BCA-94B8-0825311231DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df2abb8a9ca88f5523bfc6ecab5b294723d1b5aa","datavalue":{"value":"10.1007/S00012-003-1826-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496163$6C4BF635-C0E6-4216-AE63-086F4848993C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b545e709276665ec023319d01685e95b90cd067d","datavalue":{"value":{"entity-type":"item","numeric-id":1344838,"id":"Q1344838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db800a730e4aca12270dae9a42106fe45a682ece","datavalue":{"value":{"amount":"+0.8384221196174622","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":"Q2496163$E34051E2-8D51-4603-A91C-52E4E4D42C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78dd5106bb3afe38046a1d9c05023cbcb10f6615","datavalue":{"value":{"entity-type":"item","numeric-id":1882658,"id":"Q1882658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82c4306fa5eec9051f164f03865a42dcbecbc71","datavalue":{"value":{"amount":"+0.8366357088088989","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":"Q2496163$A48D182C-EA93-4FF3-B648-DB12367C29D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46137fbf25795671f57e46b0d20f5ae69e52fbd","datavalue":{"value":{"entity-type":"item","numeric-id":4285329,"id":"Q4285329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b746e3a6aee62b276c01313a0fb76a34aeb0466d","datavalue":{"value":{"amount":"+0.8314546346664429","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":"Q2496163$64C436AF-592E-46B0-992C-3B70ACF989F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51404096e99a889492113061904b4e9218aad31a","datavalue":{"value":{"entity-type":"item","numeric-id":583257,"id":"Q583257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b746e3a6aee62b276c01313a0fb76a34aeb0466d","datavalue":{"value":{"amount":"+0.8314546346664429","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":"Q2496163$1C8CD563-2755-4241-BFF8-E55403A82209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0518f91a2e4209d203e32faf048105c33f2aff9","datavalue":{"value":{"entity-type":"item","numeric-id":1175932,"id":"Q1175932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ffb189c5fd9f9c9c7a02070d0beab39ebdb843","datavalue":{"value":{"amount":"+0.7998391389846802","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":"Q2496163$A2F7510E-3175-4C23-B8B8-888B7CA6C89D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid bases for varieties of semigroups.","badges":[]}}}}}