{"entities":{"Q935166":{"pageid":937014,"ns":120,"title":"Item:Q935166","lastrevid":65493543,"modified":"2026-04-12T02:59:05Z","type":"item","id":"Q935166","labels":{"en":{"language":"en","value":"On bases of identities for the \\(\\omega\\)-variety generated by locally testable semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306543"}},"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":"Q935166$72B252D4-A1ED-488B-AE37-7C5217B16A9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22820bb55db2420f03d63b3873b70d4b45eb11bb","datavalue":{"value":{"text":"On bases of identities for the \\(\\omega\\)-variety generated by locally testable semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q935166$3F2A64B5-DE5F-4BC6-8AEE-661ACDD67F5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"462916269a1514cfee324d6b23c9226f9c992969","datavalue":{"value":"1157.20030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935166$ABC154F0-B0D5-4C68-A040-48451CB29DA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a04dfd6ad89e3718aff552cbb95c1c2d3264bab","datavalue":{"value":{"entity-type":"item","numeric-id":209731,"id":"Q209731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$1C5E9CA7-68AD-435F-B879-670BD1B9A7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24e4e703bd889d6e09e657ae8be863883c66d29e","datavalue":{"value":{"entity-type":"item","numeric-id":935165,"id":"Q935165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$933298FD-67C1-46AA-96F3-1E200DC98EEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$FB8D150A-C61D-4A4D-B05B-CCDD7541C32B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d7bf80e07847c0b262029f7e143cabd4beaa66d","datavalue":{"value":{"time":"+2008-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q935166$DE775479-AB19-4347-9AD8-8D558DF18974","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73c6194450d219985e8e7713c1363a9165355590","datavalue":{"value":"The authors treat finite semigroups as algebras of type \\((2,1)\\) where the additional unary operation \\(x\\mapsto x^\\omega\\) maps an element \\(s\\) of a finite semigroup to the unique idempotent of the subsemigroup generated by \\(s\\). They consider the variety \\(LSI^\\omega\\) of such algebras generated by finite locally testable semigroups. The authors solve the word problem for the free algebra in \\(LSI^\\omega\\) and give an identity basis for this variety. The basis involves identities in at most 3 variables but is infinite; the authors show that \\(LSI^\\omega\\) has no finite identity basis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q935166$086FAE40-590C-4BF5-B6AB-AD5721011A49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935166$F6FA2322-A28B-41A8-8525-8416FDA8A510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935166$AEA54DDB-5125-4948-A5B7-09EB0EB25D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935166$31B366DF-98C4-4F69-BE5F-E7D2656FD882","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50f2fbf0a89bce6244bbf59ebeebaac1cc1290e3","datavalue":{"value":"5306543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935166$E08626A4-101C-4802-B15E-61E53A12AD80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q935166$47FEFE0A-0641-4A95-9973-F10F7080B404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db4eff65f85faebf8411107ce9861f94744fb08","datavalue":{"value":"pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q935166$34C30707-B1ED-448D-8628-DB6E2FC3C333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2af7cea05223bd9709df6a728b9985311fd7d2","datavalue":{"value":"local testability of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q935166$7E24DA6B-699A-46D2-84CB-56DD8064BBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e071cd0e6fd246d5df33149fdd1b5beceb4e2e6e","datavalue":{"value":"omega-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q935166$B8324B97-C99B-4339-842F-81D52640B2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q935166$5D760E21-AF87-4601-8C8B-32BFC2E41DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324a76f236ef5b3e74bef7f0e8d15e43454185cd","datavalue":{"value":"identity bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q935166$D4B545CC-0663-4A7F-9531-04955EB332A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q935166$97256DC9-A33D-4536-B38A-D25B5D65958D","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":"Q935166$F67DAD35-28E9-46A0-84FD-D0724DBAA58A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3bf243a4b45f3e9ade2e7a088ace1e111ce6a96","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.04.043","type":"string"},"datatype":"url"},"type":"statement","id":"Q935166$86A1CF7A-FE78-4C85-AC1E-13AF0F882E30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f2cb4aea71817725d361e2b3e35e96a859c1e9f","datavalue":{"value":"W1971102139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935166$D612B5A2-0E54-458D-B185-F58B8B504F35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf6b38ad90a6767e79d5827948c003e9f9aeead","datavalue":{"value":{"entity-type":"item","numeric-id":2276995,"id":"Q2276995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$FE0DC3B8-3D17-48AC-8D37-678FC569FF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf981e9961fe9bb3dcffe11fabdbe5b3b271e6cf","datavalue":{"value":{"entity-type":"item","numeric-id":4407421,"id":"Q4407421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$3EBBF3CD-FA59-4F60-AFE1-11B0C87DEE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289bbcf97a7af60a1c0e0ec0c5b9f65f1ac72a13","datavalue":{"value":{"entity-type":"item","numeric-id":4942266,"id":"Q4942266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$7CA1AA8B-8852-410B-B47A-5AE23ED58D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990c49199a1373744910c92f84c277fb81490547","datavalue":{"value":{"entity-type":"item","numeric-id":868948,"id":"Q868948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$FA09389F-92F7-4B31-B2D6-4AF3A891F1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4a70c52a9128c6f1ae4ee3e196ec5c806b0193","datavalue":{"value":{"entity-type":"item","numeric-id":2558849,"id":"Q2558849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$B146C847-7C48-4B9B-AB1D-9E3256BB5D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f5a4dacd3035b643dd2c015d41e6f748c60d1d","datavalue":{"value":{"entity-type":"item","numeric-id":5946464,"id":"Q5946464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$02C3902F-3D6F-47F8-A4CC-61A63C6B3470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$8C1CE1FA-F5BC-47BF-89F7-078F2960B520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e606782c4d7147bd72473950f86a7ffa11efb362","datavalue":{"value":{"entity-type":"item","numeric-id":4786300,"id":"Q4786300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$0BBCBAC1-0968-40EB-9FB4-EB282D2E8250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b183af9ae1f45384110c085850792ac573cedfe5","datavalue":{"value":{"entity-type":"item","numeric-id":4773689,"id":"Q4773689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$7740EE77-46EB-4E2C-8F37-F1809B48690B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8198830df5a14521882e1742cacb78b2b1a73c21","datavalue":{"value":{"entity-type":"item","numeric-id":2264860,"id":"Q2264860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935166$6FFE1ED4-218B-4822-9DDB-2CCEDB42DB72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4974c1218b684da0ba7d26133b3dceb202055a1","datavalue":{"value":"10.1016/J.TCS.2008.04.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935166$338082AB-CDB7-4665-B73E-60282CF822DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e42aceb3040097d401c5ac360df54023474eac","datavalue":{"value":{"entity-type":"item","numeric-id":4700477,"id":"Q4700477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f45a66c0419659c74841997a6f707430de3f50","datavalue":{"value":{"amount":"+0.8155745267868042","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":"Q935166$53EE170F-39DC-4726-AECC-8916D2D64338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ec96127a0a69de095d1c6579ea5f57e31b882a","datavalue":{"value":{"entity-type":"item","numeric-id":3552216,"id":"Q3552216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96adc6fc7de57f59ed64c3c7c9ab29b3fee9c8e","datavalue":{"value":{"amount":"+0.8142681121826172","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":"Q935166$66AF1927-324A-4FC5-8BA1-CA7E3F57AACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b8b7398402156ca38eb4c275b037c1d2f287f8","datavalue":{"value":{"entity-type":"item","numeric-id":5018535,"id":"Q5018535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0e991b34c6eefa8fe8ea7601307dae643d9666","datavalue":{"value":{"amount":"+0.7880049347877502","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":"Q935166$40C979BA-CBEB-485A-979D-FDE56A570091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7630c78f8e2fe88dff4ec0f4607f691ff4976986","datavalue":{"value":{"entity-type":"item","numeric-id":4453225,"id":"Q4453225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdb4e9cb8f3864579e80bd6252d0cc52c495477","datavalue":{"value":{"amount":"+0.7799338102340698","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":"Q935166$554716F6-E669-4DE1-9FFB-C30EC937DD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91af5a5b83666932234093291ccac90a819ecb05","datavalue":{"value":{"entity-type":"item","numeric-id":3510071,"id":"Q3510071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48673f3719264b683eefe917ee5f8961f2ffe9c2","datavalue":{"value":{"amount":"+0.7746096253395081","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":"Q935166$76CB44AD-F79C-487C-ADE2-86F1443AC3B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On bases of identities for the \\(\\omega\\)-variety generated by locally testable semigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_bases_of_identities_for_the_%5C(%5Comega%5C)-variety_generated_by_locally_testable_semigroups."}}}}}