{"entities":{"Q1089798":{"pageid":1100550,"ns":120,"title":"Item:Q1089798","lastrevid":69619128,"modified":"2026-04-13T08:14:39Z","type":"item","id":"Q1089798","labels":{"en":{"language":"en","value":"The problems of cyclic equality and conjugacy for finite complete rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4005605"}},"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":"Q1089798$385D9192-833E-412D-BA72-2E6CD7BE13DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b3567ffe872427c104eaa8429c4e953dae655ef","datavalue":{"value":{"text":"The problems of cyclic equality and conjugacy for finite complete rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089798$5A82006F-4790-4DE1-AB4F-4180BBE732B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef65d74bc6ba4797094ffba3409d512fb11e1d5e","datavalue":{"value":"0619.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089798$216B2DEA-8FFB-4C64-AF9B-73F18CE5703A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"999e76bdf334a90ed143e7079af5500f33a24881","datavalue":{"value":"10.1016/0304-3975(86)90131-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089798$9DDF514C-4350-47C8-B4F0-0AD594C7BB9C","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":"Q1089798$7E85358B-E39A-4B9A-B236-D7F7616DC062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089798$7047CA57-9327-422E-A58D-52A769228A4A","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":"Q1089798$60EF57B5-D2AD-4323-B4AD-D5A1F73929E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1089798$F7AD9C3A-2E2A-4218-B1EF-EE34A8FF36AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"287f4119416300de5402faaf164a11677a6cd8f7","datavalue":{"value":"It is known that the left-conjugacy problem and the conjugacy problem are decidable for each finite, length-reducing, and complete rewriting system. This does not hold for the problem of cyclic equality as is shown here by presenting a finite, length-reducing, and complete rewriting system with an undecidable problem of cyclic equality. Further, a finite complete rewriting system T is constructed such that the left-conjugacy problem and the conjugacy problem are undecidable for T.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089798$FD777015-0F0D-4EF0-A52C-6938AED99CFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089798$BDCEDD9B-440B-4731-824A-DC1FBAA1D752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089798$EE7EF49A-2828-4531-9C40-367F99639937","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7964d8e88bfc37eb2ef8fa8d97162c365b3e4b57","datavalue":{"value":"4005605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089798$DC64DAF3-650B-45F9-8492-79AD209607D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78faf5cbd44afd10f1220559ca0b0e5a5d94ade1","datavalue":{"value":"left-conjugacy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089798$8713F91D-1AD5-4A7C-BB1A-A16FD8711C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827cf77b6f577069aa505f462b13984f944ef19f","datavalue":{"value":"cyclic equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089798$E7E104C4-5FCA-4F15-A30A-F2CCA021316D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6432ae523837d7dcee6e53851a1bc0c8e3d7aa1","datavalue":{"value":"finite complete rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089798$F8A2DC10-D93C-402F-93C3-D23F267B00AE","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":"Q1089798$BC71E956-3DA8-4333-AFD2-C05CA0030A9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58c935b7dccaf11d91164d1d95c6ccde9b6c95c0","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90131-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089798$701F8B41-67DC-49BB-9124-3F892BB5609B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb2c1d80cd36a0f8e7c475665c3b0ae78f037b5b","datavalue":{"value":"W2021390843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089798$C657DEE1-268D-4D45-BB2D-5F393529F86D","rank":"normal"}],"P223":[{"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":"Q1089798$166BE9AC-7EC8-4402-B852-96EF06B97547","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":"Q1089798$343432B8-7864-4F21-8263-7245ED6354ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6db44461333ef5e5aae7abb248658a05e60ef41","datavalue":{"value":{"entity-type":"item","numeric-id":3247126,"id":"Q3247126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089798$D603BD30-1A0C-49D2-8561-F7CD4CF493D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089798$C99A757E-B3E6-4188-BDF8-2D4A0F14578D","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":"Q1089798$9CED6BE6-26D7-4CAA-92C7-CC62C5A89BE7","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":"Q1089798$6E7CED08-C581-422A-97C2-4DDB68B2E8CA","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":"Q1089798$D9E902EE-E9EB-4E52-9B2F-52DE72C3ED54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac80fd37ae52a4473f445e2dd3a2ffd75ffad640","datavalue":{"value":{"entity-type":"item","numeric-id":1073015,"id":"Q1073015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089798$9DF935DA-0629-49C9-9175-9AC60B7D6150","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":"Q1089798$0744BF6C-8C75-4EF3-B23F-004D848C066E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d48410a7583156d1131964150b5eab11998283a","datavalue":{"value":{"entity-type":"item","numeric-id":4105657,"id":"Q4105657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089798$D3760738-A126-4170-8A2C-4AF2949C0BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f4bba773e24243af880f04cf5b109976b320a02","datavalue":{"value":{"entity-type":"item","numeric-id":5829815,"id":"Q5829815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089798$79E86751-0CD8-4EA6-801C-D0A34C735954","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":"Q1089798$5EBE5766-69DF-4A8F-A020-4F2EA270E449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa78d7638ea69d0a540e6d078b65b138e9b0f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":801163,"id":"Q801163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089798$F4B95B3E-CCA0-4F03-86B6-3D68CACEEC98","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":"Q1089798$8F216BD8-E60B-428F-9C47-4CD013EEA3B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b262e41d62d6dda623d3c7f33098a5ae250f8d","datavalue":{"value":{"entity-type":"item","numeric-id":3779772,"id":"Q3779772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7592954ef7ddea7bc6246792c28ffff97056542c","datavalue":{"value":{"amount":"+0.89589155","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":"Q1089798$1CD18678-041F-49A1-A718-C441D252619F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ed362601ae74a0d308c8fec16774b0a28d64a9","datavalue":{"value":{"entity-type":"item","numeric-id":2874367,"id":"Q2874367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88258e6746a84454fff99ea3a1cb3debb6fa83c0","datavalue":{"value":{"amount":"+0.8925336","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":"Q1089798$A364742D-99FB-43D3-92CF-953DA5F4C90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12256d67d6a5424a23b27566ca63cf0840ba061","datavalue":{"value":{"entity-type":"item","numeric-id":791314,"id":"Q791314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b8c671c3ebc126c8f226b05239775b1ac16963","datavalue":{"value":{"amount":"+0.88659525","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":"Q1089798$32F69A1F-3545-4EC9-8BEB-94D7843037D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4690dad1bf660794e1148bd6b0d6a28b6b1784","datavalue":{"value":{"entity-type":"item","numeric-id":4942275,"id":"Q4942275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfdf6c3a08db25743300f10c10ee5b5565bb9ecf","datavalue":{"value":{"amount":"+0.8857742","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":"Q1089798$FE08A997-A058-4F02-9400-2A0527B906CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1130dc3bfbfc63200659c797a0bbde12a3e1f721","datavalue":{"value":{"entity-type":"item","numeric-id":4680589,"id":"Q4680589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c43f4621a338c9da3381ed40c84c24f1d82d70","datavalue":{"value":{"amount":"+0.8819522","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":"Q1089798$C8A6AA2F-1676-4712-88F9-D914EE51720A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97392bf2e1546d0937496d0e0eca814822d09c4","datavalue":{"value":{"entity-type":"item","numeric-id":1331943,"id":"Q1331943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62e830c8cd7c08eaaca4552645c721b8586a64f","datavalue":{"value":{"amount":"+0.880296","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":"Q1089798$1764F1B3-C441-4C48-90CF-66E156495C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7876e5a93a37f6b1fe1d800acce7fde3745da4","datavalue":{"value":{"entity-type":"item","numeric-id":4457004,"id":"Q4457004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf84b140360e0aab184cc4127e1b33f3effa0bb7","datavalue":{"value":{"amount":"+0.87644315","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":"Q1089798$ED3E4621-C6FE-4C8A-B1B3-A0D501737409","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":"e6e9fc0e57a2a297a955a7008d6bf5ffc6b06d6e","datavalue":{"value":{"amount":"+0.87490314","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":"Q1089798$2122D398-B00F-4AB2-8A21-E1724BF5C64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4e024fa56b2772751ceb9f7b71554ee9262799","datavalue":{"value":{"entity-type":"item","numeric-id":1262758,"id":"Q1262758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa3fcaaff974ec02d16cef9fcb28a72e4af152d","datavalue":{"value":{"amount":"+0.8728065","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":"Q1089798$A059AF24-B579-4990-BA80-84BE8249E24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad3e35f322ab6715c55d0f88dfd75aa22bc47d5","datavalue":{"value":{"entity-type":"item","numeric-id":627163,"id":"Q627163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c2aaee65d2d4f4d8dc853aaeb9b92dc8447c64","datavalue":{"value":{"amount":"+0.87220466","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":"Q1089798$A76E9E96-EBD6-40A3-AF73-9BC8E809F5EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The problems of cyclic equality and conjugacy for finite complete rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_problems_of_cyclic_equality_and_conjugacy_for_finite_complete_rewriting_systems"}}}}}