{"entities":{"Q801163":{"pageid":803011,"ns":120,"title":"Item:Q801163","lastrevid":64515090,"modified":"2026-04-11T20:24:21Z","type":"item","id":"Q801163","labels":{"en":{"language":"en","value":"Conjugacy in monoids with a special Church-Rosser presentation is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3877433"}},"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":"Q801163$5BB1331B-873C-4C32-A814-DFC99581F64E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a11619613f8e7fa37c25acb5c68adb272b3fe34f","datavalue":{"value":{"text":"Conjugacy in monoids with a special Church-Rosser presentation is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801163$113AF4BD-6DD1-4194-889D-68749DDEA1CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8357493857464937118094bbb5899773cf3dff16","datavalue":{"value":"0551.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801163$CC4ABAF3-15CB-4EC1-8A00-77F43DF61443","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25e1d13578711738360e27845352884a24d59363","datavalue":{"value":"10.1007/BF02573327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801163$7AF5BCCA-20A6-4C4D-B819-143248BC97D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801163$78BF7377-31C7-4EAD-AD63-CB28910E19EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q801163$DD944F4F-BDDD-4CC0-9BE5-76AAB782A650","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"533d27adb0e9a37d7f90eb85e8c00d05d897dcc0","datavalue":{"value":"https://eudml.org/doc/134684","type":"string"},"datatype":"url"},"type":"statement","id":"Q801163$72141308-281C-439D-8607-0B33644F2558","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"07ea15c5bbab29dd06e165411db783f9319a5048","datavalue":{"value":"The paper concerns conjugacy relations on monoids. Direct generalizations introduced for free monoids to an arbitrary monoid are not equivalence relations. For this reason, the author proposes three other definitions of conjugacy for arbitrary monoids. A chain of inclusions of all five conjugacy relations is shown. All these relations coincide for free monoids, for monoids which are groups, and for monoids presented by special Church-Rosser Thue systems.    It is shown, that for finitely presented monoids, the word problem and the conjugacy problem are independent, and that there exists a monoid presented by a finite special Thue system such that the conjugacy problem for this monoid is undecidable.    In the main result of the paper, the author proves that the conjugacy problem for monoids presented by a finite special Church-Rosser Thue system is decidable. It remains open whether the Church-Rosser property of the Thue system is sufficient for decidability of the conjugacy problem of a monoid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801163$DA05301C-8EDD-4D02-9946-FF701CD55919","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801163$8736FDC5-2E04-4843-ABEA-B7F3EE0C6235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801163$9E893D83-C35B-4B28-9626-EE04D348FCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801163$AB070F5C-DE83-4E71-AC12-45EB1AA6F62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801163$66DA6060-ACFB-4AE3-9697-9162761FC2FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a84836c99ed3dc7a2d9d3875da3c3b8a06354340","datavalue":{"value":"3877433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801163$57C91053-09E8-4E77-ADFB-7D9FB0E033B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q801163$25728A61-FAA8-4D21-AF54-4A12C1C3AA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q801163$DBFC1F34-C727-46DA-BBCD-ABBDA55D9CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f4ed78ca4ac098517e23a8224aba407fc487787","datavalue":{"value":"conjugacy relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q801163$65F46D63-09A4-4033-AE71-75695AE38814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b241c2e53ac9c4073e4f6a37f6442b7c79d7d","datavalue":{"value":"free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q801163$2736C6E1-C94A-410B-BC24-91DC7AB09A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2fdee3cc3cf6e458a935b84a62de106474c3bfa","datavalue":{"value":"Church-Rosser Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q801163$CA40DF92-924E-4CA2-BF9A-A6DB0FE42F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1af22a19f05aa0eeafde6b7f88443243e251a9","datavalue":{"value":"finitely presented monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q801163$70F0C03D-AD1D-40D5-91FF-FCA67E8D4869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q801163$D4627805-3869-4DEF-94D1-733AFDDB5810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a63ee56c4d2f81c4a9b7f5e8124d077a3591e1b","datavalue":{"value":"conjugacy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q801163$0502EDAC-F2DE-4BD0-8FE9-1768F688282E","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":"Q801163$91558377-4611-4CE3-A49E-0631A0812AB9","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":"Q801163$7F37B1B2-533C-4542-A756-457F5F9BDA4B","rank":"normal"}],"P223":[{"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":"Q801163$64A4158D-A6B5-4CA1-A685-AF7BDD522FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09eeb53a57e3a236ec25f8fdd27770ac54074dcb","datavalue":{"value":{"entity-type":"item","numeric-id":593775,"id":"Q593775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801163$661FE73B-C83F-443C-B1AD-15A6DA709AEC","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":"Q801163$2DB87184-0B8B-4610-A85C-2E48F54B62DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aad5d172f379156ad5113a0d1550f96d13bb46d","datavalue":{"value":{"entity-type":"item","numeric-id":2533187,"id":"Q2533187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801163$811B1EAB-A69C-44B6-ACFB-695152C1B5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c82198b1893ce6810aa36878d8fbe3a1c43271","datavalue":{"value":{"entity-type":"item","numeric-id":1218040,"id":"Q1218040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801163$6B57620B-D966-4A0D-982E-091DF5068E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801163$35A6E889-063C-4451-90AF-F7E55C3F2B7D","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":"Q801163$0838664F-4FFE-4DF0-BA75-DDE45A2CEEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801163$FDA971CD-9154-4B50-82F2-55F3FE094DD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350c534442853d08a0d186edf4e30e0cc96f3bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1073015,"id":"Q1073015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fababa7f40f18fc975a767c3ac342dc6de5a32c7","datavalue":{"value":{"amount":"+0.884906530380249","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":"Q801163$ADBFD036-2CAE-4D07-B750-9354C86BE7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7e54f392fe751a13bb416bd0449ab1169fac97f","datavalue":{"value":{"entity-type":"item","numeric-id":1637219,"id":"Q1637219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7ecacb0fbcf39b8417f83df2a3cd1f26fd200a","datavalue":{"value":{"amount":"+0.879116415977478","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":"Q801163$A1A3F9E6-6C90-464D-8395-6685A62EA5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79dfb4b4af1d70a6447cf1168770e98f08be85a2","datavalue":{"value":{"entity-type":"item","numeric-id":1178900,"id":"Q1178900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fb875a1b330228fb458838036f1e16bfbd05d1","datavalue":{"value":{"amount":"+0.8486766219139099","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":"Q801163$7E738711-B91F-4427-BC9C-E06FE0D88679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc7f041f51a68403691d28dd3268368da77af10a","datavalue":{"value":{"entity-type":"item","numeric-id":4348040,"id":"Q4348040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0a6311e5b6bed7db64331b2d830c63315191d7","datavalue":{"value":{"amount":"+0.8481320738792419","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":"Q801163$FD1BB922-1347-4F80-8AC9-7537DC375991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bec4018938b95745d558cf4b569b25f3b77aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3718694,"id":"Q3718694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8053c07749ef5d03cceed6283711a54edbfca5cc","datavalue":{"value":{"amount":"+0.826358437538147","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":"Q801163$DF4CDEE3-3727-4EF6-8469-CE68F3C924E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conjugacy in monoids with a special Church-Rosser presentation is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conjugacy_in_monoids_with_a_special_Church-Rosser_presentation_is_decidable"}}}}}