{"entities":{"Q688972":{"pageid":690821,"ns":120,"title":"Item:Q688972","lastrevid":47201806,"modified":"2026-01-01T00:02:07Z","type":"item","id":"Q688972","labels":{"en":{"language":"en","value":"Equations and dot-depth one"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438889"}},"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":"Q688972$F2870275-439B-4015-AFF6-DD5DD351599E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9158efd11fc88f0026b5099186b48278d54ce87","datavalue":{"value":{"text":"Equations and dot-depth one","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688972$08C7C34B-B49A-4210-A9D9-B2E6FC8DC700","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5759a0387067c68c367ab938820d16377c4f971","datavalue":{"value":"0814.20048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688972$24C94D69-F5AB-499A-AB12-09AD90609858","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16bdcb83aa0968e4cca3d0b4adcf33f7909dba82","datavalue":{"value":"10.1007/BF02573768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688972$6580C9B5-6B01-4089-A46C-A46E19B0A19C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$43AB456C-7B84-4BA6-8F1D-9E32517261DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b284e35c1970c32b54ea678933b5f17581b0b244","datavalue":{"value":{"time":"+1995-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688972$4ED4F8E8-EAD5-4939-B082-C801F4A9A124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11be617f5a4ce2bac6068b5be52bc590c1961469","datavalue":{"value":"https://eudml.org/doc/135281","type":"string"},"datatype":"url"},"type":"statement","id":"Q688972$892C3BD3-323E-4B63-A6EF-41624168836D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88b1ae8b3ff1239e546e6c5da7426ed50f8dee6c","datavalue":{"value":"Let \\(V_{k,m}\\) denote the finite monoid varieties corresponding to the Straubing hierarchy of star-free languages. The author studies whether these varieties are finitely based. For every pair of integers \\(r \\geq 0\\), \\(m \\geq 1\\) a finite sequence of equations \\(C_ m^ r\\) is constructed such that \\(C_ m^ 0 = \\{x^ m = x^{m+1}\\}\\) and \\(C_ m^ r \\sqsubseteq C_ m^ s\\) if \\(r \\leq s\\).   Theorem 1: Let \\(M\\) be a monoid generated by a set of \\(r + 1\\) elements, \\(r \\geq 0\\). Then \\(M\\) belongs to \\(V_{1,m}\\) iff \\(M\\) satisfies the equations in \\(C_ m^ r\\). The equations \\(\\bigcup\\{C_ m^ r : r \\geq 0\\}\\) define the variety \\(V_{1,m}\\). Theorem 2: The family of equations \\(\\bigcup\\{C_ m^ r : r \\geq 0\\}\\) is equivalent to \\(C_ m^ s\\), where \\(s= 1\\) if \\(m \\in \\{1,2\\}\\) and \\(s = 2\\) if \\(m = 3\\). Thus the variety \\(V_{1,m}\\) is finitely based if \\(m = 1,2,3\\). The author also constructs for every \\(m\\) a finite sequence of equations \\(D_ m\\) such that for every finite monoid \\(M\\) generated by \\(2\\) elements, \\(M \\in V_{2,1}\\) iff \\(M\\) ultimately satisfies the equations in \\(\\bigcup\\{D_ m : m \\geq 1\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q688972$821ACBF2-2864-4AF2-86AA-4CFCB4D9A99B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688972$FD3AA3A0-A8A6-416F-BF54-87FF9AE7D347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688972$2F55218B-309E-4A82-A64A-10391CDEEBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688972$B810B2B6-7913-44FF-A0D0-C3285818652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688972$7A395FAB-725F-47C3-ABF0-4E12BE02A8A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"333844ece72067703dbfbe7d4cfeebe3303e9d29","datavalue":{"value":"438889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688972$AFF1965D-C8EB-4A83-9364-027C27B0AA25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0811fddd6492faef424fd7567085879af3aa64c6","datavalue":{"value":"finitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q688972$81EFC93A-1AB1-4051-9FD6-F1950D39EA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01ffeb1295e8a267c5499ba7fae119a0e7756064","datavalue":{"value":"finite monoid varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q688972$12A90D2A-4EE0-4AB7-8722-855BEC9D906B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d6bcfef5ae66d125190529482cc78677d82f8b7","datavalue":{"value":"Straubing hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q688972$AF5E728F-8BEE-42D8-AB5B-424E2B1F0BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32490d15e9a9f0544e6b80bbcf0c5a6a20c3be6f","datavalue":{"value":"star-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q688972$9F3434C0-953B-46DE-817F-05D58FE462E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"818e9f702236373a17ffd12e945757a9e7b5e10d","datavalue":{"value":"sequence of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q688972$FA3C3EBA-64EE-4D81-B758-58FCC9F77DF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93b45e6f35a46f2e2f1fa86a21166fefbadd915c","datavalue":{"value":{"entity-type":"item","numeric-id":591667,"id":"Q591667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$A06DD189-2EAA-404D-AD34-52AD718FA908","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"542b6ea84023c152b4343da3d1339c7580f7af0e","datavalue":{"value":{"entity-type":"item","numeric-id":1180654,"id":"Q1180654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$005D8144-00F3-4D85-A743-C3684B706025","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":"Q688972$3E9CB006-E6A9-4079-BE71-A0AEDC101ED4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6e5904a0ed5b77aea7e01a476dc85dcdea6d80","datavalue":{"value":{"entity-type":"item","numeric-id":1823928,"id":"Q1823928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$D5FF1989-CBC1-42BC-8B1B-2978A6D187CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c713445547ef4c8a6736bd8f13257635a41172c2","datavalue":{"value":{"entity-type":"item","numeric-id":5750405,"id":"Q5750405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$075718BC-3414-4B4D-9AFB-6603FB7F87D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53c67e159c3aca596b6ea6f59036641f019d695a","datavalue":{"value":{"entity-type":"item","numeric-id":1201097,"id":"Q1201097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$C39FDB2B-12FF-4D47-AAF7-8E3786FFF69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2299871f8da3ff873a8d3556c58e2f6c60e4e2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1242697,"id":"Q1242697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$12C56BFC-3C0B-4B6F-9E8C-4A57FB00AA13","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":"Q688972$D6978A1F-869B-4716-A191-2BA9A3154A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2716451e75e131a2b07c55da6f5e535035caf72","datavalue":{"value":{"entity-type":"item","numeric-id":2546343,"id":"Q2546343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$FCAF1E57-10D8-4120-951E-30B24BB2E7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$25933974-3AFA-4C73-82A7-7721BDD17D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afad173eef5cd271472dfe5165d8cef0865dd7e","datavalue":{"value":{"entity-type":"item","numeric-id":3673124,"id":"Q3673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$C664804E-208E-4442-8215-A1DBCCC9BBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$9CFF692B-C492-436C-8BA8-228EC6DA12E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$7B4518A4-05A7-4CE3-8993-98A7FA652DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$7188F873-765C-44F1-827D-E2FBB26FB6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad71e0c47b486677961310ebe80bdd31a6c3125","datavalue":{"value":{"entity-type":"item","numeric-id":2266068,"id":"Q2266068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$5D3C4056-A2F8-4753-9170-2158BB212D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a13c213dfcf27104bc223ecb7d9c32fb11524b","datavalue":{"value":{"entity-type":"item","numeric-id":3730029,"id":"Q3730029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$56A3558C-690F-4397-B654-ACE93BC40156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688972$C28BE230-C922-4553-B2B6-C7E98CFC5142","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29c178af27017cc0a134d0ce3f2b858368c56141","datavalue":{"value":"W2051741672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688972$D5DA4076-7932-4549-8026-23A3CE5E5A16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"186f29ae1095d0f36a83bd77ddf202786feaeb4f","datavalue":{"value":{"entity-type":"item","numeric-id":1314381,"id":"Q1314381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65dd923019ad0121f7920f5a742005ec8c997a3","datavalue":{"value":{"amount":"+0.8420599699020386","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":"Q688972$6F9B4F3A-60CE-4855-8D7D-35FE1357083D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1db1886a512be6936d6c442ef2fb5db31c884ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1201097,"id":"Q1201097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42bff378f92e56411baa10cb2d6f8ac077d8c25","datavalue":{"value":{"amount":"+0.8024136424064636","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":"Q688972$CBEDBD72-ACD8-4A03-97F0-F7D0B8014CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3494cb9b73b722405d6ada5c451f65cd5d6f696","datavalue":{"value":{"entity-type":"item","numeric-id":1207707,"id":"Q1207707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1850d044d5e7891485c13da72f36c921706e4192","datavalue":{"value":{"amount":"+0.8020942807197571","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":"Q688972$00E22E27-62C5-4090-AB98-C3D5E7047072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d290bbc24dc97a000d21126428a5456fa9a84a08","datavalue":{"value":{"entity-type":"item","numeric-id":5750405,"id":"Q5750405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe6dc2aecc5a58763a976f514eb05bb0f754d1d","datavalue":{"value":{"amount":"+0.8003295063972473","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":"Q688972$20C1FCCC-D8C6-4707-9055-A5A2BD6A17F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55cacc340386a3a5447846d7ddbf29c64060e9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1823928,"id":"Q1823928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c8f8115fa917f83f8c1cdae1a36ac425a61c61","datavalue":{"value":{"amount":"+0.7994194030761719","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":"Q688972$F830752E-AAE0-4162-BA1A-DC8E540D6CD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:688972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:688972"}}}}}