{"entities":{"Q1193899":{"pageid":1204648,"ns":120,"title":"Item:Q1193899","lastrevid":66825417,"modified":"2026-04-12T13:06:47Z","type":"item","id":"Q1193899","labels":{"en":{"language":"en","value":"On the rank of the subsets of a free monoid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65331"}},"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":"Q1193899$B3F91AEA-A522-4960-A5B6-4330854C59CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1fa78c31624c9a3b5baf9a52656df2ef7f56fb9","datavalue":{"value":{"text":"On the rank of the subsets of a free monoid","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193899$069D836A-FA7F-4CA8-9FF1-C840BC0345A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"423170e1ea29822847736a80f682af0132f0d934","datavalue":{"value":"0779.20037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193899$38AD2D35-7BD0-45B5-A51E-028BAD7A11B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3555487e129794649448cb48b2d9077c5bc725d","datavalue":{"value":"10.1016/0304-3975(92)90350-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193899$2ED4FEFA-F245-4F89-B091-0A719FF353FD","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":"Q1193899$E2F7CE04-1894-4F84-AA36-C7811E14B748","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193899$96B3422D-E896-4B3E-A9BB-EECFDEAF4A32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e8c8afac6eb680df0fd493a41f78cb7440aab48","datavalue":{"value":"For a subset \\(X \\subseteq A^*\\) of a word monoid \\(A^*\\), the rank of \\(X\\) is defined to be the minimal cardinality \\(r(X)\\) of a set \\(Y\\) such that \\(X \\subset Y^*\\). By the defect theorem \\(r(X) < | X|\\) if \\(X^*\\) is not a free monoid. The author studies how the rank function behaves with respect to the operations of union, intersection, catenation and iteration. In particular, for catenation it is shown that \\(\\max\\{r(X),r(Y)\\}-1\\leq r(XY) \\leq r(X) + r(Y)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193899$EDCA1FB3-6F15-408C-B1C7-BCC2285E5A37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193899$0380A3E0-DC01-4AFE-9738-A78FE9CB89ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193899$F3268376-1FF3-409B-A7D0-411FF61DA6B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04fa4a80fc562071741457066e0e80203d0eba1e","datavalue":{"value":"65331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193899$D81F41BE-6979-4EB6-8B31-0BC26BD33BAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4157d809ff41f5fcfef0ff543646f6a6756fa8c6","datavalue":{"value":"word monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193899$94F32A4A-0D5F-4704-B358-F779B0581AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85686c88b6675116cec177bbafff890f9021164","datavalue":{"value":"rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193899$D0627620-0FE6-4105-9907-7B06F4B4EECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff95c445e55626dcc74369433626544e860c49a","datavalue":{"value":"defect theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193899$595878E5-7543-47AE-83EA-C68D7547D9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193899$15898E59-5102-4B1D-9BD5-CA2054145AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c7ee48280131d7128962a76a9403ef6a206062","datavalue":{"value":"catenation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193899$EFB8F47D-BAE4-4A58-9E59-DF90D1F45709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193899$CFDF8F43-BDAC-4185-8375-FB9FBC6B505A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06c94fbe1783ccdd89275c5891a96106217c32f","datavalue":{"value":{"entity-type":"item","numeric-id":782606,"id":"Q782606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193899$F2741397-111C-415D-925D-6DE1BBD957B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e0db3e87cf0564d4c180dc3531c145e91e81ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193899$BF25F190-705F-40B0-8982-E81FB81D2392","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":"Q1193899$DC35CF84-BA27-4A77-88CB-66B84842C6A1","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":"Q1193899$04F54FF5-FD42-420D-BFA1-3AAE0C65DCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40691ce6cf0d5bcb9135bc062b62084b420222b","datavalue":{"value":{"entity-type":"item","numeric-id":1132974,"id":"Q1132974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193899$03791168-B7C2-419E-80A3-DFAEC400AC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1125662e806523c3fe140d59a9cf3b80a00c14","datavalue":{"value":{"entity-type":"item","numeric-id":1090421,"id":"Q1090421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193899$6CF677B1-DE96-406D-AEE2-6A848CF6F9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac741c89220cd47e5d20a295f809bee30ead632a","datavalue":{"value":{"entity-type":"item","numeric-id":5673640,"id":"Q5673640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193899$CF9DA21D-F1D9-47BF-AB9C-15890524825C","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":"Q1193899$F9CD1160-57FF-449E-8BEF-4A20C743B5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11afdffbe0e56d5432c3bf904f58d41a1f7cd998","datavalue":{"value":{"entity-type":"item","numeric-id":3484360,"id":"Q3484360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193899$44C29527-765A-4A62-A536-8BAA077CD4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b0c49f1598c41671e369ce5e6db3e547ddfe3bd","datavalue":{"value":{"entity-type":"item","numeric-id":1822632,"id":"Q1822632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193899$1F90D5BB-4482-40A9-80A1-9EA8A113E822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9500e19069722efa256e9656f8110bdcd87d826","datavalue":{"value":{"entity-type":"item","numeric-id":4140407,"id":"Q4140407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193899$2491DEAC-CBC1-497D-AAC0-846A2B27E0B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2846cbea094bbee44114b01e3f4b08870691919f","datavalue":{"value":{"entity-type":"item","numeric-id":1822632,"id":"Q1822632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec413e3b6bfb127b0a27b13d41b5b5c9ded648d6","datavalue":{"value":{"amount":"+0.7522161602973938","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":"Q1193899$2B6271F1-D63D-40B7-ABAF-7973D08487C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caa4be547e6c68e9ea82ddf4ef75b2a94e9b3b1","datavalue":{"value":{"entity-type":"item","numeric-id":5384435,"id":"Q5384435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdefb2ad2cba3c84ceff70808b56ae209b079af5","datavalue":{"value":{"amount":"+0.7510092258453369","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":"Q1193899$2A1D550D-338D-42E5-859E-F876B652A58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89698dba7feabcfe5492d745a1985e948a194259","datavalue":{"value":{"entity-type":"item","numeric-id":2408807,"id":"Q2408807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814e788f3d26030166e837c0e6da49c3fdaeab57","datavalue":{"value":{"amount":"+0.7463068962097168","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":"Q1193899$36E30393-45A1-4646-94B0-3130EF4EF951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dbca21a226207b36d7b7e6cb6b228ca8fd8798e","datavalue":{"value":{"entity-type":"item","numeric-id":4913402,"id":"Q4913402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0979190f40e63d24846a06acde29f4963cdeb197","datavalue":{"value":{"amount":"+0.7434754371643066","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":"Q1193899$5B21B4B7-24A1-412D-B646-E22FC31FF611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7f2ff217c63117582bcc5454bb3df3344ec674","datavalue":{"value":{"entity-type":"item","numeric-id":3416096,"id":"Q3416096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9998a86966681e50862ccf3de55e6018d0e48b89","datavalue":{"value":{"amount":"+0.7411681413650513","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":"Q1193899$657BFDC1-EE7B-40ED-A247-853AF9C247DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the rank of the subsets of a free monoid","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_rank_of_the_subsets_of_a_free_monoid"}}}}}