{"entities":{"Q1899736":{"pageid":1910478,"ns":120,"title":"Item:Q1899736","lastrevid":73941510,"modified":"2026-04-14T17:48:19Z","type":"item","id":"Q1899736","labels":{"en":{"language":"en","value":"Strongly geodesically automatic groups are hyperbolic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 807306"}},"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":"Q1899736$C8D8371A-4618-4A60-9822-1ED2C30E60BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b9f3d343dd5e4622519956c47e45717f554143e","datavalue":{"value":{"text":"Strongly geodesically automatic groups are hyperbolic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1899736$0F19E60F-60FE-40BE-A43A-5EA7A9CC60AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ada7b67e0d312c97c40d0f79c922d336f87523d7","datavalue":{"value":"0834.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899736$F50CE4E1-7814-4EA4-9BF9-B9F608D06AAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4b78b6bbcb280a7812b76108218c030e8fa3286","datavalue":{"value":"10.1007/BF01884301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899736$CA00F2CB-204C-422E-BCC1-5C1008A84B5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899736$6B71C6B3-7AC8-4191-AF86-BECB013F159A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"894be799020e9aad5f698deaabf9e3b9c5d87e0e","datavalue":{"value":{"time":"+1996-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1899736$72E316B3-FD79-4B9B-AF9E-77CAA1893658","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bdbf112cd20e37ef29c02b98db128ba9fd9334d","datavalue":{"value":"https://eudml.org/doc/144301","type":"string"},"datatype":"url"},"type":"statement","id":"Q1899736$72397412-3A3A-485E-8158-D8426FC30828","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"38af57b963fcc5c1d077e5d6219c7e6649ad3196","datavalue":{"value":"Due to the existence of a recursive structure on the set of all geodesics of a cocompact discrete group of hyperbolic isometries proved by \\textit{J. Cannon} [Geom. Dedicata 16, 123-148 (1984; Zbl 0606.57003)] any hyperbolic group [in the sense of \\textit{M. Gromov}, see Publ., Math. Sci. Res. Inst. 8, 75-263 (1987; Zbl 0634.20015)] is strongly geodesically automatic [see also \\textit{D. Epstein} a.o., Word processing in groups (1992; Zbl 0764.20017)]. The main result of the paper is that the converse is also true: If a group is strongly geodesically automatic then it is hyperbolic. The proof of this fact is based on the author's observation that triangles in a graph are thin if bigons are thin. This also gives an alternative definition of hyperbolic groups, namely that a group is hyperbolic in the sense of Gromov if for some \\(\\delta>0\\) bigons in its Cayley graph are \\(\\delta\\)-thin.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899736$08294FA6-EF6C-4902-B70B-DFE721258E83","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9a1aeb7e5f97b871e07485496f44cbdd80c78f7f","datavalue":{"value":{"entity-type":"item","numeric-id":1177546,"id":"Q1177546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899736$4905F420-2C17-4FE3-B633-916A978A70F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899736$0F115682-EB2A-466E-84A9-795521FF6DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899736$3C72CE44-06F1-4E29-96F3-26C00EACBCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5206f46c6ca666840f8b4128198bef996fcacb","datavalue":{"value":"57M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899736$6774F5C8-ADD0-4CE7-9BBA-943311606202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b90db52ca12088dc08c74afaecb99f82acc3eec","datavalue":{"value":"20F34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899736$41F99C46-160E-4E4A-8834-AB047B42073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899736$3827181C-A5DE-412A-9031-EB31EF607F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899736$9EE654E1-5EE1-4C87-A04F-69C8BB8E6082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85168c971c8dd8144a2ec995a527c7169786cead","datavalue":{"value":"57S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899736$3B42FAE6-F577-4C55-9C52-44947114EB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31e5f2cab9338e069e06abed12936be0327625a7","datavalue":{"value":"53C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899736$E0FA7866-203B-4FCE-928A-9811C2595CFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43d08c7e6d35d40c0a17dde2858bb4f336d9a1d4","datavalue":{"value":"807306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899736$C058ABF2-F337-4F67-8D5A-A3524DE58DE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562c063f7d0152a3c5a5eeb5c5648d0eaceaf64c","datavalue":{"value":"recursive structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899736$5EC83782-C681-4F72-8DA3-D205647A588A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a61078c375f595537fe4ec5567a249b4963887ff","datavalue":{"value":"geodesics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899736$DABA0F05-45F2-46A8-A8DD-A82E2943BF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15356df0e57874e9a0f67f322ec840c69f1bc156","datavalue":{"value":"cocompact discrete groups of hyperbolic isometries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899736$4A1AEEB2-E90C-43F6-B49A-DEF1DF0AA0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1d70355675ef19bee10f2e200d39abe03b3bd61","datavalue":{"value":"strongly geodesically automatic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899736$E3A3E170-11A6-46AA-9462-4F346DA5B5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83f79fa35f5a4060d91a1365e56e94942de0e4b3","datavalue":{"value":"hyperbolic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899736$3F0BECA6-1979-417F-BFA8-731599333D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64e1ee688b6f898d32c9c2776a1d825855a56d60","datavalue":{"value":"Cayley graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899736$03D32F53-E02B-4FF7-86E7-4B8BF2D6FBEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8a35d1f9b37df59bf728362332b32bdd1d3eb2b","datavalue":{"value":{"entity-type":"item","numeric-id":640323,"id":"Q640323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899736$6135FBFA-5B0E-401E-8FF9-F3FDA786AD52","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":"Q1899736$C0AC94F5-7057-4F92-BF4E-CD3358DBDB94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea518e73e9c383cc408a72b36c15c15e10ea40f9","datavalue":{"value":{"entity-type":"item","numeric-id":1084704,"id":"Q1084704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899736$D2E39F37-6BAB-403B-ABF8-B572F55BF9F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f713bfd39dbf1f028aff8654b1d4d6aab2a49d","datavalue":{"value":{"entity-type":"item","numeric-id":1596302,"id":"Q1596302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf29ae0e83e66731d17fd371ad7f27c34a36b19","datavalue":{"value":{"amount":"+0.88615364","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":"Q1899736$FA4B766E-EDFB-41AD-B518-2F9DF6BA901B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb07606eb179db866c001b216086699206932e7","datavalue":{"value":{"entity-type":"item","numeric-id":1895679,"id":"Q1895679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779ada0f165df04a92a27ff1e527aee3bf3b7e63","datavalue":{"value":{"amount":"+0.88573384","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":"Q1899736$978671DA-EEA5-40FA-B311-DC6866491596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea63a159bc76b12fb327a88f9e96d4990e97358","datavalue":{"value":{"entity-type":"item","numeric-id":2717082,"id":"Q2717082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089964fac4766c4e8d5924877e8dd588899cdabe","datavalue":{"value":{"amount":"+0.88466436","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":"Q1899736$F23215B4-1FFD-481A-A8F2-0E41C409E972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396c1396d2cfa5176600d4ff40326f0636e3c7f1","datavalue":{"value":{"entity-type":"item","numeric-id":4952825,"id":"Q4952825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329d8a600a89cae906813c2d95d3648aebcac794","datavalue":{"value":{"amount":"+0.8846339","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":"Q1899736$956DF60C-D69B-4F7E-9FB2-8D7BD1103258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfa5cd86dab1328196d7aa92bd3cd3adf237b69","datavalue":{"value":{"entity-type":"item","numeric-id":5109826,"id":"Q5109826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e57bc0b2a725ca9e3e1690765325c830fc457ae","datavalue":{"value":{"amount":"+0.8821134","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":"Q1899736$80AE721D-F3FC-4012-BC11-BC3891ABCDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e971dedd6d10443b50c42adc9fe0c493bf4b9cea","datavalue":{"value":{"entity-type":"item","numeric-id":4407436,"id":"Q4407436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0e4100fc8bc2d62c758ac08a5187073e4d7ab9","datavalue":{"value":{"amount":"+0.880873","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":"Q1899736$AEC90104-248F-4E4D-9350-E494A91DCAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c918244c7dddeb6aa86f8b06534d9efed091a3c","datavalue":{"value":{"entity-type":"item","numeric-id":4342590,"id":"Q4342590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dde040c0a4cb0a8abd45a8b453ffc7ab7d40ac2","datavalue":{"value":{"amount":"+0.8789795","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":"Q1899736$560E44E0-E378-4CB9-A41A-980C129C430A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6fe34b45a2319aec82464060e7bdf705cd31193","datavalue":{"value":{"entity-type":"item","numeric-id":2342233,"id":"Q2342233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03390e4c9895730ec3db5cdbfe6e6bfa8523560b","datavalue":{"value":{"amount":"+0.87789696","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":"Q1899736$05AA67B9-3FA2-442E-833C-743FEA4BE30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c723f4e765d9a4f59f0e556e7c922ed5eff6031","datavalue":{"value":{"entity-type":"item","numeric-id":4634251,"id":"Q4634251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8601b087a20b05f5d140b27bb48778ba919a78a1","datavalue":{"value":{"amount":"+0.8761874","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":"Q1899736$1933B893-E4DB-4D22-9BD6-A9421E6063AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9db48e37a70c9a52f57daf976df4f3787eb551b","datavalue":{"value":{"entity-type":"item","numeric-id":6116305,"id":"Q6116305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283498523ccbda4c9f5937fe04c06cbd4d724245","datavalue":{"value":{"amount":"+0.8748702","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":"Q1899736$A162410E-1B9C-489F-9219-DA241DD89A01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strongly geodesically automatic groups are hyperbolic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strongly_geodesically_automatic_groups_are_hyperbolic"}}}}}