{"entities":{"Q1102946":{"pageid":1113698,"ns":120,"title":"Item:Q1102946","lastrevid":69646785,"modified":"2026-04-13T08:26:23Z","type":"item","id":"Q1102946","labels":{"en":{"language":"en","value":"On deciding the confluence of a finite string-rewriting system on a given congruence class"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051588"}},"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":"Q1102946$514B8D81-81CD-4397-907D-4B90FA36A257","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11767625316ff4b1c205f61698f4770ec6f7c8dc","datavalue":{"value":{"text":"On deciding the confluence of a finite string-rewriting system on a given congruence class","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102946$E7F65FB0-444C-4528-B987-5CDE078CF1D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8943a8d577ea215aa879e92311d6be2cfa5effcd","datavalue":{"value":"0645.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102946$7DE001A6-0D55-4FC4-8A4D-7F38A163A541","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56d200efafaba4e9f6f71bfad7eb3f69831bf928","datavalue":{"value":"10.1016/0022-0000(87)90017-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102946$735BC615-160C-4D5A-A0A5-700038C8324A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$C63675B6-433E-4424-A180-241F441EB3EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$10832264-2B5E-4EDD-AA57-4BA933469BC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1102946$94FCBDAA-E20A-4BE0-A2CD-CB13144145CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b911ca5f0d4ad24942548002f1840db513fca413","datavalue":{"value":"A string-rewriting system R on alphabet \\(\\Sigma\\) induces a congruence \\(\\leftrightarrow^{*}_{R}\\) on the set of strings \\(\\Sigma^*\\). If R is finite, Noetherian, and confluent, the reduction relation \\(\\to^{*}_{R}\\) induced by R can be used to effectively decide this congruence, i.e., to solve the word problem for the monoid presented by (\\(\\Sigma\\) ;R) [cf., e.g., \\textit{R. V. Book}, J. Symb. Comput. 3, 39-68 (1987; Zbl 0638.68091)]. The system R is called confluent on a congruence class \\([w]_ R\\) if every two strings \\(u,v\\in [w]_ R\\) have a common descendant modulo \\(\\to^{*}_{R}\\). If R is finite, and Noetherian, then confluence on \\([w]_ R\\) implies that the membership problem for \\([w]_ R\\) is decidable. For example, Dehn's algorithm for the word problem [cf., e.g., \\textit{R. C. Lyndon} and \\textit{P. E. Schupp}: Combinatorical group theory (1977; Zbl 0368.20023)] can be seen as exploiting this fact. In the present paper the following decision problem CCC is being investigated: INSTANCE: A finite string-rewriting system R on \\(\\Sigma\\), and a string \\(w\\in \\Sigma^*\\). QUESTION: Is R confluent on \\([w]_ R?\\)    As it turns out, this problem is undecidable in general even for finite, length-reducing string-rewriting systems. On the other hand, using a characterization theorem it is shown that this problem is decidable for finite monadic string-rewriting systems. However, the given upper bound for this algorithm is doubly exponential. Finally, more restricted versions of the problem CCC are investigated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102946$14152B2F-BF27-465A-A02A-AE8722CEF355","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102946$368BE6D9-15C0-4122-8E03-977367A805F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102946$8E697040-335F-42A2-BA8C-A9675F9CEFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102946$5C653380-DF9B-472D-B489-B1D0D50E7866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102946$ED960F4B-1F65-4838-9EA3-B478C1732A01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38c6a3af7229acb13802a2779ea93338389260b1","datavalue":{"value":"4051588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102946$8C1D5B2F-07DD-468B-85DE-12A77D7144D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102946$27BB0B93-F37F-4E7E-9827-D4B5173ECC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a67961432e11aa5f224432398d4ecf79542022","datavalue":{"value":"string-rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102946$C6B49F73-6BB8-40B1-9164-7F74A75F9162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102946$0474205D-0B0E-40DF-82C7-B37F5CD98D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2a5aaf2813613e191091bab6a7937bd2f6db3d","datavalue":{"value":"membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102946$C52C3468-1D16-464B-B650-38C00F44DFF3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfcba2434c13a2d25584bf0bd97f2fba9d024dac","datavalue":{"value":{"entity-type":"item","numeric-id":815958,"id":"Q815958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$4588F0C8-BE36-4B7F-8CB3-D19E84DB57B9","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":"Q1102946$DA77A335-8B1E-4BC2-A641-E7A36A85A773","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d04e68974eb89c02d7b06bb65e3634e7f696592","datavalue":{"value":"https://doi.org/10.1016/0022-0000(87)90017-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102946$4229AA96-5F00-440E-AA3F-EEE029EBDF61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6f5ba692eea1609017fc2430767302085995f87","datavalue":{"value":"W2058267787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102946$0677D4E2-FA73-4D8C-9015-58A679786698","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d0787b1cc5b37ced50aeab4d936b4e054af97e","datavalue":{"value":{"entity-type":"item","numeric-id":3659975,"id":"Q3659975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$11B166F0-04C7-447E-934F-AAE155EF88D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ed2635b92a0fcffe0089ab3fcfb67f37c400b","datavalue":{"value":{"entity-type":"item","numeric-id":791314,"id":"Q791314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$42F4A08C-F954-4B73-B24F-A12DB7C5BB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f7af87c85d92c5774b1ac0ff37f2736cd97c1","datavalue":{"value":{"entity-type":"item","numeric-id":1239606,"id":"Q1239606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$B8E4964F-B32E-4210-9C97-748ED8F432DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f8caa4d24218ecf63bb6d39ed1b79a4c2266ea","datavalue":{"value":{"entity-type":"item","numeric-id":3936184,"id":"Q3936184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$7E46B301-CD29-40D4-B993-A284FFBA6988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7308904c25699725e27878eb09aa21880049698e","datavalue":{"value":{"entity-type":"item","numeric-id":4740555,"id":"Q4740555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$F55E3580-3837-4AF6-BD99-EE55E7CD1F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a5beb4ffbe4d8447ef8b9d68fdfb1a8b24a65e","datavalue":{"value":{"entity-type":"item","numeric-id":3677188,"id":"Q3677188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$03C541D2-E78D-4ED0-A9AB-68A650A2EF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"937911e42f68d251c82fa9be54759bda8aea4ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1165842,"id":"Q1165842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$7931C318-0DD4-47AE-B4FB-880DF70DE256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb713495b9ea7313f59f292ec295ea082246771a","datavalue":{"value":{"entity-type":"item","numeric-id":1162144,"id":"Q1162144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$40BCD7A4-DCB4-452B-B764-51DC2411A660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68764fad61a1075e385b1b3464b92c3be1bb613e","datavalue":{"value":{"entity-type":"item","numeric-id":3043363,"id":"Q3043363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$352EAFDA-1941-4E38-A25D-B81F1C9ECB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9d1a825019987eb50d4a73ab4b5db6ef28ea3c","datavalue":{"value":{"entity-type":"item","numeric-id":3040518,"id":"Q3040518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$6A6D59CD-1D1E-4386-AB48-1CECE07A8AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$4EB59E3B-A27A-4148-B761-C6A7A41925D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6137204e53322ccfd080d9235bd0df957f98274b","datavalue":{"value":{"entity-type":"item","numeric-id":1067781,"id":"Q1067781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$D84A0F81-5851-47AC-B07B-7DABDE38FC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4296a0f1102f265d68e6fe28f366c2c858446fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1057263,"id":"Q1057263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$9FF0ED45-C4F4-47DE-9DCC-328EEE0EED43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7e17689f7a32c0ad80890bf5d055b34c49978","datavalue":{"value":{"entity-type":"item","numeric-id":1073016,"id":"Q1073016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$2921E8BF-DEC0-4F5C-A2FB-FFD9AEDBADF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$2BD99953-2D51-4699-977E-F90FC50EA34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c3a2ac2fd98947974c14bdc504e4185a3beff1","datavalue":{"value":{"entity-type":"item","numeric-id":3992832,"id":"Q3992832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$2503C14A-19A8-4BF2-9BB2-5AC8606DEB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$8C8299FB-D249-44C2-A3C1-9699867966ED","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":"Q1102946$790DDF52-2FF6-440E-9AAF-41B195BE8571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20cfc018ab6e5a56059403136b49d5687c82de8","datavalue":{"value":{"entity-type":"item","numeric-id":4135772,"id":"Q4135772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$C932F37A-3D7F-4739-B229-E4ED6C5CA3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480aa292913fd8766908eef3cfae15b19f52af9a","datavalue":{"value":{"entity-type":"item","numeric-id":1824041,"id":"Q1824041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$4EF7AC53-38D2-44B8-BC66-B85F02383A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db95c7ffd199d5ad831cab3827672f48c3fb0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1085618,"id":"Q1085618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$BC6CA000-42F9-4388-BBC5-15613137070A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$08E6053A-E43A-4DAC-B48B-D2B740A7572B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e146e1a73572c015ee99d18dfefc4f34fddc2d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1839248,"id":"Q1839248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$9EF760E0-B795-4EDF-B2D2-02FD7ECAB988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13354f860f564233e3fdc040eb05000a09a267ad","datavalue":{"value":{"entity-type":"item","numeric-id":1057264,"id":"Q1057264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$141C0DE0-B031-4422-82F2-D57868146FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d54a9d73e487ba39fbe68740b0110b6ec7e322d","datavalue":{"value":{"entity-type":"item","numeric-id":3779772,"id":"Q3779772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$CC20DD1C-3DBD-485D-8E81-6815470B11FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f36e618ce3d4423b040fecfecf6cdc89017b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3735697,"id":"Q3735697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$DDD8E7DC-AFE7-49D7-ADB2-17C9FC100BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6c9ad1af6635d001f4350001772960e0e5560f","datavalue":{"value":{"entity-type":"item","numeric-id":4772713,"id":"Q4772713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102946$2E96215F-7A96-459F-98DC-899CF5B2A689","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a6f1e0898a263d2687164be3d2ffb77d745f931","datavalue":{"value":{"entity-type":"item","numeric-id":1849636,"id":"Q1849636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2ffadb127b6cfade359e8e9525217b79fac100","datavalue":{"value":{"amount":"+0.844918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102946$13C2C7B6-D369-489C-BEE4-2D32573515BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063a3de0dfc9e59243df459af12539ed762818db","datavalue":{"value":{"entity-type":"item","numeric-id":4013403,"id":"Q4013403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f2f38fe3646d5410a7bfe7c843e64eda950d7f","datavalue":{"value":{"amount":"+0.84206194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102946$AAB6581B-AF50-48DF-9D7A-AB6F4C177010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2902beb6192fd5704c64c2200b784d8ef76f0d10","datavalue":{"value":{"entity-type":"item","numeric-id":912986,"id":"Q912986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe578c418767d773bda60fc6352c7dc7ec399af2","datavalue":{"value":{"amount":"+0.84157044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102946$50EA630B-B373-42EA-8F63-285BD1066C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff3da650db748a1690a8e8a6b39b0ba24f91ff","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfd4d097b1c340f5ca66e2d9d26b2257bab5b67","datavalue":{"value":{"amount":"+0.8292699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102946$D2EA05BA-AE84-480A-86BC-DBC19EF97D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82733854f4ad3b6d14ab75d1b46ec45320d0775","datavalue":{"value":{"entity-type":"item","numeric-id":4038766,"id":"Q4038766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5608820fa6af8662e2f4606cb03b1f5b5a526500","datavalue":{"value":{"amount":"+0.8266356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102946$090A91CD-2E9D-4281-9D08-99F6F3AE6DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181604e84fb7cd4df11b6eaed8bdc76e0405bf2f","datavalue":{"value":{"entity-type":"item","numeric-id":685433,"id":"Q685433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0801130fd6eaace3be6646be5f05edf68fadad0","datavalue":{"value":{"amount":"+0.82118064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102946$A5CAECAD-7214-4F1E-95CE-6D55649461BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a090b6405b5f07b4a2d0beb300124b5bd03846a","datavalue":{"value":{"entity-type":"item","numeric-id":1273769,"id":"Q1273769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbe3e2b8363f462f33d0201baf94d60a7639f1c","datavalue":{"value":{"amount":"+0.81333715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102946$BDE425F3-4FB5-4B76-B5B7-51C7C45F377D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6690af857a55df498880774b860185b26ccaf38b","datavalue":{"value":{"entity-type":"item","numeric-id":1201349,"id":"Q1201349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee04573f685f0ffa16abf4e8ed7f20a4799cc40f","datavalue":{"value":{"amount":"+0.8041254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102946$47B2F1AC-DCDF-4A0B-9CFD-FF6EBA6A92BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3361208c8e3dfba25d9b99bfa8b668293f1253","datavalue":{"value":{"entity-type":"item","numeric-id":4571993,"id":"Q4571993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a8146e57c90127141f4b1b38740e2af6b94cf0","datavalue":{"value":{"amount":"+0.80196637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102946$7A7310F0-A66D-4249-B1AE-9936C4CEE58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb67da2f7899ea403519cb305029fbc7762a2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3590971,"id":"Q3590971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b38cb82d10270f44b4f8e5351df98d7051855bd","datavalue":{"value":{"amount":"+0.80147594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1102946$AF2109B1-7FC5-4CAF-8AD4-8CB30DD72A3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On deciding the confluence of a finite string-rewriting system on a given congruence class","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_deciding_the_confluence_of_a_finite_string-rewriting_system_on_a_given_congruence_class"}}}}}