{"entities":{"Q1124363":{"pageid":1135112,"ns":120,"title":"Item:Q1124363","lastrevid":49300840,"modified":"2026-01-06T22:33:15Z","type":"item","id":"Q1124363","labels":{"en":{"language":"en","value":"Inverse monoids of dot-depth two"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112048"}},"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":"Q1124363$EAAA1ED0-2869-407C-857D-E0F7AB4EF713","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a69f87761e43afa5c4af22e287d7a833309e0a89","datavalue":{"value":{"text":"Inverse monoids of dot-depth two","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124363$77F59F81-90CE-40D5-A30F-321B057BAA6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d29afa07c19d1e4c90aa894b5f689f02c075687","datavalue":{"value":"0678.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124363$33D1DB13-B9E9-4B5B-82CA-D8677C9F6B2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e72827086d88a6c4d1d9a552f38b5904018a1c5","datavalue":{"value":"10.1016/0304-3975(89)90151-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124363$B7DE9B55-DDE3-4416-AACE-F6EE62F42EF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2226755ce7b891c6e6ed64b8807df159e949df0e","datavalue":{"value":{"entity-type":"item","numeric-id":711614,"id":"Q711614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124363$AFCF0D14-72CC-48C4-BFFE-A06680222550","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":"Q1124363$060E7696-E334-46B3-A979-4FDA60E0FED5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1124363$A368A59F-814A-48CF-A4D4-C76A2E45872E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"718020deba37cf8332533920a3263bb1109f781b","datavalue":{"value":"The dot-depth hierarchy of star-free regular languages has been introduced by \\textit{J. Brzozowski} and \\textit{R. Cohen} [J. Comput. Syst. Sci. 5, 1-16 (1971; Zbl 0217.296)]. A variant has been considered by \\textit{H. Straubing} [J. Pure Appl. Algebra, 36, 53-94 (1985; Zbl 0561.20042)]. Its level 0 consists of \\(A^*\\) and the empty set, and its \\((n+1)\\)-th level is the boolean algebra generated by languages of the form \\(L_ 0a_ 1L_ 1...a_ kL_ k\\), \\(k\\geq 0\\), where \\(a_ i\\) are letters and \\(L_ i\\) are languages in level n, for each i. In [Lect. Notes Comput. Sci. 226, 416-423 (1986; Zbl 0596.68056)], \\textit{H. Straubing} gives a decidable necessary condition for a language to have dot-depth two, and proves that it is sufficient for languages over a two- letter alphabet. This condition it is investigated in the case of languages whose syntactic monoid is inverse, and it is proved that it is sufficient if the syntactic monoid has two inverse generators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124363$C0FC83FB-3F78-411C-BB81-6FFB0B5DA05C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124363$EA1C495B-D78C-4D25-9A4C-2DB59849ACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124363$39DE69C1-1A5B-4E07-A927-DA7B05918F9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52460ea2c8338be97b46a8557f01d624381d0ae0","datavalue":{"value":"4112048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124363$ED8F2671-5874-477B-9F03-E2246F946094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13fcc32b7b99183682b8db5d55c1564a2758dae","datavalue":{"value":"inverse monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124363$B77A87C3-628E-41DD-8C21-C56C3CBC4DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a841da813691ba78a2fe2bb309570b4496e4c78","datavalue":{"value":"dot-depth hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124363$2E29F9F6-3A99-4E67-BD35-C497A8A86995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca568d5fc67f7cbca40c3d15fce0a332b398b95c","datavalue":{"value":"star-free regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124363$977DDE86-D106-4FD6-A68A-434650DA2F1B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42210bafdd52b4cbc4a62733feb51d89cc3d12b1","datavalue":{"value":{"entity-type":"item","numeric-id":224640,"id":"Q224640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124363$849A72FA-3EE5-4899-A61B-BAF1F68FBB9E","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":"Q1124363$88BB96ED-32A4-46B2-95FE-4439A3DA6D3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfc23ab13aee5714be00bc0e1ea8fb4bdda9e37d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90151-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1124363$90F26286-7B21-4300-99C5-4AF4DEA7335C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61f6601573505e353a069f31db08897db8d704c3","datavalue":{"value":"W2079443329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124363$1253FEA3-9285-4262-9CD8-BEAE899B9765","rank":"normal"}],"P223":[{"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":"Q1124363$777D84A3-2688-48EC-80AB-1964BDC11F9A","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":"Q1124363$FF309F32-45BC-4843-B1B5-E2158B054C56","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":"Q1124363$5C0746C0-DA32-407D-83CD-8CF0E2E0504A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124363$26AEC790-EE69-42B5-94C6-2CD95DF83836","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":"Q1124363$2EA9B9E5-7E48-4E3F-A5D5-8A9253D70978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124363$F2E46052-3EC2-4A62-B220-EA299F1CF3E2","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":"Q1124363$D5E42D4C-D0DB-4101-9ED8-3F89492381B7","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":"Q1124363$3CC92956-5810-430A-B7A0-BB7E6B98DAC9","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":"Q1124363$9C723E98-3B05-436A-9C66-32A3F493B6FD","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":"Q1124363$85BD8348-B378-4605-BAFE-CAD476CADA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beed2530af5e3942de56f5f6e93b79b42aa0adc5","datavalue":{"value":{"entity-type":"item","numeric-id":5186755,"id":"Q5186755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124363$6822F564-3072-405D-808B-7CEA4C1A4BC5","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":"Q1124363$87924642-44E8-421A-89D3-9B789E943337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a254074d4f07c7cacee0b01377181de8db9f90dd","datavalue":{"value":{"entity-type":"item","numeric-id":3774066,"id":"Q3774066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124363$92FF7D73-FCCB-4047-8702-C76119F09955","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":"Q1124363$B0561BBF-8BAE-4D70-A73E-E9086CA23092","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":"Q1124363$6AF8DE7E-E153-4D7B-B3B1-28B9016FE448","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":"Q1124363$573B07D2-6D28-4D08-AD99-8784E3ABDB62","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":"Q1124363$B808969B-2FFA-4D3A-81DB-7E721316061A","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":"Q1124363$D8AA7A1A-5837-45FB-A7EF-0532F070897F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b333dc87018878049ddb62ef54785767485b19","datavalue":{"value":{"entity-type":"item","numeric-id":3809287,"id":"Q3809287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124363$F0CDC1B4-F1F7-4353-899B-E449AEDC5B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85824f4143292ceb59073b1e5ab1943c4ea2c918","datavalue":{"value":{"entity-type":"item","numeric-id":3748457,"id":"Q3748457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124363$4A2CAC83-DEC7-4793-8BE8-D7589F6A0C6E","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":"Q1124363$CD43BB81-D3B4-4AC2-9087-08F54E7A4BC2","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":"Q1124363$752581A4-2162-4944-9F41-5A80971D5236","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da4ad5bff6cf42330d8d6f8e5ad45316617ed345","datavalue":{"value":{"entity-type":"item","numeric-id":4285340,"id":"Q4285340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44175f82ea85d32ba02d473fca99158ba32b0c6a","datavalue":{"value":{"amount":"+0.9117899537086488","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":"Q1124363$7DC0FE8C-FCD7-4386-90C4-2224E71AF6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbda46055243696a54a2fcd4773cc11ca42d3c98","datavalue":{"value":{"entity-type":"item","numeric-id":1324687,"id":"Q1324687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd138c176e12b3e697bca39fdfd6ad50e52e61d","datavalue":{"value":{"amount":"+0.9114784598350524","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":"Q1124363$31ABB083-8FA5-4BBD-B94C-C7CC4D039D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a968750ee6f357bbac67ce6c75cbc3019a7434","datavalue":{"value":{"entity-type":"item","numeric-id":1200802,"id":"Q1200802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6d9a9a7cb8f4645b78990279aa8e40c777cceb","datavalue":{"value":{"amount":"+0.891107439994812","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":"Q1124363$B182E102-08C8-45F5-9665-16A423F790E5","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":"36d8bc28c9e2e5f0f424d55229357b82475e44b7","datavalue":{"value":{"amount":"+0.8863437175750732","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":"Q1124363$4FD4B35B-2F91-45FF-A6BB-374AAB6B0383","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":"1b35798f0f14d0e9e5766d1665f1fa396834d345","datavalue":{"value":{"amount":"+0.87410968542099","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":"Q1124363$4E1F879F-8CEF-4429-B78B-E10D10A7545D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1124363","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1124363"}}}}}