{"entities":{"Q1201097":{"pageid":1211846,"ns":120,"title":"Item:Q1201097","lastrevid":47117146,"modified":"2025-12-31T17:53:13Z","type":"item","id":"Q1201097","labels":{"en":{"language":"en","value":"Games, equations and dot-depth two monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 97204"}},"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":"Q1201097$BD1DBE00-DDE9-4489-B152-C947310AF5AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4902f15899c32a9ddcf65328f3cff69b0fff961","datavalue":{"value":{"text":"Games, equations and dot-depth two monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1201097$B7D21EC3-AD4F-49B6-A6AE-C548E84C8166","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57029402843cf2e3076053725eec51a44eb5931e","datavalue":{"value":"0791.20068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201097$CCA402E3-CF9A-46B0-BA60-63BA7C198FEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2775a2e6a69f0f3ee168f99ef655bbc7080dbd0","datavalue":{"value":"10.1016/0166-218X(92)90161-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201097$92CBF874-C51E-44F9-BED7-C1E57039484F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$9D9DFE7D-D52A-4C68-9361-9D9DCA592C8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1201097$77AEBA90-771B-45E4-8B98-1CBA477CC7FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"385ea0a22db190b6d1f1673f6a38c87882afe54a","datavalue":{"value":"Some questions concerning the dot-depth hierarchy \\({\\mathcal V}_ k\\) and its sub-hierarchies \\({\\mathcal V}_{k,m}\\) are studied. The approach taken by the author is based on a class of congruences \\(\\sim \\overline{m}\\) defined on free monoids for every sequence \\(\\overline{m} = (m_ 1,\\dots,m_ k)\\) of positive integers. Such congruences arise from an extension of the standard Ehrenfeucht-Fraisse game due to W. Thomas. The author provides some systems of equations which are satisfied by \\({\\mathcal V}_{2,m}\\), and for an alphabet \\(A\\) of cardinality at least two obtains, amongst other things, necessary and sufficient conditions for \\(A^*/\\sim (m_ 1,\\dots,m_ k)\\) to be of dot-depth exactly 2.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201097$2974C2D8-6209-4B43-A766-5C8A8159461A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201097$5952BF36-23FB-4BA6-831F-2810CA02ACBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201097$F31E5740-7EDC-498D-8DBD-4717732B4FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201097$66AFF2B7-4764-4EF5-8E65-382F8B0C05DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cccca7c99125a9f329d2dbbedd8023c596ee335","datavalue":{"value":"97204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201097$3556FC60-C4A7-4072-8722-D0161F8E3343","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a841da813691ba78a2fe2bb309570b4496e4c78","datavalue":{"value":"dot-depth hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201097$921AA154-F375-4B3F-8DF5-1C358F50FF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81c0dbaec572df0b83eb998f00792278ab2be919","datavalue":{"value":"class of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201097$099D5F94-0F36-4094-B051-0B528144BD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b241c2e53ac9c4073e4f6a37f6442b7c79d7d","datavalue":{"value":"free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201097$AFA857AB-D7CE-444F-9522-948B46E8614A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266774c22eb2f9d19f96be1f8d66d9199587ef80","datavalue":{"value":"Ehrenfeucht- Fraisse game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201097$28531F19-4AAB-4445-9BF0-931D83D172CE","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":"Q1201097$2EBC8ECB-EAA5-46C6-A997-647836E91383","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":"Q1201097$5AA5CAC2-A67B-467E-A9F8-D4DC5A378122","rank":"normal"}],"P223":[{"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":"Q1201097$75F88AE3-D8F6-42EE-8421-358B0E3AEC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b11e6961e3ff0a79641ac442b24072ce63dc18","datavalue":{"value":{"entity-type":"item","numeric-id":1900936,"id":"Q1900936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$A1D286C6-1E81-42BF-9229-765B55C1A535","rank":"normal"},{"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":"Q1201097$56D3E6C5-F07C-4CFA-9696-C655808F88D2","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":"Q1201097$9062F5D3-DB27-4F11-B511-67E8922228A4","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":"Q1201097$92E4C535-40F9-493D-B8B2-4E3515118917","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":"Q1201097$9EA79D88-39C9-4818-BD37-994612A05B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$BE60CCD6-2CFA-4FAA-AC0D-5B998F2AF9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$9D3130C7-52B8-4A89-9435-4D4C9211BC33","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":"Q1201097$8E133AD9-8DCE-4EA4-A7AF-4B0272D832B3","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":"Q1201097$2FA87ACC-3B68-4681-903F-118FB46EE6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f57872b55df963de6c9939d692ed2ca987da0a","datavalue":{"value":{"entity-type":"item","numeric-id":1088982,"id":"Q1088982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$96C6AE22-61FB-4094-B516-416886B7438B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70149cae8f99255f0ad252fb21c7901c2462fe82","datavalue":{"value":{"entity-type":"item","numeric-id":3776657,"id":"Q3776657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$C3DFE24F-9DE9-40CC-B1AB-F3105B7DB65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f785bc9135cd622f2c55bdc82bfce44c33823d","datavalue":{"value":{"entity-type":"item","numeric-id":5184421,"id":"Q5184421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$985BF6B9-FE3A-485B-8FD6-661344931033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4773c285e5bc508231c7e79b59e726e8ae5dbc2d","datavalue":{"value":{"entity-type":"item","numeric-id":5569435,"id":"Q5569435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$F0F32FC9-F55C-4605-ACC3-FE097E6005EC","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":"Q1201097$CCEA1602-920D-4B72-AAE2-274C1E0FE1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$C0C19A5D-26C5-48BF-A4BB-7A6FB412E9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406bf4098a1ddb2d0ade5ddcf4b35c26106e18fb","datavalue":{"value":{"entity-type":"item","numeric-id":1150445,"id":"Q1150445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$51716351-A6D4-4D2D-96D6-F2183F1D08B8","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":"Q1201097$25B745D2-20F3-47D7-9AD8-73D4E812E35A","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":"Q1201097$093678CE-265F-474A-BB73-A3FBF8971476","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":"Q1201097$4707A200-EFE8-4AEF-87D2-4F98098F9DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c8f93130a8ffdfab53fbc19d2484097091b98a2","datavalue":{"value":{"entity-type":"item","numeric-id":3347321,"id":"Q3347321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$E809C43A-EBCE-4638-9F51-066AB39F19BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4106ee1359f86fe88fb498711e75cf06db6594e","datavalue":{"value":{"entity-type":"item","numeric-id":581545,"id":"Q581545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201097$D6ED32D4-83CF-4516-A331-458AECC193D6","rank":"normal"}],"P1643":[{"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":"ebec0a582a1fcbba5a6cfd682e7c66d975ec38ed","datavalue":{"value":{"amount":"+0.8837254047393799","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":"Q1201097$E98FC50A-961A-4FA0-A7B2-C8C957454A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce629ed9e335cd77aed0a3abd407cf8659d5d9b","datavalue":{"value":{"entity-type":"item","numeric-id":1900936,"id":"Q1900936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3f47e7bc25d102c3cd04113f905915b3ddba12","datavalue":{"value":{"amount":"+0.8386407494544983","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":"Q1201097$B153F229-290C-4AED-972F-CFED699A6954","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":"ce4cc26608a033797e9500b456aa997e20e1e792","datavalue":{"value":{"amount":"+0.8375884890556335","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":"Q1201097$4D6C2595-8EBD-4487-8698-55687D8746FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75edb2821533a22103bdc78d5d30937f84738a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1917345,"id":"Q1917345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e7e8a89de7b744beee8bfc9678c38a84fbf3c66","datavalue":{"value":{"amount":"+0.8266425728797913","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":"Q1201097$80BF74E6-976B-43EE-961E-389394F78141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4400bbdc0cbcab79d68b21692c317a6fb06b48","datavalue":{"value":{"entity-type":"item","numeric-id":4032922,"id":"Q4032922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61bdc45703f86ef0bc835efc2e7bc229a4da9e8","datavalue":{"value":{"amount":"+0.8222888112068176","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":"Q1201097$3A30DECA-E14C-4854-8255-F1AC86756131","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1201097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1201097"}}}}}