{"entities":{"Q7361945":{"pageid":31521374,"ns":120,"title":"Item:Q7361945","lastrevid":105370499,"modified":"2026-10-07T13:39:10Z","type":"item","id":"Q7361945","labels":{"en":{"language":"en","value":"Graph Lemma"}},"descriptions":{"en":{"language":"en","value":"AFP entry Combinatorics_Words_Graph_Lemma"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c90ea6ea6502c1d1ec8ee590cc17c02e1e1a72d","datavalue":{"value":"https://isa-afp.org/entries/Combinatorics_Words_Graph_Lemma.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361945$23CF56F3-CC8B-4F5F-A3DC-D03917D9BC77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e17dcc18ff0871d2991e1fb42a26e2731ae4af6","datavalue":{"value":{"time":"+2021-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361945$6FE0A292-CB8E-4D29-B3B5-C45FED9FE662","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"085865edf97a98215beb337f6896cdec46d2b6d9","datavalue":{"value":"\u0160t\u011bp\u00e1n Holub","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361945$ED302AA8-C262-4CE4-8D42-4D11546BE700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f096ce01f1cf368fa7e2bec0f1dc6f74ada35e98","datavalue":{"value":"Martin Ra\u0161ka","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361945$0DCE3506-ACDF-4D67-9370-0DE3F909B2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9ddd9a293526951f1113989f140f1ab2451c08e6","datavalue":{"value":"\u0160t\u011bp\u00e1n Starosta","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361945$889E4716-17EA-4DFD-99B0-4DC276870443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df3bca215d6d75a86342671de9b14e44d25c26ba","datavalue":{"value":{"text":"Graph Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361945$255BB07E-E70A-4D31-8B63-BF1E7BBB4DD2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e307486e3f30b04f9f96eaa77def12e1926d95c4","datavalue":{"value":"Graph lemma quantifies the defect effect of a system of word equations. That is, it provides an upper bound on the rank of the system. We formalize the proof based on the decomposition of a solution into its free basis. A direct application is an alternative proof of the fact that two noncommuting words form a code.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361945$E9CAD9FF-5C54-426C-B56C-3826727C33F4","rank":"normal"}],"P223":[{"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":"Q7361945$A4AE1EDC-DFAE-46E6-9ACA-994E30E350E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532a62b60e075fff433f243b2f28347c1a6df5f2","datavalue":{"value":{"entity-type":"item","numeric-id":2405272,"id":"Q2405272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361945$51667A4F-3754-44FD-9977-BA6BBF9EC7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a06077d755c5922858512c1ef5c5edc5af4d11","datavalue":{"value":{"entity-type":"item","numeric-id":754298,"id":"Q754298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361945$4BD6F6E2-97E3-40D1-8FF1-45094EAC010A","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":"Q7361945$DE06BE64-2BDC-4B5F-9438-A05F2B4E2F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba75693b6124fe57a706fee318668736345dcfb","datavalue":{"value":{"entity-type":"item","numeric-id":4681771,"id":"Q4681771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361945$3FFD9597-627D-49B3-97CB-82B0535116B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361945$CE95934E-430F-4E10-BCAE-E99F20AA551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ca34fe94cbf494863af77ec148aceea3d9965b","datavalue":{"value":{"entity-type":"item","numeric-id":775458,"id":"Q775458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361945$5CCB9F25-3D56-4B81-9F88-E4E0D4F1FC7E","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":"Q7361945$6E702E01-1855-4D93-A1D5-076666C8298F","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":"Q7361945$3BF92FBA-F5E6-4766-9478-23D9A424EA4B","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":"Q7361945$A55E8B1F-30C2-4B20-81C8-CDA7616F24A0","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":"Q7361945$33106FA3-E75D-4727-9C4C-60EA436EA5CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Graph Lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Graph_Lemma"}}}}}