{"entities":{"Q1122006":{"pageid":1132755,"ns":120,"title":"Item:Q1122006","lastrevid":67076721,"modified":"2026-04-12T14:55:42Z","type":"item","id":"Q1122006","labels":{"en":{"language":"en","value":"About prefix sets of words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4105248"}},"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":"Q1122006$D110EFCB-54CD-4CF9-B9B4-11A148E4DA03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82a5ebaed9c7b363f5a54672702725bf5c4ab348","datavalue":{"value":{"text":"About prefix sets of words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1122006$1871207B-0D38-443A-8FCD-132171412A02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d04387909aafb0e548b110d4636cc54aeac9ea02","datavalue":{"value":"0675.20056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122006$4E0C9498-91C5-4480-A933-B20254CF05B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c42b71b3c4d44cb7d5b82c29f6500558d355160","datavalue":{"value":"10.1016/0097-3165(89)90048-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122006$19FD9936-E441-4331-8066-1253F5532D35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99844aba0deee409850cec53537867a00f71d64b","datavalue":{"value":{"entity-type":"item","numeric-id":213200,"id":"Q213200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122006$5F006CAE-D768-44E2-AEF5-868232E58562","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122006$F118ECAF-1EE1-466D-9876-16773A3185F0","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":"Q1122006$577C858C-D34D-45DA-BDB9-F3F5DFAA2669","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf7dddc2562e9a66afcf91207265fa741e7530f0","datavalue":{"value":"A subset X of the free monoid \\(A^*\\) over the alphabet A is called prefix iff it satisfies the property: uv\\(\\in X\\) and \\(u\\in X\\) \\(\\Rightarrow\\) \\(v=1\\). A set \\(X\\subset A^*\\) is then called maximal prefix if it is prefix and not strictly contained in an other prefix subset of \\(A^*\\). It is easy to see that the concatenation product of two maximal prefix sets is also maximal prefix. A converse of this result was proved by \\textit{M. P. Sch\u00fctzenberger} [Bull. Soc. Math. Fr. 93, 209-223 (1965; Zbl 0149.026)] under the hypotheses that X, Y are finite and that the product XY is unambiguous (for more details concerning this theorem or prefix sets, see \\textit{J. Berstel} and \\textit{D. Perrin} [Theory of Codes (1985; Zbl 0587.68066)]). Here, the author generalizes Sch\u00fctzenberger's result to the non finite case. It is proved that for every sets \\(X,Y\\subset A^*\\) such that: i) \\(\\exists x_ 0\\in X\\), \\(x_ 0A^+\\cap X=\\emptyset\\), ii) \\(\\forall x\\in X\\), \\(\\exists n\\in {\\mathbb{N}}\\), \\(Y\\cap R^ n_ xA^*=\\emptyset\\) where \\(R_ x=\\{w\\in A^+\\), \\(x\\in A^*w\\}\\) then, if the product XY is unambiguous and maximal prefix, X and Y are also maximal prefix. The two previous conditions are shown to be necessary.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122006$91BBB7AA-E6CC-46F1-9649-09435D6BAE22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122006$F15DDB31-41AA-477D-B085-F3F99AE51889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4430c94528f7856126af01b3ac6ccc7f8c77602b","datavalue":{"value":"94B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122006$C7AF4902-32F0-4EC8-A907-8415D9EA6D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122006$6F29A37A-82C6-47CD-929E-42A08DC5560D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122006$4D293F5A-C7CC-4DDE-9207-460CC4BB837C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"356475f510c9b0ba21da51e59666b51b67750a0b","datavalue":{"value":"4105248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122006$75F0050F-029F-4B27-A270-BD2F2820081B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dece2b67a16f221be015e3ceddb4de928543fdd9","datavalue":{"value":"ambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122006$4B199D56-3187-40BD-8B31-B6D73B9BACAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122006$F7EFDCD1-7ADB-4C7D-91C3-600060B44996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b06f809e2a2d49d26b8d7de0f8648aa58d470d7","datavalue":{"value":"alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122006$E664D71B-D622-400D-B926-AA003EF7878F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8f3a17c9cd6758037f5c7b93e09b864887e217","datavalue":{"value":"concatenation product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122006$E5A28805-1814-4706-ABF4-DE4FF0E1FEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c3635908fbe0a6d64aadeb3c1ea9dd7e48385b","datavalue":{"value":"maximal prefix sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122006$46C3658A-FBB9-48B3-AE3A-3C2FBC28A516","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7dcbef3067fda72f30f415bf6a0c7276c9f5060b","datavalue":{"value":{"entity-type":"item","numeric-id":216237,"id":"Q216237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122006$0B42330A-4BA1-40F7-8940-9D200489CE97","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":"Q1122006$B4D38FEE-F3DD-4E0E-A2D6-242CA1928B0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"877ec4b11b3b729008a212006715a18768f9ef60","datavalue":{"value":"https://doi.org/10.1016/0097-3165(89)90048-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1122006$AABD6661-E635-432A-BE76-BC205C0F3C55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"521bbfb9698abb325793f78283bf990d6e6d3ba1","datavalue":{"value":"W195352547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122006$99971ECA-9E0A-4572-94A2-CD38843CD88B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f914a0125fbfcefa866a5094ff6a5d2318079f","datavalue":{"value":{"entity-type":"item","numeric-id":4430300,"id":"Q4430300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122006$70CD87AF-A7DC-4607-8912-BF0D2350DE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1273a15d183a3200dfe7e2d2fc897abfae71bb","datavalue":{"value":{"entity-type":"item","numeric-id":1107641,"id":"Q1107641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122006$DAC1D15E-AED8-455B-8617-CD7384E57176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8202d424f190fe1882e0fbb3e9c709efe99d7dff","datavalue":{"value":{"entity-type":"item","numeric-id":5527869,"id":"Q5527869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122006$73874650-D0F7-4313-8FE4-BF7F65FD8644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088ac5b17b3acc2114c14d803e6dbc149dddf142","datavalue":{"value":{"entity-type":"item","numeric-id":5540495,"id":"Q5540495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122006$888D4C04-EF72-4FAF-9111-D9BE9C980A9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9443ec8cf21d5ab63a3a75195e88ee3c0f1e72ba","datavalue":{"value":{"entity-type":"item","numeric-id":1107641,"id":"Q1107641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e83667f515aac6381ade1afa5e8c720c0d35709","datavalue":{"value":{"amount":"+0.9313917756080629","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":"Q1122006$F24020D6-D69D-461B-BE04-863D2155C218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653205e0b07ee4737cf1def075ecbb5ee96fd052","datavalue":{"value":{"entity-type":"item","numeric-id":3795249,"id":"Q3795249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a34b13dcdb8759270e3bd0ce6766435d2bd8d3","datavalue":{"value":{"amount":"+0.9181976914405824","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":"Q1122006$156D9F6F-7C16-4F1B-A08B-7E546C7091B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ec0f15001acd530088830f0591e2a1fd986be4","datavalue":{"value":{"entity-type":"item","numeric-id":1821877,"id":"Q1821877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2eb161865ca77aff9f2b573abff666ec55366c5","datavalue":{"value":{"amount":"+0.8886924386024475","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":"Q1122006$E6BB88E5-22A0-46AC-9556-4A4A204561CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"163b8dba7540ca79c8fa58cb6bf1c16ef5b0d273","datavalue":{"value":{"entity-type":"item","numeric-id":5948122,"id":"Q5948122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af8dcf124be5c8d0074aabea11c338370f69c19","datavalue":{"value":{"amount":"+0.8007099628448486","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":"Q1122006$258B8895-D714-4607-9B24-0D153C0F51E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4923ab5645ff924ca77b2a8c6945b1dbbbb135","datavalue":{"value":{"entity-type":"item","numeric-id":5500687,"id":"Q5500687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305708907e849ea2f70661b46a6d5c4424570842","datavalue":{"value":{"amount":"+0.800564169883728","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":"Q1122006$18F8814C-8215-404E-B8A7-130D675C63EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"About prefix sets of words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/About_prefix_sets_of_words"}}}}}