{"entities":{"Q444388":{"pageid":446155,"ns":120,"title":"Item:Q444388","lastrevid":61865952,"modified":"2026-04-11T02:11:59Z","type":"item","id":"Q444388","labels":{"en":{"language":"en","value":"Groups, graphs, languages, automata, games and second-order monadic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065701"}},"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":"Q444388$68AB7CC4-6D0A-4F48-A154-AC8842EF3CEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7599d342638aea26a47af336706d293e74285551","datavalue":{"value":{"text":"Groups, graphs, languages, automata, games and second-order monadic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444388$B7DAFA6B-6C42-4F5C-870B-E8A33A3E532D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18ffa6a619950cfa6d76eec238efe7b8edca1b6d","datavalue":{"value":"1269.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444388$DE0452D4-2AD2-4E27-8F74-33698B2400CB","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":"Q444388$C4ED6B44-87C0-43FC-85C2-582DA142CC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56ac500a8c8586691c87492fd9a82689e649c1ae","datavalue":{"value":{"entity-type":"item","numeric-id":393112,"id":"Q393112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$0F2D38FA-88FD-4988-9B13-B7C5C4C323C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"698bc4fe65f79b85d517df655a1aca4a01c66cfe","datavalue":{"value":{"entity-type":"item","numeric-id":444387,"id":"Q444387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$A40B1351-B61F-427A-86B9-99CA94869344","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":"Q444388$4029A572-DAA4-4ABC-BE7A-AEE389315CBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$3BDE96D1-3298-420F-8FEC-DA44D6A99B57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444388$2FF6887C-E1E6-475A-B72E-D4E57BF9E5F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22f1fdedcab346cf44568f7089e67dfaa989cc9c","datavalue":{"value":"https://arxiv.org/abs/1201.3108","type":"string"},"datatype":"url"},"type":"statement","id":"Q444388$57664EAB-9891-4ED8-8578-E7A16EB75499","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$BB026DEC-C99A-407D-A0E2-B9D280A92362","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444388$93C6E6DA-9085-4B13-8F9F-A9095CFD8CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444388$9AAB8E3E-FC6B-4CE9-AC0C-8F99AF24837C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444388$DF7C73D5-0E43-488A-8AA3-1102FFF6B8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444388$0D216FBC-2BCE-4AD3-AE55-4ED53FDD606C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444388$2C98C7A9-980A-4556-AE0D-6DDD10DE7721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444388$8AE4A755-835E-49EE-A932-CEF58C03C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444388$D24D5768-8033-4157-B4E2-411218796B22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9b093b1f440a28da22aba0655930ef7aad2b341","datavalue":{"value":"6065701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444388$9CC9E041-EC25-454D-BF88-5FE97FC8822C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffa2562cdcda6f2d37a86e2e286fdaac2949a96","datavalue":{"value":"groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$43766621-E289-4286-98C7-0FB98AF458FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260bd9818f4b5c075531adb20c6af4b519239eb4","datavalue":{"value":"group presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$940C606D-ACE9-4BCB-8AF0-D783BA281791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64e1ee688b6f898d32c9c2776a1d825855a56d60","datavalue":{"value":"Cayley graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$A6B4CF90-8C0A-423B-BE75-A797BB8E5DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba259c5c06af63100955fccf8bc8b370e89eaee","datavalue":{"value":"word problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$25224F05-F276-43FF-AF5E-7F2E1C61DDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$DA3403D8-3A59-4F6F-9870-D08FEA7CFC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$6FDC0BF7-4982-45A1-9B7D-FBA930314DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1f75e8f430718e0f2a1042e291cbf21500b20b","datavalue":{"value":"grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$516561E7-4FC1-4CFB-9F96-63940EBBD629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$0C77585F-4DBE-420D-93CC-0CEA09E84E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$9B9F4E5D-0375-40F9-A08F-09C682BEDDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4b5d63289db850b148e760ad6fea530c4e5631","datavalue":{"value":"cellular automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$C5119EB0-79DF-4650-B998-C846CD397AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$61459CB6-9848-4794-8AC6-E81FD3DFE1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$942C65D4-5BD8-480A-B99B-B458E817F13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$40C72654-C5FC-48BE-A3D0-B6A6E331E3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9990370dd0c067c8312dfaca782543e55e0052a7","datavalue":{"value":"infinite games","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$906ADB08-794F-4AE0-A6BA-65509A215B25","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":"Q444388$AE8105B5-FA32-464F-AFEC-0869FDA78EA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c413dc55df12e32211364b66e6a8337a986bc398","datavalue":{"value":"W2045644373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444388$32D57A6E-47FA-467B-A299-CDFFE9F55CB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8bd749eeac0eb56237120f2b29267c861f04d8","datavalue":{"value":{"entity-type":"item","numeric-id":2561573,"id":"Q2561573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$F80E4CCC-3187-4037-9DE8-1ADE498D94E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea830727e9b6bedf20862785e40529682d300fc","datavalue":{"value":{"entity-type":"item","numeric-id":5652216,"id":"Q5652216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$C1CDC7F8-5356-4DB7-833B-1FE2A10A9B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999968a37f79519f4778fc7fdfc8575cbc2c2685","datavalue":{"value":{"entity-type":"item","numeric-id":4085266,"id":"Q4085266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$B191C390-72A2-4256-B2D6-AFA2CF6408D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6948ebfeed0edd11f7ffb01b24b2c5a092b66890","datavalue":{"value":{"entity-type":"item","numeric-id":845292,"id":"Q845292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$9012F553-B778-491B-8EF5-D8B30C3CC333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d886b04972bbbfc14dda54b4abce372a22bda258","datavalue":{"value":{"entity-type":"item","numeric-id":4427631,"id":"Q4427631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$7475B346-171B-4DBB-AF63-69491D85C7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445f378b97bf4a8e0814c7f95ee3d653f4320fee","datavalue":{"value":{"entity-type":"item","numeric-id":4668873,"id":"Q4668873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$0CDB07FE-2362-41F9-8ABD-BBDBADD38A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$105974D6-95D9-4702-B956-226EDEDCF43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bf38cfdd4be5d80434967e0d788b92599d44fd1","datavalue":{"value":{"entity-type":"item","numeric-id":3259071,"id":"Q3259071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$696A9DBE-D154-4DEA-A9E9-EADB02A9D002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebacb70bb626eb22598539287465013fcb3a006","datavalue":{"value":{"entity-type":"item","numeric-id":1608320,"id":"Q1608320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$D8EBCE8F-B8E4-494C-8E59-BCC5F645F6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f5d0749e63668e74a75eb5adf28f40df8e18fd","datavalue":{"value":{"entity-type":"item","numeric-id":4720067,"id":"Q4720067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$81B515FB-AD82-4594-B644-234D0377E962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$10EA026B-5D19-48C1-8D7F-706E31F69CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c9d12205e091036373c47d3fe6ee3e30cb8d78","datavalue":{"value":{"entity-type":"item","numeric-id":5645327,"id":"Q5645327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$398AD938-C426-4F15-B112-EB569D02D20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683624e96c6fb0b84fc6c957ebbac9374b07a0e6","datavalue":{"value":{"entity-type":"item","numeric-id":817237,"id":"Q817237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$99AD55DE-4FE0-43DA-984B-F4B9909BADC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430761c8b7d9e9e75332d2596b17fbe19247621c","datavalue":{"value":{"entity-type":"item","numeric-id":3420282,"id":"Q3420282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$332842CD-E920-4A1C-909C-285C37D29535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4363adb8fe36d099e1faf3d99505e099a03ceb4d","datavalue":{"value":{"entity-type":"item","numeric-id":3583434,"id":"Q3583434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$9CE07BD4-2021-4E31-ADC7-3C95453050F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c3b93afbafe850c538515e91d1f46f417469ce","datavalue":{"value":{"entity-type":"item","numeric-id":1426038,"id":"Q1426038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$12A490B9-0A44-4E47-AA35-E52CFE45BE48","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":"Q444388$CE5B56FB-FB3F-4532-88A0-DA17C404BA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74dc38cf593fbde300960b1839659b0f7d9cb869","datavalue":{"value":{"entity-type":"item","numeric-id":3151247,"id":"Q3151247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$997E2BAB-C809-4748-8004-2A09C9D059D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55fc6b7911c878b1b18741b8b328a74ae6ecfe2f","datavalue":{"value":{"entity-type":"item","numeric-id":1426039,"id":"Q1426039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$0E663EF8-A50B-4F4A-89FD-2486A1ADD295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2aadd2ebaf81a9f5f5ceab25669cd9d0508bea","datavalue":{"value":{"entity-type":"item","numeric-id":444402,"id":"Q444402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$DF328A29-4D50-4709-BE36-BD5C19F25509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733f590d1c864cee6b12c62e5bd9d16847d093b9","datavalue":{"value":{"entity-type":"item","numeric-id":951225,"id":"Q951225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$1A55675B-7D36-4EBE-B4C5-3448DC66F8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e97002deaa32bce9238411fd6668f6b28c627864","datavalue":{"value":{"entity-type":"item","numeric-id":5536272,"id":"Q5536272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$AE514834-6AE7-499B-8A2C-45E8D1B31633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9d94ee13fb5ecca8b20e9dac6ff80f0c10426a","datavalue":{"value":{"entity-type":"item","numeric-id":4417312,"id":"Q4417312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$D4F148A9-095B-4317-95F9-2653673C89D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5fe6768f3faeae0434384913a7a266aefdea8b","datavalue":{"value":{"entity-type":"item","numeric-id":5342877,"id":"Q5342877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$675110FB-7049-40D5-A8CA-9F785C3497A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beaf942b20f7702aaca50126381b4d5a50cf325d","datavalue":{"value":{"entity-type":"item","numeric-id":4520856,"id":"Q4520856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$BE42F5A5-79BB-42AF-8911-79CED7558355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7396df871781a7c0a77c94a48b43c8d1129be6","datavalue":{"value":{"entity-type":"item","numeric-id":2994772,"id":"Q2994772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$D853367F-FEF3-48BD-8E9E-FBB2989B89D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64eaadb5fe90b853b5422ea4979121c326763206","datavalue":{"value":{"entity-type":"item","numeric-id":1062144,"id":"Q1062144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$6085041B-6960-4F68-B2E0-9196F59696C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d839ac2f568b17a05f435ea722c4e92578d208","datavalue":{"value":{"entity-type":"item","numeric-id":4273693,"id":"Q4273693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$CC33925E-C1E1-424C-A3B3-82830E179731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$B9D7F288-0255-484A-BBB4-4B8F515375FC","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":"Q444388$AFC1B87A-2721-4485-A617-9F70E90915DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05be222e65600b6184145de46f54233f7adac12a","datavalue":{"value":{"entity-type":"item","numeric-id":3828188,"id":"Q3828188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$C6DBB22B-EAE9-435A-8502-6DDC1F51A59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9940c0e06b26b1101c84817c76f74d0dadecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5817866,"id":"Q5817866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$9E4B29D4-0DF2-4D17-BBF4-938F4A21A8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2db4b1f394a566f8a229ef0ab54663b90ac2b2e0","datavalue":{"value":{"entity-type":"item","numeric-id":4012142,"id":"Q4012142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$3CFE5963-BD58-4788-A230-FE7709B31DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817ab99849eb4fdf35b206210641ae47579a5a4e","datavalue":{"value":{"entity-type":"item","numeric-id":5669966,"id":"Q5669966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$0C1BCB50-8675-40DC-8B63-0EAF16FB8958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dcd71a6257a436df5983573c9654f98595e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":3436928,"id":"Q3436928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$AA702BB1-EE51-4751-9C84-58ACD362F7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ef1cb7cd04e966ccb1ae19910e0aa4c051b035","datavalue":{"value":{"entity-type":"item","numeric-id":1285594,"id":"Q1285594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$B5144F5E-62F2-4B71-BF46-3360CB859573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf5d88258b72ba99833fda0afd27adf0f09717a","datavalue":{"value":{"entity-type":"item","numeric-id":2783052,"id":"Q2783052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$7D233EA6-23CC-4BCC-9DE8-EED727321EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320a4959b3b19951cebc6a79a1a4b49c7a726972","datavalue":{"value":{"entity-type":"item","numeric-id":3772406,"id":"Q3772406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$4FD7E785-9EBD-4DCB-B6DA-6D3EF82728FD","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":"Q444388$5AF83C27-4B67-4C90-B89D-62E7D8DA942F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389162a97c3e6e83321c8a42c0b968ca23a4d03a","datavalue":{"value":{"entity-type":"item","numeric-id":3667071,"id":"Q3667071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$1767DC9F-8DFC-4B87-9480-CE9E5CA32CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$2201FD43-EE72-4CCE-B261-B1F7BDD9380F","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":"Q444388$16E1A5B0-4B84-4CF9-A8B0-560626F05FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee32fd238cd7aa72816d70e40416ef162832c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":3288145,"id":"Q3288145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$5901DB7D-C785-4D3B-B53A-C5C1364BC1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$54B6412D-360A-460E-AC55-1EA9DF8BCFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e34eb1eb7afc3d0897feb18c751d4e88d4fbe2","datavalue":{"value":{"entity-type":"item","numeric-id":2652758,"id":"Q2652758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$5F415CE8-C4D7-462F-A8A4-51A552BDAFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca3ec286a4c4df86a18dd4465d33f1d2197a9613","datavalue":{"value":{"entity-type":"item","numeric-id":5941088,"id":"Q5941088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$0A04B03E-7E61-46A2-81FD-37BDC1CA6EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db8118720e147684c9a92a6514ddd0f2b1f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":807043,"id":"Q807043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$4706678A-B103-494D-ABAD-C0A295D8DF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2deba89bc6cbf176b95792137b080c001d119ae0","datavalue":{"value":{"entity-type":"item","numeric-id":1318474,"id":"Q1318474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$EA692088-535D-4D8C-97A2-2D02BC509296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9ad0314412efec50be5bc0ca0f1365f58142fb","datavalue":{"value":{"entity-type":"item","numeric-id":1779295,"id":"Q1779295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$EC5E41B2-57D8-47BB-9DAE-15F31F883B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f060a1883c6c3280f2e27f86646302943facbfa","datavalue":{"value":{"entity-type":"item","numeric-id":4429448,"id":"Q4429448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$6103ACC6-08E5-4FD7-B4D1-91624EB5B6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecba3bc67d45399452d68ed7d965225617421941","datavalue":{"value":{"entity-type":"item","numeric-id":1826906,"id":"Q1826906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$4006A81B-01B6-4367-BAC3-7381CD676563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad682a5f1f53b1fcb80a5b78e15b2dd7702ef6b","datavalue":{"value":{"entity-type":"item","numeric-id":4032627,"id":"Q4032627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$1F4D1BA0-8959-4E02-A567-D58BEA859A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed84f26aeb21844e4464a57fdb8694ad431102d7","datavalue":{"value":{"entity-type":"item","numeric-id":5588670,"id":"Q5588670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$F761902D-AF8F-481F-BFD9-2BA8EBBB4B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d6e99e7e45aa90d919ae581d7da79a658abfc32","datavalue":{"value":{"entity-type":"item","numeric-id":5483463,"id":"Q5483463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$ED45DAAB-F557-4262-A42C-5D099D57F845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ed2a0a2196aaa672db48bc22ab24f297efa6bd","datavalue":{"value":{"entity-type":"item","numeric-id":797689,"id":"Q797689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$3C02D1BF-9E98-438D-B85D-A8E9BAAE1397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7602ad913791b5467142403523b718d3bfdad3b3","datavalue":{"value":{"entity-type":"item","numeric-id":5285936,"id":"Q5285936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$4A327337-0320-4A21-9D1D-D29DAD21FE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c311ece3a3c852e6a502f7ea21f493eede9025","datavalue":{"value":{"entity-type":"item","numeric-id":1353135,"id":"Q1353135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$E8DB59B4-462C-4EEE-B0E6-068E02897B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823e2328202f2501bb4c0a3bf0d9b4af246ee89b","datavalue":{"value":{"entity-type":"item","numeric-id":5513066,"id":"Q5513066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$632104FE-C88B-4634-9E09-1AB38BC452F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4179eb4353d3fcbadbc90dcfe0cc62529aa38f6b","datavalue":{"value":{"entity-type":"item","numeric-id":954981,"id":"Q954981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$1B58545C-69C8-42EA-8E7D-F5F0263C6EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2989e1632225c9b212c223f4cb32e22d501f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3396627,"id":"Q3396627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$F55E65DE-A628-49A8-A812-48DD8D814848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$F1F81E64-64DA-485A-B9EF-D55C54A81D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f4c06f8a04d278d8b2376a4f43f5bacc871002","datavalue":{"value":{"entity-type":"item","numeric-id":4722064,"id":"Q4722064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$0B447A20-7DF2-4A06-9D31-D3F212D2A6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$B138B06C-86AC-4F6E-B2A5-F4B60DD6CB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673ed675f6f74a5fb6ef078ea5ced8c8e0e2b63f","datavalue":{"value":{"entity-type":"item","numeric-id":3615843,"id":"Q3615843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$ED1CD742-7ACD-4DA4-A1D7-07378456143C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47eab19259485d5308332832669bd2da1a18d15","datavalue":{"value":{"entity-type":"item","numeric-id":5333602,"id":"Q5333602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$C82A9035-9018-4DBE-9A38-B5933B6BB260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f0c3549d5b8155ce7e1ff13ae07abb3b6da851","datavalue":{"value":{"entity-type":"item","numeric-id":5322161,"id":"Q5322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$E14A1910-B9AE-4B57-8204-0EC09189A0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af188522ee36dfbc40e8063345c06265fc901ae","datavalue":{"value":{"entity-type":"item","numeric-id":792454,"id":"Q792454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$0D33FB28-1F5E-400D-A1E2-8E1F3207A240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$080FC178-CA90-42B5-81B0-F54F46B0BB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43536a0761a838d5cfd1688d59e4abc698504b50","datavalue":{"value":{"entity-type":"item","numeric-id":3942944,"id":"Q3942944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$4C7FB7E0-6E10-4401-B269-C44D04D8B6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$AA6DD39B-85EC-4A70-BA64-BBEEB1E633D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$C751E254-1A5C-40AF-BE50-B2EA37770BB2","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":"Q444388$F16D426D-EACB-4C55-8E37-ED66AF598786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5886c5d194adf0eda81905dad7bd762f9dbaca07","datavalue":{"value":{"entity-type":"item","numeric-id":5487292,"id":"Q5487292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$BEECEB26-18DA-48BE-A644-CE5D1365E8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ad42d21f5c0dab426b15381218e0d78f75f107","datavalue":{"value":{"entity-type":"item","numeric-id":5562022,"id":"Q5562022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$716F4542-7637-4905-8EF0-7F50A7C2BA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$843E1D69-8444-499A-9ECB-B724BD9E7016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8375e11ce45f9ec75069670248a6039513460faf","datavalue":{"value":{"entity-type":"item","numeric-id":2540183,"id":"Q2540183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$5D1045C5-5650-459D-B253-EB7480B31F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29a0a2e977704d47e96a8b3bf9a14d5f5ae765f","datavalue":{"value":{"entity-type":"item","numeric-id":1236791,"id":"Q1236791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$024633FC-C38E-422B-8E4F-4C089302D9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa2d0eb30a635caacdf42eb6b5a1cc17646281e3","datavalue":{"value":{"entity-type":"item","numeric-id":2543472,"id":"Q2543472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$8BA557C2-1137-4623-AA6E-6DD9E60FAFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0305fdb73761767bacef2ace6ab3c156e02615","datavalue":{"value":{"entity-type":"item","numeric-id":1132176,"id":"Q1132176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$4B42217F-D131-4392-ADC0-05EF4AB2034B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c88a487c9d5ad6b0a8045d950d8c4e5b26cc33","datavalue":{"value":{"entity-type":"item","numeric-id":4630285,"id":"Q4630285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$9027182D-1BE0-47CB-90F7-C1906F793A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8935fa4f989bca3c5824de11038744e4ea556a9","datavalue":{"value":{"entity-type":"item","numeric-id":4867142,"id":"Q4867142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$58C84815-E423-40F9-9988-C251594E52A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba833c4bf93c8fa975e11adb649b70eeebb834d","datavalue":{"value":{"entity-type":"item","numeric-id":2552947,"id":"Q2552947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$BF4BC77A-B4A7-4210-9D0B-405FDB5FD93B","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":"Q444388$08D7C371-A544-4A3C-909B-3AFC0D1B29E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fd144d9f7145ef1c71976ef299d08fc6e17bb1","datavalue":{"value":{"entity-type":"item","numeric-id":658032,"id":"Q658032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$C434CAFE-A6E7-473B-B50A-16608B799E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b5e7a1b0e5fdc60756967bc9a958e8caa96e20","datavalue":{"value":{"entity-type":"item","numeric-id":1323455,"id":"Q1323455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$8ECC3BAA-72FE-443F-8F6E-142524BCE15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5bf17e67f3809a558d30e67ca7f8aab983fffe2","datavalue":{"value":{"entity-type":"item","numeric-id":910412,"id":"Q910412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$2286D740-DA02-474A-8A29-EB179A4E51D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504f6b648bcfa18997434aaf597ca9cf8bc967ad","datavalue":{"value":{"entity-type":"item","numeric-id":4304495,"id":"Q4304495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444388$16DE96AB-6637-42FB-823D-D1A46E12AB54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf37eb96eb4802fdad145846357b242a419b7725","datavalue":{"value":"10.1016/J.EJC.2012.03.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444388$27521459-8A10-4B58-9BBA-BB0CA0485C90","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fca77a0eb5237442d1e21d275ae94b44001fe4f2","datavalue":{"value":"The authors survey several topics that have sprung from interactions between the fields indicated by the title of the paper. As the individual results discussed are so numerous, we shall just note the main subjects and some highlights.NEWLINENEWLINEThe introduction offers an instructive preview of the matters to be covered and identifies the origins of the main ideas and results. Section 2 introduces formal languages, grammars, automata and computability. In Section 3 the authors define group presentations and their Cayley graphs, and review the history of the Word Problem of finitely generated group presentations. Then they consider the fruitful connection between the theories of groups and formal languages opened by A. V.~Anisimov's (1971) observation that the word problem of a finitely generated group presentation may be viewed as a formal language. They prove Anisimov's theorem stating that the word problem is a regular language if and only if the presented group is finite. Then they review several further results that follow this line of research, such as the Muller-Schupp (1983) characterization of the finitely generated groups with context-free word problem.NEWLINENEWLINESection 4 introduces the idea of the end-structure of a finitely generated labeled rooted graph. A theorem by Muller and Schupp (1985) states that a finitely generated graph is isomorphic to the complete transition graph of a pushdown automaton if and only if its end-structure is finitary. A related result characterizes the virtually free groups as the finitely generated groups whose Cayley graphs have a finitary end-structure.NEWLINENEWLINEIn Section 5 it is shown how the decidability of the monadic second-order theories S1S and S2S, proved by B\u00fcchi (1961) and Rabin (1969) respectively, have yielded interesting results about groups and automata. For example, Muller and Schupp (1981) have shown that if a finitely generated group has context-free word problem, then the monadic second-order theory of its Cayley graph is decidable, and Kuske and Lohrey (2006) have proved a converse of this fact. Also the Domino Problem for groups is considered. Section 6 surveys work on cellular automata on groups. Several results concerning the Injectivity, Surjectivity and Bijectivity Problems are presented. In the final section the authors review the basic theory of finite automata on infinite words or infinite trees and show how infinite games are used for dealing with such automata.NEWLINENEWLINEThe central concepts discussed are illustrated by helpful examples. An extensive list of references completes this captivating well-written survey.","type":"string"},"datatype":"string"},"type":"statement","id":"Q444388$31C8F7B7-7DD9-4313-A92F-4603BC666E23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7243928d3ff3b8ec49e863376d6adc778c7bebbf","datavalue":{"value":{"entity-type":"item","numeric-id":705541,"id":"Q705541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e655f84adb0c988b8f1b33217798a916a5d7cb2","datavalue":{"value":{"amount":"+0.8354820609092712","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":"Q444388$C73B88AE-1DD5-4A0A-9FC5-396408DA6BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a766c4bb62eed45895ed20f6b18a6876e4b100","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa5c627c5a4f34b39853ebaca8f30d9f5ba4f4f","datavalue":{"value":{"amount":"+0.824709415435791","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":"Q444388$E5E7AD97-4C05-4DF3-A1B1-697A8DE5E0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"156c551f4fe24afc2ab249a189d9adae71c3db17","datavalue":{"value":{"entity-type":"item","numeric-id":3806816,"id":"Q3806816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9421129184fac4cae3ef0d77e8566895a06629","datavalue":{"value":{"amount":"+0.8110294938087463","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":"Q444388$0E321237-7387-48D4-ADFE-2362856140A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0e7aedf405ec2e9f34ea26893a48efed8171d1","datavalue":{"value":{"entity-type":"item","numeric-id":4867134,"id":"Q4867134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00daa9df619e460f144e5f27e93e954a2fa4e442","datavalue":{"value":{"amount":"+0.8004578351974487","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":"Q444388$66C3F542-5587-4375-B5E9-BB6CC1FB41CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7064ba69a6773e2ecd34f5746737941f0513bcb","datavalue":{"value":{"entity-type":"item","numeric-id":685452,"id":"Q685452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232d2be65d84ab5cfe81e0a374cf35cdcc4770a1","datavalue":{"value":{"amount":"+0.8004575371742249","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":"Q444388$65872D23-3CE4-4AE3-8E57-081C640E4005","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Groups, graphs, languages, automata, games and second-order monadic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Groups,_graphs,_languages,_automata,_games_and_second-order_monadic_logic"}}}}}