{"entities":{"Q1386706":{"pageid":1397446,"ns":120,"title":"Item:Q1386706","lastrevid":68598129,"modified":"2026-04-13T00:49:37Z","type":"item","id":"Q1386706","labels":{"en":{"language":"en","value":"Lifting covers of sofic shifts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156713"}},"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":"Q1386706$61FEF23E-2FB8-4E81-8B56-BC3C8CD4A689","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8aec09ebf7778d2172aff14256d677b49f33286","datavalue":{"value":{"text":"Lifting covers of sofic shifts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386706$BF570BC2-3E0A-494A-A462-E5A9B2207244","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b601c9d65a61c639343009bac09eeadc9229904","datavalue":{"value":"0979.37008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386706$FA050B1B-BE6E-4D38-A4D6-2892F36ECB7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5542b7835236b7ffbc1d0e1dfdb85e4776d0b1cb","datavalue":{"value":"10.1007/BF01305347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386706$8475B5FD-A19B-4242-A6ED-9F29F1886C01","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":"Q1386706$24D5AD0A-6188-4D36-82AB-41D7781B0FAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70ba7dc2fb555efbe1a7d3728b26669e2903b3e0","datavalue":{"value":{"time":"+2000-07-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":"Q1386706$B99C3550-CAAC-4FCE-9A76-189BE7CAC5B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6df6656efbea6eddd907a206d2728b74b78c7d0d","datavalue":{"value":"https://eudml.org/doc/178818","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386706$0E8BE6D1-5F74-43D4-A94E-4303CA78C327","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5615be2b7a7684106cb6abbb2bacdec90bbb51e5","datavalue":{"value":"A cover of a sofic shift \\(S\\) is a factor map \\(\\varphi:\\sigma_{A}\\to S\\), defined on a shift of finite type \\(\\Sigma_{A}\\). \\(\\varphi\\) factors through \\(\\gamma:\\Sigma_{B}\\to S\\) if there exists a factor map \\(\\beta:\\Sigma_{A}\\to\\Sigma_{B}\\) such that \\(\\varphi=\\gamma\\beta\\).   If \\(\\beta\\) is a topological conjugacy we say that \\(\\varphi\\) is conjugate over \\(S\\) to \\(\\gamma\\). We have thus an equivalence relation on covers of \\(S\\). An equivalence class is called \\(S\\)-conjugacy class.   The author proves that an irreducible sofic shift \\(S\\) has only finitely many \\(S\\)-conjugacy classes of minimal left or right lifting covers. The number of these classes is a computable conjugacy invariant of \\(S\\). Moreover, every left lifting cover factors through a minimal left lifting cover ( a cover \\(\\varphi\\) is minimal if whenever \\(\\varphi\\) factors through a cover \\(\\gamma\\) by a map \\(\\beta\\), it follows that \\(\\beta\\) must be a conjugacy).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386706$D6A39743-72BF-40C1-9914-BA80B3261EFC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ec246315829251bad66f69695050701104d8286a","datavalue":{"value":{"entity-type":"item","numeric-id":587274,"id":"Q587274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386706$D3B78739-D314-4842-BE4F-8D5D4663A78A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b559307b5b2969939e6945d65ee127220f8f6f4b","datavalue":{"value":"37B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386706$87776EA2-1761-4FFB-B26B-F692C0C06BD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf5beef93f46a9561cc0e580969f300f570c04b7","datavalue":{"value":"1156713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386706$494AA0C7-6EB8-4D3A-8B99-1E0192FBB3A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"222e6e5df955145f5417264fe4cdc0c613f23b7a","datavalue":{"value":"sofic shift","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386706$5B759297-E893-4DC8-9F5C-EDBA71520C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8873ac3a609ec99d4dd0cc753a10d271a98a13c","datavalue":{"value":"lift cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386706$8E2B69B2-40D4-4259-82E4-406F9BCAA54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358a0a99873ef9c213ed5e1201c829b384d52b77","datavalue":{"value":"minimal cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386706$926C0165-2354-4E8A-AEED-D507790B3A30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c350cb5dc458c4e4b33025a1eaee90190ff5c9ec","datavalue":{"value":{"entity-type":"item","numeric-id":220661,"id":"Q220661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386706$78BFAA92-CE19-4739-98DC-F6F3E8022EB4","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":"Q1386706$0C0700F7-E046-4AD9-976C-7EF7F9A0DB99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c799623c4b66af60a041ac848a3d10a9048afc","datavalue":{"value":{"entity-type":"item","numeric-id":3744432,"id":"Q3744432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386706$8DAB2037-8185-4EA3-B2DD-44EBCFB3951E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ab207b4b38200dc57f373f9f12172d6e8f3055","datavalue":{"value":{"entity-type":"item","numeric-id":3796380,"id":"Q3796380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386706$55442F3A-BB01-43AE-86DA-0AEB8C4DC576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5cf37354ccfec4d3b52b974780175c054cebc2","datavalue":{"value":{"entity-type":"item","numeric-id":3482541,"id":"Q3482541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386706$04797267-EC94-4871-B401-B8BCAC8C43B1","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":"Q1386706$6A580D95-1D08-4F36-93D3-D364DFBAAB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2faa0d91e2d6ffbf34c89b11b65993407f0d4a","datavalue":{"value":{"entity-type":"item","numeric-id":1903108,"id":"Q1903108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386706$2C03C70D-A135-4B81-B8D4-5E12AF01AF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d49de104c18747f68674a5ece638d665641fbbb","datavalue":{"value":{"entity-type":"item","numeric-id":1383740,"id":"Q1383740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386706$5825F182-7E00-4B38-8ECB-4D1BDE9A8BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5310a3d2972abc22dd6f24af0a9f81df7da6d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3739877,"id":"Q3739877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386706$6BCA5B9A-E237-45B6-87E8-6E3A739004FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba921950c217c5786f1ef09af231a795804c1336","datavalue":{"value":{"entity-type":"item","numeric-id":3813964,"id":"Q3813964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386706$1400880F-58A0-4E74-9385-30BDD45B4342","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40a84e0ff35f7ca45da5902aea34b4f9b86c608f","datavalue":{"value":{"entity-type":"item","numeric-id":532780,"id":"Q532780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4fa98a3e9692ced335bcc4e201d9cd0f961449","datavalue":{"value":{"amount":"+0.9411936","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":"Q1386706$B85C682F-FCC7-4388-8E5D-21384D557817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d4e1cfb9c24e9e24b085060505f3c9f89b3f74","datavalue":{"value":{"entity-type":"item","numeric-id":5958128,"id":"Q5958128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f1a9cc7dae6758a70aead4ab9c9d9a5b027f66","datavalue":{"value":{"amount":"+0.91787016","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":"Q1386706$1D8FE211-2CCC-4239-BA4F-27E943E8547B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bc37d9c2d05e567cba7d321f0d550b47c38ad7","datavalue":{"value":{"entity-type":"item","numeric-id":5939251,"id":"Q5939251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844d0d69f979445ed64472b7205d76603d7af474","datavalue":{"value":{"amount":"+0.8824593","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":"Q1386706$0A921E14-7AB9-401C-8AB2-F1B06D8500F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"504cea8a8f80957f40532602130dd541ebd95808","datavalue":{"value":{"entity-type":"item","numeric-id":4813820,"id":"Q4813820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b430953f6d00d3bc1b6b2baaa0f59745df0ea6f4","datavalue":{"value":{"amount":"+0.87707543","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":"Q1386706$3FDBCAEB-4B3A-45F5-8126-29DF75C8B4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b596e8314048559db14adbdfdf8e02bef320da71","datavalue":{"value":{"entity-type":"item","numeric-id":2575742,"id":"Q2575742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd64333fc8edc7978d201b1958d5144edbb415b3","datavalue":{"value":{"amount":"+0.86581564","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":"Q1386706$968E45BC-0479-4E0A-A09F-29361D3D75EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5600bf7df97f401c618312e84d6b375f17b7dae3","datavalue":{"value":{"entity-type":"item","numeric-id":3353793,"id":"Q3353793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2386eabfc84c54f8d16ae70501e5a2859ad37d","datavalue":{"value":{"amount":"+0.86494637","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":"Q1386706$6497B455-941E-408F-957C-5313B512FF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f80001b26509c0fea2b0f87c5559e3ac06ef523","datavalue":{"value":{"entity-type":"item","numeric-id":3813964,"id":"Q3813964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1ce3179e669824882bbfe41c58aba4ff4afda2","datavalue":{"value":{"amount":"+0.8639752","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":"Q1386706$A809CB75-FE7F-4EAA-9127-678909262532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395642b53d55060c8b51dd3e9cc2fde2c3f61d0d","datavalue":{"value":{"entity-type":"item","numeric-id":5365565,"id":"Q5365565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc7f51a8a6db52f0c53b3899fdd391e86218764","datavalue":{"value":{"amount":"+0.8615395","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":"Q1386706$ECB4F852-4A30-4252-83D0-9711E2C2CE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964ab154821e9c1150cb41fc9bca7484955295b4","datavalue":{"value":{"entity-type":"item","numeric-id":897881,"id":"Q897881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6e97273ebee25c4f4fbc8556e02a20dcc8c282","datavalue":{"value":{"amount":"+0.85759085","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":"Q1386706$E2C46AC7-17CC-4AA8-8CE6-5B2ECA1047CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ce94ea44078f093a9f8e034f60aa17c626940f","datavalue":{"value":{"entity-type":"item","numeric-id":2922003,"id":"Q2922003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140181b4535d10d581e816ab64da76a4ece48475","datavalue":{"value":{"amount":"+0.8575907","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":"Q1386706$85A2826A-BEC1-4B51-8EB6-8E789F0B45B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lifting covers of sofic shifts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lifting_covers_of_sofic_shifts"}}}}}