{"entities":{"Q662409":{"pageid":664258,"ns":120,"title":"Item:Q662409","lastrevid":63579270,"modified":"2026-04-11T14:07:40Z","type":"item","id":"Q662409","labels":{"en":{"language":"en","value":"The Myhill property for strongly irreducible subshifts over amenable groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6008824"}},"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":"Q662409$DDBDD8A2-7B3B-4195-A215-8C53BBA6FB71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"022e9ce94366f0736b1fbc7c857c77a9eecdfc3e","datavalue":{"value":{"text":"The Myhill property for strongly irreducible subshifts over amenable groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q662409$62AE0D24-75E8-4A7F-8D12-05EFF2908418","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d06dacaeacf8e36bf569efb903a6436b26279ba1","datavalue":{"value":"1283.37022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662409$E93D24FC-4681-4FCF-A2D0-50517DAC0CFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"524a2bb237b8369909fd16bac15e61a964ccb34f","datavalue":{"value":{"entity-type":"item","numeric-id":321394,"id":"Q321394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$B5B8A852-FBDB-4DDA-979F-F9BCE9359F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb67899e7c465b4d16eb9f40a0e821ad61838d15","datavalue":{"value":{"entity-type":"item","numeric-id":1359520,"id":"Q1359520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$02C45963-DE3A-4467-8E00-784074CFC093","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$3A3F95AC-7787-4214-BCDC-69A57D6DC1EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"164a811b4fdf46ae7f08d0247338084cafa3851b","datavalue":{"value":{"time":"+2012-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q662409$8E176057-BAAE-48AE-BE62-85F2EBF89E78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"110bddea9c15d0d36a8152664067d17354d38779","datavalue":{"value":"https://arxiv.org/abs/1004.2422","type":"string"},"datatype":"url"},"type":"statement","id":"Q662409$1E930DE6-90DB-4767-8F31-BF0626511189","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68ff8b796142a9bca269d7d2057ae29a2ed993ba","datavalue":{"value":"This article generalizes the Myhill theorem to cellular automata over strongly irreducible subshifts in (possibly uncountable) amenable groups: if \\(G\\) is an amenable group, \\(A\\) a finite alphabet, \\(X\\subset A^G\\) an irreducible subshift, and \\(\\tau:X\\to X\\) a CA (continuous shift-commuting) that is pre-injective (two preimages of the same configuration have finite differences), then it is surjective. This fact was well-known for classical CA over \\(X=A^{\\mathbb Z}\\) since [\\textit{J. Myhill}, Proc. Am. Math. Soc. 14, 685--686 (1963; Zbl 0126.32501)], for finitely generated amenable groups since [\\textit{T. G. Ceccherini-Silberstein} et al., Ann. Inst. Fourier 49, No. 2, 673--685 (1999; Zbl 0920.43001)] and for strongly irreducible SFT in those since [\\textit{F. Fiorenzi}, Theor. Comput. Sci. 299, No. 1--3, 477--493 (2003; Zbl 1042.68077)]. These references also prove the converse, known as the Moore theorem (together they are known as the Garden of Eden theorem), but [\\textit{F. Fiorenzi}, PU.M.A., Pure Math. Appl. 11, No. 3, 471--484 (2000; Zbl 0980.37004)] gives a counter-example over a strongly irreducible sofic subshift in \\(\\mathbb Z\\).  The proof is based on the fact that amenable groups are those that can be endowed with a somehow canonical notion of entropy, strongly irreducible subshifts are those that do not contain an equal-entropy strict subsystem, and pre-injective CA preserve entropy (hence their image is an equal-entropy subsystem).","type":"string"},"datatype":"string"},"type":"statement","id":"Q662409$70DACA01-A3E9-4BE3-8FB8-94447B621246","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9f75a1ea6a1b050032188834d6ec5de5f473dd3","datavalue":{"value":"37B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662409$DD9671D8-B264-48FC-8B9C-478E135B0099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b559307b5b2969939e6945d65ee127220f8f6f4b","datavalue":{"value":"37B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662409$C8A40A1E-657E-4622-9881-08B4859AE0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13b0e146dde12f36ce99a5545918288e19496d3e","datavalue":{"value":"43A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662409$3300CED3-8328-412B-AAAD-D74A46E97AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662409$759E9EFC-0288-433A-A324-48E88E84510B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90ecb848e031b2058acdbf9f122d516d080a00c6","datavalue":{"value":"6008824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662409$79C27CFE-AF24-4C9E-9680-DB1408A59F09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2280ad2ba5c81ca6da2687c3b1d731871529591","datavalue":{"value":"shift","type":"string"},"datatype":"string"},"type":"statement","id":"Q662409$73A95AE8-0C89-4F49-B576-49DB0FEC06F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77cfba0bdc96149ac461d91f11f1240bf2a77282","datavalue":{"value":"subshift","type":"string"},"datatype":"string"},"type":"statement","id":"Q662409$70FE98EE-232E-41C4-B4E6-4F5E5169A3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d419ded2e3cd581575a8f1abe33deac01177c7bf","datavalue":{"value":"cellular automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q662409$BD49148B-EB23-4D05-90DB-84A5743F3E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0b3c94b99c080998946d0b4000f55a39ca4e42","datavalue":{"value":"Myhill property","type":"string"},"datatype":"string"},"type":"statement","id":"Q662409$35B9DF02-157D-4E63-9630-CC6952788D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c311d883e0d6b979ad5bfbacd340bc84f11c8728","datavalue":{"value":"strongly irreducible subshift","type":"string"},"datatype":"string"},"type":"statement","id":"Q662409$1C4789B8-F62D-49F5-80AA-EFFC67B4492C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7f6e045a0b583e8717f13a6197bff1df5d2465","datavalue":{"value":"topologically mixing subshift","type":"string"},"datatype":"string"},"type":"statement","id":"Q662409$7BCCAEE7-2FCE-4157-B6A1-E210AD72C495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b39e027abceaf2c7b3d1953c4663381f991b8407","datavalue":{"value":"amenable group","type":"string"},"datatype":"string"},"type":"statement","id":"Q662409$B22C6C98-C946-431C-8FB2-103C8E331AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2e069b1a2184cd3b0f52ffa83b5fcb89125e86","datavalue":{"value":"entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q662409$EB32F2AA-460B-4286-A148-7798F3B726E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc18785a0a42e6d63d38248b8bf819733b3391a","datavalue":{"value":"Garden of Eden","type":"string"},"datatype":"string"},"type":"statement","id":"Q662409$4EC7E007-62D6-45C3-9D67-7FA38E1C9548","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":"Q662409$9F702093-13FF-4FBA-A5C9-6544760F5B25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f5e9e658e39fe46236864677eae948deac3b05d","datavalue":{"value":"W2041697650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662409$EB4E7EE9-282F-4241-B048-97183E3C5C66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5b9fe5943447d323678ec96460455292df68d1","datavalue":{"value":{"entity-type":"item","numeric-id":3377383,"id":"Q3377383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$AFAA7BB2-CB8A-4E1C-AFED-88802C8E5A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa2e1c2426d81f498a6270467e2a102e80e54cf","datavalue":{"value":{"entity-type":"item","numeric-id":3625414,"id":"Q3625414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$DBED46C4-5D6C-48DA-8AE2-F7D4E59B3C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4b1461c135729d1b927c71de8e889ef11ebb57e","datavalue":{"value":{"entity-type":"item","numeric-id":1288652,"id":"Q1288652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$34DDD3D9-9C8A-4359-BEE7-99089CFDCFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de0083a73631905409ccd52066a520e39c2b750","datavalue":{"value":{"entity-type":"item","numeric-id":2755044,"id":"Q2755044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$97935AAE-5FE4-44E8-9FA2-3DC468B57149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5bc6a07a814b0117697201ab03007541eb2d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1874405,"id":"Q1874405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$0915EAA6-82FA-43D9-8BB3-E1513A110357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58214a201357392f912f106a46d6971b5d00e1e9","datavalue":{"value":{"entity-type":"item","numeric-id":5562332,"id":"Q5562332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$9EC93E25-B5F3-4862-9346-9F1F0FFD426A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7a5685255fbd052966db1470e61ca3e400667a","datavalue":{"value":{"entity-type":"item","numeric-id":1290359,"id":"Q1290359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$FA892B1C-AB65-47F8-B874-FF1BDF1C2A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d601597348c4eaeef99976dca28fd049a4918b","datavalue":{"value":{"entity-type":"item","numeric-id":5572921,"id":"Q5572921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$BDC5D0CE-4323-4421-A234-9B8D6BCC7CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c253900e4829cb5d0d6d60e214b68399dc4e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4856597,"id":"Q4856597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$F08651BB-1A5A-4380-98AD-CAEEA3A77175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00298edcc5a3cad9252fe8c180fd2543e738eec0","datavalue":{"value":{"entity-type":"item","numeric-id":5333603,"id":"Q5333603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$41954ABC-59C4-4F3B-BF7F-EDD8E0EEB506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e54e6ab14374cbf98f369339f03b7c55d4c58e","datavalue":{"value":{"entity-type":"item","numeric-id":2736862,"id":"Q2736862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q662409$9B7A7791-2261-4604-BDE7-82AA4B3B5696","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea15cc53a86055e051e00a04e43000778c08b51b","datavalue":{"value":"10.1007/S00605-010-0256-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q662409$93C4A44F-CD56-4E8F-A05F-01C36AF1808E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f186e89c89bec51d07f09860a8d84c33d20f4d9d","datavalue":{"value":{"entity-type":"item","numeric-id":327397,"id":"Q327397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c167be94744c108f65859958122655423f5a29a","datavalue":{"value":{"amount":"+0.88545525","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":"Q662409$ECDC3BDC-4E18-4424-A864-59958EC03B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e13b1635b4452a128d9fa2e4a4d0e2ab61bf2cf","datavalue":{"value":{"entity-type":"item","numeric-id":1802755,"id":"Q1802755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f0c07adc3cbc1e8c14c975b1b671c0157ff4a4","datavalue":{"value":{"amount":"+0.87758106","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":"Q662409$70A0B859-0BBC-4DA6-9DA0-F4FC65A3D343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f593c3926476a1b374362b74a5a69617242e29e3","datavalue":{"value":{"entity-type":"item","numeric-id":5496257,"id":"Q5496257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd59094519ec7e33ecb36cda7881e394ef26086","datavalue":{"value":{"amount":"+0.8751103","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":"Q662409$473E6038-033B-418C-9EE5-E791571C036E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2af131c2d179cc63490738e7a6a054517fec58e","datavalue":{"value":{"entity-type":"item","numeric-id":5294146,"id":"Q5294146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134ee5c384e4557539ace04d8df52b1f2ed6b213","datavalue":{"value":{"amount":"+0.873344","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":"Q662409$34144F52-8632-4B1B-A445-44665334C112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d93ae84166897d9fa0d19009a2d4e3deb5ffdb5","datavalue":{"value":{"entity-type":"item","numeric-id":881908,"id":"Q881908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529a1628be204527df152a21819855d96d553c4c","datavalue":{"value":{"amount":"+0.8712255","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":"Q662409$43B3B9E8-ECD5-4851-8586-A47455EEEC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff83d646db8b5edb748935a54e3d87ddd0d6ad37","datavalue":{"value":{"entity-type":"item","numeric-id":2253141,"id":"Q2253141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa5ef8efe8f9ec22b132cd5bae6f91d33fc9afa","datavalue":{"value":{"amount":"+0.8674571","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":"Q662409$33CAEECA-3356-4D85-B169-FC3C1AED75CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8912a7c1f8e0d9ed39ecd0a9f8103bc0f306904","datavalue":{"value":{"entity-type":"item","numeric-id":1012417,"id":"Q1012417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f16becc3ce4743d805b0956a22a1b9002549f4","datavalue":{"value":{"amount":"+0.8674309","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":"Q662409$F40DE680-2CE2-4080-8DAC-B0379FEBDAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ee419505b86ef410b6f629f57be6a6f5b429a8","datavalue":{"value":{"entity-type":"item","numeric-id":3979152,"id":"Q3979152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804c532e99b00a528645220ae9ddc60da4df10ff","datavalue":{"value":{"amount":"+0.86631584","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":"Q662409$97AE6CD7-49AC-49FE-B78E-6A321E23A4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a45ddf9c63f7e6b0c3cf7b6f09c5927186dfcd8","datavalue":{"value":{"entity-type":"item","numeric-id":3482382,"id":"Q3482382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804c532e99b00a528645220ae9ddc60da4df10ff","datavalue":{"value":{"amount":"+0.86631584","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":"Q662409$80694E09-D7DA-4C9E-8158-9BC357705BAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Myhill property for strongly irreducible subshifts over amenable groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Myhill_property_for_strongly_irreducible_subshifts_over_amenable_groups"}}}}}