{"entities":{"Q7361377":{"pageid":31519670,"ns":120,"title":"Item:Q7361377","lastrevid":105365216,"modified":"2026-10-07T13:35:45Z","type":"item","id":"Q7361377","labels":{"en":{"language":"en","value":"Intersection of two monoids generated by two element codes"}},"descriptions":{"en":{"language":"en","value":"AFP entry Two_Generated_Word_Monoids_Intersection"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8e2930ad67d2ae5c209b101461c8ff39618bf1c","datavalue":{"value":"https://isa-afp.org/entries/Two_Generated_Word_Monoids_Intersection.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361377$6AE4F628-A475-40A4-A21F-C929D4FACDBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"124eff9a974fcd3c0f1ffc6fa109b64765d23807","datavalue":{"value":{"time":"+2023-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361377$D00233DE-222F-4E07-942E-094249C0FFD2","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"085865edf97a98215beb337f6896cdec46d2b6d9","datavalue":{"value":"\u0160t\u011bp\u00e1n Holub","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361377$235CAB37-7B4C-4BF4-AAAF-3835910312F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9ddd9a293526951f1113989f140f1ab2451c08e6","datavalue":{"value":"\u0160t\u011bp\u00e1n Starosta","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361377$AEDB8B50-19A5-458A-B1D8-2DEE0CD87513","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fc582a745f538ab17c64f07c3af9630ba03e968","datavalue":{"value":{"text":"Intersection of two monoids generated by two element codes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361377$205BD4E6-F59D-4362-92AD-EAB0E4E151D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db6781e6b3c096011c7efd4ae803b8192c17d7d4","datavalue":{"value":"This article provides a formalization of the classification of intersection \\( \\{x,y\\}^* \\cap \\{u,v\\}^*\\) of two monoids generated by two element codes. Namely, the intersection has one of the following forms \\( \\{\\beta,\\gamma\\}^* \\quad \\text{ or } \\quad \\left(\\beta_0 + \\beta(\\gamma(1+\\delta+ \\cdots + \\delta^t))^*\\epsilon\\right)^*.\\) Note that it can be infinitely generated. The result is due to [Karhum\u00e4ki, 84] . Our proof uses the terminology of morphisms which allows us to formulate the result in a shorter and more transparent way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361377$01CF3C52-1449-4161-BE4A-5E19A3DF6556","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b2b228c5eff127e4853142501beb97a44e9a16","datavalue":{"value":{"entity-type":"item","numeric-id":760507,"id":"Q760507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361377$314DCF15-1857-4D13-80CA-2DC34F9AD9D2","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361377$D9B578D7-DD9A-4537-871E-6D2FBB7741F7","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"48aed62085231ab987e3b5534757dd95e92e4399","datavalue":{"value":{"entity-type":"item","numeric-id":7361313,"id":"Q7361313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361377$0F5FBB25-BD2B-4216-ADD1-2DA96FD3E647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"0fbc22ad6d5a467f186858361e0ea24b61d4353b","datavalue":{"value":{"entity-type":"item","numeric-id":7361945,"id":"Q7361945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361377$E7D425F2-8675-459D-B335-961756DDCFD5","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361377$F2DDC724-DC3F-46BD-A42E-1D5AFF45886F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361377$EC4D0B02-02E2-4982-A718-D9FA392B2636","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection of two monoids generated by two element codes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection_of_two_monoids_generated_by_two_element_codes"}}}}}