{"entities":{"Q1317588":{"pageid":1328338,"ns":120,"title":"Item:Q1317588","lastrevid":67409229,"modified":"2026-04-12T17:26:14Z","type":"item","id":"Q1317588","labels":{"en":{"language":"en","value":"Equations in words and lengths with endomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 536630"}},"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":"Q1317588$EB364A02-8146-49DA-8230-0CE96383BFA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f9e672ae1fbcd61ac081f4ada5e78cc2a8b02fc","datavalue":{"value":{"text":"Equations in words and lengths with endomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317588$4D425597-F4D6-452B-BFE5-2D2389067338","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef0456b0e951a44ad207fdbabcb423e32b8f4e63","datavalue":{"value":"0815.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317588$D6B71070-A02E-4405-8D3C-EF8933D6A052","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b896a40141fe66fa661f90e065f3259a9b6780b","datavalue":{"value":{"entity-type":"item","numeric-id":827045,"id":"Q827045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317588$6F4CBAC2-6CD1-4C7D-95BA-1EC75DCFD6A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317588$3B565945-A9DA-47AC-A6BA-B314BE043882","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a82918b7cb04f59437503b817f00af9741808a","datavalue":{"value":{"time":"+1994-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317588$7C7F3E72-5873-46CB-A881-4B1D8C20D6A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"069a8781976751ddcbb163d6069f5830a606a1fe","datavalue":{"value":"Let \\(F\\) (\\(P\\)) be the free group (semigroup) on two generators \\(a,b\\) and let \\(\\phi\\) be the automorphism of \\(F\\) (endomorphism of \\(P\\)) extending \\(\\phi(a) = ab\\), \\(\\phi(b) = b\\). The author studies the decidability of systems of equations in the first order theory of \\(F\\) (\\(P\\)) enriched with the endomorphism \\(\\phi\\) and word lengths. The author constructs a system of equations \\(\\Psi(x,x_ 1,\\dots,x_ n)\\) of the form \\(w = 1\\;\\&\\;\\&_{(i,j)\\in B} | x_ i| = | x_ j|\\;\\&\\;\\phi(x_ 1) = x_ 2\\) such that for an arbitrary positive integer \\(p\\) the solvability of the system \\(\\Psi(a^ p,x_ 1,\\dots, x_ n)\\) in \\(F\\) is undecidable. Similar results are proved for the free semigroup \\(P\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317588$86C89107-4D5D-4977-A37E-687827C28BC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317588$3CDA10FB-EF8A-440A-9642-FF2E8DFEEEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317588$233E1F54-F5DF-41B0-BDE0-A1406D3B97EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317588$03D07B68-D4C0-4B43-BD7D-D9578D7AD820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317588$CC827444-150F-421D-B787-8C98AD1435C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4661cb012069e0ac4804ef1e604788dd5369a646","datavalue":{"value":"536630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317588$363DE48B-E2BF-45DE-A953-268D4B8C0A26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09f04570def689715b84014013c9f3df4e02641","datavalue":{"value":"endomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317588$24FEB953-99BE-4F1B-805C-F485EFBABE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317588$16C91102-A4C5-4615-B63D-2D5283CA17F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317588$A34F3C48-B0E4-473C-9628-C40013729F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317588$03604B4B-1B5D-45EE-B1F7-D00FD2CC4F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6402e4ac8f155e2c21fac31a5f154cea814983c9","datavalue":{"value":"systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317588$5623F464-D590-42F7-9A43-8FE6A2AD885C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e0e166bcf7e09dfe2b3487cbc117f4c2236358","datavalue":{"value":"first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317588$F4F96D4A-3448-44A2-9940-AFC0B3060672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8d296e453f127c4cb60c0574b8c5601c174de99","datavalue":{"value":"word lengths","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317588$49EA7221-14E3-49B6-AB6F-8D3A8A6F28B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317588$99C19066-F4AB-4BF5-8348-1F98A5FD9F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954597857ebd2b4f1b14dab13197add72b8a804b","datavalue":{"value":"free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317588$F1024079-AE84-4350-A122-DF2A1B4A9689","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"542b6ea84023c152b4343da3d1339c7580f7af0e","datavalue":{"value":{"entity-type":"item","numeric-id":1180654,"id":"Q1180654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317588$A239653F-289D-4C95-9079-168F740E41A7","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":"Q1317588$51DDE455-2CE3-4D1F-98BE-CE34A55FF0E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43e3339c4f15e172c870e8638368d7fd7dfbc2f","datavalue":{"value":{"entity-type":"item","numeric-id":4319135,"id":"Q4319135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28a2280b8568aa972483392f79133a94ef26929","datavalue":{"value":{"amount":"+0.8889778256416321","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":"Q1317588$31B8390D-86FD-4BAF-AA7A-919CDBA13533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed36ef83de80d6bd37236fb834e0bf09779fcb8","datavalue":{"value":{"entity-type":"item","numeric-id":4317141,"id":"Q4317141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1752783909bcf4c48207c2d10a9a9ee0a8676d","datavalue":{"value":{"amount":"+0.8394060134887695","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":"Q1317588$BD09FED9-FA90-41D0-8B0F-87C3D2E7C2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e46f6b596e5957b6e91ab426e52237b2cef6a84","datavalue":{"value":{"entity-type":"item","numeric-id":4890617,"id":"Q4890617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3192d543361dbc49dbfe7d7ee173b586483d9853","datavalue":{"value":{"amount":"+0.8341341018676758","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":"Q1317588$BEC7B664-D528-456A-9428-4FA66DB6ACED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4509bc739a48c1887656969a7146242ede0f0efc","datavalue":{"value":{"entity-type":"item","numeric-id":4530220,"id":"Q4530220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8416794199dc05668c277be6112eefe14d4dcb2","datavalue":{"value":{"amount":"+0.8277079463005066","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":"Q1317588$E942B620-70F3-4DFC-83C8-ABE0C157A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6496452443aeb5f7dc3e7b731b2b299518459d82","datavalue":{"value":{"entity-type":"item","numeric-id":4376048,"id":"Q4376048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8416794199dc05668c277be6112eefe14d4dcb2","datavalue":{"value":{"amount":"+0.8277079463005066","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":"Q1317588$6E42C715-841A-4A62-B04C-4F51B0F37A26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equations in words and lengths with endomorphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equations_in_words_and_lengths_with_endomorphisms"}}}}}