{"entities":{"Q1262758":{"pageid":1273508,"ns":120,"title":"Item:Q1262758","lastrevid":67151676,"modified":"2026-04-12T15:38:13Z","type":"item","id":"Q1262758","labels":{"en":{"language":"en","value":"On deciding confluence of finite string-rewriting systems modulo partial commutativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4125001"}},"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":"Q1262758$CCC26A26-5117-4C0D-A4B5-8F3FFF4E1075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76d272078658f625032bf3e4fe8d176ba9353fc0","datavalue":{"value":{"text":"On deciding confluence of finite string-rewriting systems modulo partial commutativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1262758$650702F1-923C-4541-A3FC-7E39E426820E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a88fcb7b3edeb61f043ac657b9b0b7720a3e132","datavalue":{"value":"0686.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262758$7B076303-D954-472F-A0A4-724C9BB9376D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"781ad2d35033fd2499f77d26f63197c4176cf260","datavalue":{"value":"10.1016/0304-3975(89)90019-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262758$134375FD-E336-4CD5-A87A-A94E37D5E0F0","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":"Q1262758$DFCED111-0D81-4075-A512-F46AD425B7E6","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":"Q1262758$D6229D71-47B9-4BCE-867D-8FA457F911B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1262758$A9D958B4-A043-46C3-A129-BDBC2B2D185D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a6a69740188284e0ba5a42c6533c557270615c3","datavalue":{"value":"The author studies the problem of confluent and coherent equational rewriting in the case of string rewriting on partially commutative alphabets.    He shows the decidability of the R,E-convergence of a finite E- terminating string-rewriting system R on an alphabet \\(\\Sigma\\), where E is the convergence induced by a partial commutativy relation C on \\(\\Sigma\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262758$42A97249-5F3E-4B7B-8FEF-93E40E151B8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262758$4D505706-01BB-434B-A11D-33ED6566FB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262758$E3B4ED03-4F7F-4FCD-B5CF-0363B2652854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262758$6113C56D-FAC3-4589-9D7C-08185195EDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262758$798EEE5A-F87C-45EF-B8A1-D1D7C7078725","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4565d7269c440f2ff45bc7c0ff244330508348a1","datavalue":{"value":"4125001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262758$3B54B1C5-CBA1-4B2E-9BEE-050BA691E7B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262758$EAD53D3B-D36F-47FA-BF77-2E8EEAA7D7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6f4d8b7f9de04329d288267d4847386b9b9556","datavalue":{"value":"commutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262758$1FF2A545-98EB-45D6-8718-71D4E2A423ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a59c985dd3aa9be5ee556ed3da954f03c5904f","datavalue":{"value":"string rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262758$198A821D-CD3B-48F5-9057-D9F30423F8FE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0952533bb8ddf126d68f7cc4b1c2c4ed19555944","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$414DC6C9-0208-4DEE-8FDE-4C741BFAC10B","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":"Q1262758$98650738-52E2-4761-AA78-0A73A0C9869D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4965830375502b4ea5539b64db1e73a43ebe3379","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90019-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1262758$F8B18FE5-A629-4576-8AF7-1578B5E39727","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24a9046fe98a7841a49b480c6d97f55e4c59e69e","datavalue":{"value":"W1984954584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262758$DB448ED9-69C4-4B09-8774-EC2CE8F6EA9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97744e38548305e628b67361005256b1d8aea75f","datavalue":{"value":{"entity-type":"item","numeric-id":3922190,"id":"Q3922190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$57C04C9A-3B35-4C3C-8F86-38149BEBC1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57dada08276bdfd975413149fdc809775588d67","datavalue":{"value":{"entity-type":"item","numeric-id":1147232,"id":"Q1147232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$E9826569-B5D6-4C6A-A584-E70E345E3A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e947664dc494a808b8d6cd2c56ed3d1b82c197fa","datavalue":{"value":{"entity-type":"item","numeric-id":1102124,"id":"Q1102124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$2A4A2E53-9BEF-4197-B0AF-3752B44D67DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b31a52389be07054ca875395c649c7b29fc713","datavalue":{"value":{"entity-type":"item","numeric-id":3736919,"id":"Q3736919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$A618E72B-8A62-47EA-ACF7-6D3CFFCD88AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27f4896b2b37d7836caabde9e0c30bf3087be77","datavalue":{"value":{"entity-type":"item","numeric-id":4190106,"id":"Q4190106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$2D2F461F-E572-490F-A4D1-41A756165FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1765649f9cd7d78b6e2077ca88e55caaa496b93e","datavalue":{"value":{"entity-type":"item","numeric-id":3771597,"id":"Q3771597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$9AB27E8D-7F98-4C67-B3A1-5D9CA892527B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57797e7c99953e400e1cfe8efbae934a0ec15a3","datavalue":{"value":{"entity-type":"item","numeric-id":1256061,"id":"Q1256061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$4FFCC81F-D607-41FC-9A79-F7120BCD93B0","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":"Q1262758$A8B3FEFB-B49E-4B84-8709-A1F0B7E44657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ffd80c0f66dbfb43fc21c30aee0ecb3bfcf815","datavalue":{"value":{"entity-type":"item","numeric-id":3673071,"id":"Q3673071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$9E8CF865-DB3B-407B-A74E-7E77CB237CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$17830510-9E46-4752-B76C-67BC90A8DA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e54b2bb0ead9149617d0c18f40eedd98f0e33c3","datavalue":{"value":{"entity-type":"item","numeric-id":797574,"id":"Q797574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$4A551E3E-B654-478E-9776-BB89774913EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b15a59f66792181ec9b10428cc82d66e1f5460","datavalue":{"value":{"entity-type":"item","numeric-id":1107523,"id":"Q1107523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$E742D1A0-E2E2-4C23-91D9-35431E4B1E13","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":"Q1262758$C86B74D6-AAC9-4E7D-BB58-08AFEAEB3897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6755a5ba9b0dffa9eb25b5ec62f1a57c213999a","datavalue":{"value":{"entity-type":"item","numeric-id":3738586,"id":"Q3738586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262758$BB647CB9-0045-41FD-B70B-534AB12BBC71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb196672bcb1c8cbe362cdc469fd4003f74d1896","datavalue":{"value":{"entity-type":"item","numeric-id":1102946,"id":"Q1102946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac933a5235ab4ad611e913824af8f6b6ba90ce9","datavalue":{"value":{"amount":"+0.956038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262758$68E9DC86-1276-431B-A636-B6A81DC347BF","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":"89a0cb61f61961ee77b6d6697f7b27c36147cc20","datavalue":{"value":{"amount":"+0.92792773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262758$7506F531-1433-4092-A03C-541B89079D16","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":"0e51579fe005ba8666f8ecef1c44441fed338eff","datavalue":{"value":{"amount":"+0.9230353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262758$FC5D08AA-7A17-44F8-839D-75F86993489C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3f45eea40d80ccd249df454e6f68e1181ab9b6","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75db18bcc96704cf89edb730eaa4783263a5c088","datavalue":{"value":{"amount":"+0.9116353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262758$5AF3F1A8-6B99-46B2-A09F-4B32FB0DDAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac2d8802165c3709114d572969a52b18d87849b","datavalue":{"value":{"entity-type":"item","numeric-id":1886319,"id":"Q1886319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adde8051cc827b913ba07c6ac66e7de197eea8c5","datavalue":{"value":{"amount":"+0.90463567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262758$BF943472-8418-4D9F-8065-22023F4AB363","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":"b0ce0add6ddf5e75df1aa703cd78668125ee4726","datavalue":{"value":{"amount":"+0.90079397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262758$F9D12A90-33AF-41F1-A59D-A1084DA8DC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73ca1ec9aa8b35829fed81cc08e67b62ad39e91d","datavalue":{"value":{"entity-type":"item","numeric-id":4933319,"id":"Q4933319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd27575a73ae8a64d806eee370dff5803ae5ce6b","datavalue":{"value":{"amount":"+0.9002727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262758$A37300DA-2D0D-4E97-9B82-8B68C8B3B419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02db343997ab944980c4626a9c07f3c111caa187","datavalue":{"value":{"entity-type":"item","numeric-id":5055732,"id":"Q5055732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5f8de78a434ef6b49323253d11e5932045e7c3","datavalue":{"value":{"amount":"+0.8997633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262758$F8CCC788-A774-4D72-9614-69BC7BA19D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e704c4a36e0b37b05189c4f9d98c9e9fd2ef7491","datavalue":{"value":{"entity-type":"item","numeric-id":3702507,"id":"Q3702507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d247c7523617ab9b63cccf51a72c99877694fe2d","datavalue":{"value":{"amount":"+0.89842737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262758$20374475-0E0C-46BA-880E-38D0D4566E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea635ad35607e06a297aa41c1ba86301ae6b39cc","datavalue":{"value":{"entity-type":"item","numeric-id":286976,"id":"Q286976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e7d03fec8d76bf8ee95fb11a6da70e7e6f368d","datavalue":{"value":{"amount":"+0.8933598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262758$85825383-C9AB-41E6-A3FC-BBCF30B006CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On deciding confluence of finite string-rewriting systems modulo partial commutativity","badges":[]}}}}}