{"entities":{"Q375928":{"pageid":377695,"ns":120,"title":"Item:Q375928","lastrevid":61370448,"modified":"2026-04-10T22:55:44Z","type":"item","id":"Q375928","labels":{"en":{"language":"en","value":"Hyperbolicity of monoids presented by confluent monadic rewriting systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6221829"}},"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":"Q375928$4E5D604E-AC3D-4D04-B06E-5D577500F6FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35ded8fd05e368f8c2d57106995cab6c2f4dbcf1","datavalue":{"value":{"text":"Hyperbolicity of monoids presented by confluent monadic rewriting systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q375928$7E04018C-1CA3-43B8-83EF-3AC1ECBDD4DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b0a599d93b74d7e7822098ddd2255103ba355d0","datavalue":{"value":"1326.20056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375928$214AC886-17D1-4516-9044-C200BC8DF07B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04da1d904a9cf31174a4fceff9ebb46cb62bc89","datavalue":{"value":{"entity-type":"item","numeric-id":306543,"id":"Q306543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375928$8CDEB8C8-6D7F-4515-9291-80E0735F39E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375928$F6605763-6392-445F-9E6F-837A29234C2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c208560dc20a04fb91ae5bdd165df42ccb312e52","datavalue":{"value":{"time":"+2013-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q375928$B590B056-0674-45DB-A77E-7CB465A73115","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf897c39de4bde1833abdd6e02927cfa15d65957","datavalue":{"value":"A word rewriting system is said to be monadic if it is length-reducing and all right-hand sides of rewriting rules are either the empty word or single letters. The paper reports on results on the geometry of the Cayley graphs of monoids that are presented by such confluent monadic rewriting systems. It extends results of \\textit{J. Cassaigne} and \\textit{P. V. Silva} [Int. J. Algebra Comput. 19, No. 4, 443-490 (2009; Zbl 1213.68477)], which deal with the particular case of so-called special rewriting systems in which only the empty word is allowed as the outcome of rewriting rules.   Specifically, for a confluent monadic rewriting system, the main results of the present paper are the following: (1) if the left-hand sides of rewriting rules with each fixed right-hand side are regular languages, then, as a geodesic space, the Cayley graph is hyperbolic; (2) in case the rewriting system is finite, a description of the boundary of the Cayley graph is given as a metric space of infinite words; (3) under the assumptions of (1), the monoid presented by the rewriting system is word-hyperbolic in the sense of \\textit{A. Duncan} and \\textit{R. H. Gilman} [Math. Proc. Camb. Philos. Soc. 136, No. 3, 513-524 (2004; Zbl 1064.20055)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q375928$2386B784-F7CB-422B-B194-0C3840713BC1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99980a1fe8b67be8570894d1f605195f6f2e1e0e","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375928$3E9E6288-D9FC-4419-A2B9-A83D63DB2307","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375928$9A5BD1AF-AD39-4BC7-96C5-BAD2A2DEC9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375928$45F196A4-6006-4A62-BA3D-755CF726DA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d746b8d92c753ec921d8d5d21d7a353ee19cc6b6","datavalue":{"value":"20F67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375928$774191B6-CB42-4289-8369-2AB1D862AF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375928$E00F570F-DFC6-4D96-BAF3-1055C8A0CB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375928$DB626B8A-C14C-42CA-9607-E12D24CF7FA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b27d71fab0abc7c2af5d63d909d5879b5c60f6bd","datavalue":{"value":"6221829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375928$E515F70E-AEDE-4AEF-AB3A-E989EC98E92A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"288917a794321d094f9b089e51dddcadeb4f478e","datavalue":{"value":"hyperbolic monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q375928$1808A4C4-1377-4245-AA63-07D91C6149A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65cad63212019f12ef171ad3216adf83f8698238","datavalue":{"value":"confluent rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q375928$A9222517-68C5-49A3-BE3C-53DDFA110091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07698fcebb144dd814f7b91cc16da470d40820f1","datavalue":{"value":"Cayley graphs of monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q375928$725CD517-6105-4AFE-96A4-49803A336495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f918cdb4149c72999fca110768808e26fc2ad944","datavalue":{"value":"hyperbolic boundaries","type":"string"},"datatype":"string"},"type":"statement","id":"Q375928$D25248EF-133F-4356-8549-0E37E7547972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4326b8d7d9f75398a1f795d7f050330019096f58","datavalue":{"value":"Gromov topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q375928$0FD1FA96-AAE7-423E-BBD6-1C2A8793E77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5f77653185b1b55e957044a6cf43b38b8ce18f","datavalue":{"value":"word-hyperbolicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q375928$6777FC06-DC4B-482C-934D-5DA49B5F31DC","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":"Q375928$6EF0F3C1-561F-4CE4-9014-64572946EA1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15467caf84a9d87bd2701923d2f956479a00af41","datavalue":{"value":"https://doi.org/10.1007/s13366-012-0116-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q375928$51DFED40-BA93-4CE3-A679-40A7637F8C41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"436fc75aa714cb5dd4eaf844d41aad685918023b","datavalue":{"value":"W2004887193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375928$22639604-E78E-45CF-9B56-BE1318980FA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafd1087424141de8b121e0221a9a0d6ac10ade1","datavalue":{"value":{"entity-type":"item","numeric-id":3643582,"id":"Q3643582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375928$7FA1C6DA-3D2E-421B-9DC3-37E7222E53CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ef209e7922e4cb0876e179948768e364141ec4","datavalue":{"value":{"entity-type":"item","numeric-id":3637970,"id":"Q3637970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375928$68BE1C8E-1CF1-488B-B82A-BB893DC8E8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77efcc08159cf43aed748fe4663d47c81bd2d9d6","datavalue":{"value":{"entity-type":"item","numeric-id":4819118,"id":"Q4819118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375928$83DCED12-278D-4668-AA24-36D11B4FD1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5230d0e23530a08a106d3f1738ba394b1f7741a3","datavalue":{"value":{"entity-type":"item","numeric-id":1188934,"id":"Q1188934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375928$FAEE1F77-739C-45AD-A124-B392F97561B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4ed9693dbb08864eb983816fe8143df72b42fc","datavalue":{"value":{"entity-type":"item","numeric-id":1433428,"id":"Q1433428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375928$66C7235E-4759-4362-9EDC-1C91C01F702D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375928$D026B9CE-1A4E-4AED-B0F2-CBD4CE475F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6354b0620d1494e0e3ec92321b43f6b385e27192","datavalue":{"value":{"entity-type":"item","numeric-id":4330730,"id":"Q4330730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375928$26ED294F-DF97-4D42-9ABF-A7CF45B93B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q375928$12CD2047-4588-4612-A96E-F0E6FB81321D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa5c6ce0ddc89fe3f91301a65a1d1db25e808ee5","datavalue":{"value":"10.1007/S13366-012-0116-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q375928$F41A9D56-6ABB-4F08-8BAC-51BE2290F092","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82acffdcd65eadc41565562634c865b2fa24a6fd","datavalue":{"value":{"entity-type":"item","numeric-id":846368,"id":"Q846368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fa3f25355c14fb47ac4c0fcdf44edb90c7a59f","datavalue":{"value":{"amount":"+0.894635","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":"Q375928$87C9AEFB-7F68-4745-A916-DDBAA584FF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58112b8f99005ca10a8df53e3716c19c8eef1226","datavalue":{"value":{"entity-type":"item","numeric-id":5444974,"id":"Q5444974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88217815b9e944ed71db416b6fb836250224d8df","datavalue":{"value":{"amount":"+0.89280415","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":"Q375928$04E9841D-FE9E-4A9E-80D4-79C9E757E624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67477a05e38e3c9d04ebf53ec423b314caf4f9a","datavalue":{"value":{"entity-type":"item","numeric-id":923133,"id":"Q923133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f23858feebe65f1de4f237c5f8b13356996d7c","datavalue":{"value":{"amount":"+0.8808093","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":"Q375928$BB2AD3D6-9885-4A3C-AEAA-29DA2FC8F6B3","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":"2e7735e0c52c6c71df9adea7cebfadaadc17232b","datavalue":{"value":{"amount":"+0.8802934","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":"Q375928$DEF9C397-6B8F-4D4D-AA07-E04E69826CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9224ee104ef09a3675f85d477eae779c82341887","datavalue":{"value":{"entity-type":"item","numeric-id":3643582,"id":"Q3643582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183aff748b520f1b441894b57365089a4ac8594e","datavalue":{"value":{"amount":"+0.88000405","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":"Q375928$72FA849E-FA34-4DA2-B994-A7D38FDC6604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b83b321f32e214fc1db49bb480a2fc6d6c1795","datavalue":{"value":{"entity-type":"item","numeric-id":3617419,"id":"Q3617419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf285fe501c0019ebda3021eef8c5e0cbc8c0f5","datavalue":{"value":{"amount":"+0.87939966","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":"Q375928$F47776C1-2E71-4548-9AA8-EAC4DB79FAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d942147cb42e5a9df229c5f0a5dacd5eb36d37ad","datavalue":{"value":{"entity-type":"item","numeric-id":4336275,"id":"Q4336275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cfa1d03881769c46089f5685ff0095b45cc5015","datavalue":{"value":{"amount":"+0.87791246","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":"Q375928$76392A82-CDA6-4125-A895-AACC053F285C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c6495bf86e6ec1540d947234581e48bfa16fedd","datavalue":{"value":{"entity-type":"item","numeric-id":5253345,"id":"Q5253345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64cce18c34bc18a6114c3fcec6486c439f552b5","datavalue":{"value":{"amount":"+0.87424093","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":"Q375928$7258E478-7ECA-4462-A038-D6EF9BB7B6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b94b25fd1818d5e9d051dc9238a586cba9fd882","datavalue":{"value":{"entity-type":"item","numeric-id":4421599,"id":"Q4421599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11fc252b4c05944f9ad78f84e3821c2ff608c1a7","datavalue":{"value":{"amount":"+0.86778134","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":"Q375928$14EBDAC4-1AD0-49C6-A39B-8398E1AA891F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa5095c9cd699845073213f3a652c73ef176a7a","datavalue":{"value":{"entity-type":"item","numeric-id":2996292,"id":"Q2996292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df09e100bb9fc30062d508228f56c7c33510ec01","datavalue":{"value":{"amount":"+0.8663239","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":"Q375928$4F56EB10-7BF1-4EB8-BB73-2BAE04FB403E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperbolicity of monoids presented by confluent monadic rewriting systems.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperbolicity_of_monoids_presented_by_confluent_monadic_rewriting_systems."}}}}}