{"entities":{"Q6601468":{"pageid":14212625,"ns":120,"title":"Item:Q6601468","lastrevid":56842791,"modified":"2026-03-23T18:36:39Z","type":"item","id":"Q6601468","labels":{"en":{"language":"en","value":"Cayley linear-time computable groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7910107"}},"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":"Q6601468$0528A3E7-A72B-4F1C-A58F-8709590F605D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fde5bda30ae51b36bb25b930c0cf1fe2f1f08729","datavalue":{"value":{"text":"Cayley linear-time computable groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6601468$45D54E51-0063-4465-9B27-D3C1B1F97AE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7cb5e1c4923f684f00a7aca1365ee31c832c645","datavalue":{"value":{"entity-type":"item","numeric-id":782560,"id":"Q782560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$5AB71DF8-17B6-4C7A-926D-95D6C3DE209B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd48b66d787bc2b78da731311a124f4aeab3edb","datavalue":{"value":{"entity-type":"item","numeric-id":522129,"id":"Q522129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$AE00DFCD-54B8-44E7-962E-5E6B6ADFE204","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0747c0fb4affe3e597a4fe69d68f3c30f5daa99e","datavalue":{"value":{"entity-type":"item","numeric-id":6566683,"id":"Q6566683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$73051572-1EF5-4B44-B4DA-452B7BC76087","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c5f03d38e864f343b57fd7b32b628d264834b70","datavalue":{"value":{"time":"+2024-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6601468$06C81BAE-16D0-450B-B656-2D5F843C564C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24e635b4e349e9d1f2f71307c7184b81a47fbe54","datavalue":{"value":"The concept of a Cayley automatic group was introduced by \\textit{O. Kharlampovich} et al. in [Groups Geom. Dyn. 8, No. 1, 157-198 (2014; Zbl 1322.20025)]. In that approach a normal form is defined by a bijection between a regular language and a group such that the right multiplication by a group element is recognized by a two-tape synchronous automaton. A further extension, introduced in this paper, is that of Cayley linear-time computable, that is groups admitting normal forms for which the right multiplication by a group element is computed in linear time on a multi-tape Turing machine.\\N\\NIn the paper under review, the authors show that the groups \\(\\mathbb{Z}_{2}\\wr \\mathbb{Z}^{2}\\), \\(\\mathbb{Z}_{2} \\wr \\mathbb{F}_{2}\\) and Thompson's group \\(F\\) are Cayley linear-time computable. This refines some results previously established by \\textit{M. Elder} and the authors in [Inf. Comput. 288, Article ID 104768, 15 p. (2022; Zbl 07601279)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601468$0D543634-F925-4223-A3B8-3108D8D142EB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84143e6334371c8e3cbc935219640b812b5c932b","datavalue":{"value":{"entity-type":"item","numeric-id":258043,"id":"Q258043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$B1BDABC4-692B-4D3D-9364-A0676ECA8A43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601468$611D191F-479E-42C9-933E-37F0093825A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601468$97FE0280-C629-475A-A11F-6CA675B10AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601468$2BBEC4A6-FF15-4885-B3BA-61565B47A235","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f697bedb1024ac6416147d0caea6a29c02fe7136","datavalue":{"value":"7910107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601468$383B030B-7B6E-4858-9070-A10FEFE23127","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c02b42a5c8851af52e79e7d2822ae1bdcdc4cbd","datavalue":{"value":"Cayley linear-time computable group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601468$34C8A342-F3A6-466E-A4BD-30C33A94091A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8df629498e890360a4020409b16eeb8b0c5c22e","datavalue":{"value":"multi-tape Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601468$351EB86E-89D7-424D-AA7D-F9F4331B5ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ee478c750caea749591f40b4d0b63323c1eecc","datavalue":{"value":"wreath product","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601468$254694B8-9FE1-4754-8D72-03E78D574830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c35099f62ac2fca22bf9abf62eb970dedfc134c","datavalue":{"value":"Thompson's group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601468$FC9524B1-D552-44A6-872D-099CDFB507DB","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":"Q6601468$8D9A723E-1259-4F1F-B333-E9AF6661348E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca12b0218c5aa6437f9d4d840cc8faff85545b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1304880,"id":"Q1304880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$4198C4D0-942F-4DD2-A808-8218D9A1A942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5182eef39b2d562a74b234f517ff4b2db59946","datavalue":{"value":{"entity-type":"item","numeric-id":2084772,"id":"Q2084772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$E83F9F34-58E3-49C4-9271-74F5D401EDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8903d95aa01119d77351d106942cb4440f869aa3","datavalue":{"value":{"entity-type":"item","numeric-id":2814835,"id":"Q2814835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$50D4512E-FB39-4107-8728-E4F8D2C15CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb3f0f5a75704f5edd0f3208efe9747ca92fb7e","datavalue":{"value":{"entity-type":"item","numeric-id":1354823,"id":"Q1354823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$E9935B92-C804-4E22-B016-731D1FD74576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260eb402582b8724194736443ac92565872f79a6","datavalue":{"value":{"entity-type":"item","numeric-id":404175,"id":"Q404175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$38143981-D79A-43BB-8468-6E980FBEC1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fe176529e5e807ffb2b7826263c20a01aaa223","datavalue":{"value":{"entity-type":"item","numeric-id":761661,"id":"Q761661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$5256CBE0-06C3-4DC5-8406-927D21E07D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6821e57c2ca89a3d8e7a06534b6a786df81d4b3f","datavalue":{"value":{"entity-type":"item","numeric-id":1355389,"id":"Q1355389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$8E4ED6CB-B963-43A0-893E-59420FF7B555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2ffcc22b83d946ee0a9d4ff2d28763cbab39f1","datavalue":{"value":{"entity-type":"item","numeric-id":2848364,"id":"Q2848364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$7E46F9EF-A6EB-4738-9043-D75B2E2F8757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4431de56aee93a9819762d433d10845c29e010","datavalue":{"value":{"entity-type":"item","numeric-id":403809,"id":"Q403809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$F21CE364-EDAC-4E47-8379-E0E1BF1C5110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b837b85b73cd2a34f7a312a531080a2e3ad8a3f","datavalue":{"value":{"entity-type":"item","numeric-id":285894,"id":"Q285894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$14DBCBBD-D94A-450E-959D-A8EA7AB2BFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda3489b46b03cce2e2d044b296bd7198c95bbca","datavalue":{"value":{"entity-type":"item","numeric-id":4003861,"id":"Q4003861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$C02EEAB8-9BD0-434B-B56F-214008E145FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f44a228438304857c097dbd91835490a10717c","datavalue":{"value":{"entity-type":"item","numeric-id":4683155,"id":"Q4683155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$9CB43070-9563-4F01-9E30-4A52DCE27DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ae479423108f0f32ae3fae66c8ab612f1fd6e9","datavalue":{"value":{"entity-type":"item","numeric-id":2170284,"id":"Q2170284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$9FEC8D00-3114-425F-9319-2346027810F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7322429310c9852f7a50e4117862da2ee8b7af","datavalue":{"value":{"entity-type":"item","numeric-id":2016098,"id":"Q2016098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$5E93B6E9-7ACB-402B-B1D6-2D0C7249E1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$6B85772E-9E90-4D0D-B890-AF1F05617426","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3dfd1be96da8faba88e5fb603a927117e90edcd","datavalue":{"value":"10.46298/JGCC.2024.15.2.12503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601468$33904C6A-6F82-434A-AF40-16E9D141C7A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d37bc07e91b6c72877b65eb7a082c0943040409","datavalue":{"value":{"entity-type":"item","numeric-id":2084772,"id":"Q2084772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"decb83643bfb85d82da97901870191af5e519d49","datavalue":{"value":{"amount":"+0.8915829062461853","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":"Q6601468$5E58568E-48A5-41F1-B884-99E86665657E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ce873eefc5b9710351f6d5ba77b93573531831","datavalue":{"value":{"entity-type":"item","numeric-id":2016098,"id":"Q2016098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f984d19236adb8c501cd14b35a427769e32513c6","datavalue":{"value":{"amount":"+0.752354085445404","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":"Q6601468$408FA6EF-AD15-40B5-9C03-035AC57FD901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9fd037249b7c7eb99a14cecb75bc87c7ffc407","datavalue":{"value":{"entity-type":"item","numeric-id":375212,"id":"Q375212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18eeb54b1fde1cfa966a054f999ae5c43804826b","datavalue":{"value":{"amount":"+0.7501189112663269","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":"Q6601468$77D2BEFE-AB16-43E6-8B15-140F590398D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23bff2177db888c9a6199aec6fbe3f6d471f221e","datavalue":{"value":{"entity-type":"item","numeric-id":403809,"id":"Q403809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e926b039a3be682be56bf343cb3113e9a9d44c","datavalue":{"value":{"amount":"+0.7313974499702454","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":"Q6601468$9D4F2C6B-A9D5-4BE7-A315-D40D7DC0EA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde8cc563ff7932816f94b6dc2d351dba0a6427f","datavalue":{"value":{"entity-type":"item","numeric-id":951964,"id":"Q951964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b0add27175b3f88a3f3144c9f18cc0d69d3aa3","datavalue":{"value":{"amount":"+0.7237793803215027","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":"Q6601468$41141A11-7D2E-45EB-91FC-988764FC4CB6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601468$85D264D3-E215-4A9E-8B28-B82AF0399AAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6601468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6601468"}}}}}