{"entities":{"Q1643142":{"pageid":1653883,"ns":120,"title":"Item:Q1643142","lastrevid":74209503,"modified":"2026-04-14T18:58:22Z","type":"item","id":"Q1643142","labels":{"en":{"language":"en","value":"The \\(\\mu\\)-calculus alternation depth hierarchy is infinite over finite planar graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6890630"}},"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":"Q1643142$A73B69F9-3FA0-4E53-8D32-7CCC5DD44C8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"170d0288a264f7f1eef38bf55712eb4cbc928a7a","datavalue":{"value":{"text":"The \\(\\mu\\)-calculus alternation depth hierarchy is infinite over finite planar graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1643142$9095A8F7-2B01-45ED-8C91-78F428B777C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"191cf33ac44b45a8b2e08c00baf941439d387dc6","datavalue":{"value":"1395.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643142$013123F8-08FA-41D5-8CB7-0683368A0F3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$EFC24BEF-B1BD-450A-AD71-6688F0762A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$5509305E-2EB2-4B8C-8FAE-8500AB016DA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$CBB3955B-0CDE-45B2-993C-32BDE0F350FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd17038de34ba641d5c32a5b9fe80d7d6b162e71","datavalue":{"value":{"time":"+2018-06-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":"Q1643142$FFB1EFDF-AD7B-4EAF-953F-29034216BE53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f74725ba28d954cf786662bc71fa5227e74c1f4b","datavalue":{"value":"http://hdl.handle.net/11390/1134879","type":"string"},"datatype":"url"},"type":"statement","id":"Q1643142$09E6283D-52C2-4DA8-A7CB-A95736A37DBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643142$9D5218B4-16C0-4961-9017-79A92D842B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643142$22F5F3D9-C4E8-4F10-B913-FB18859FDB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643142$A6F1EB80-4036-44E9-9142-E745E3B55FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"357c7c34a1a90d83243f17011b7aa90788d1792d","datavalue":{"value":"05C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643142$94817F4B-A363-4EFE-A470-1EFF1BE19567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643142$AF101BCA-32DE-44F3-A1B0-6C8BC4AE93A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643142$CF6AF0EC-676E-4BD3-8D52-C9B1745F5DD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e82569b39b7cce61bbc1f504b8cf4a90822573db","datavalue":{"value":"6890630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643142$D07AF106-FFD6-4199-BCB7-8BD81F64DEF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1643142$8E0B1C41-2E27-468F-BD99-DDB0EDE1A97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085ef413298529287aada489e73f3fd01de600da","datavalue":{"value":"alternation hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1643142$B2511662-B972-46CC-9146-EE1217458229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1643142$32DD817D-6E60-4D21-9039-337D8031572A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a602521768d4795b8ce801eaf970fa00075370dd","datavalue":{"value":"planar graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1643142$8F979428-401D-4699-8F5A-F572B27F5368","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":"Q1643142$62D78746-7B43-4C5E-8552-95024A419683","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22a43b1ccefd3bb6290c54c6447627e2580ad178","datavalue":{"value":"W2805621319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643142$C9D943A2-91D7-4A3E-AB8C-60FB791C87FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71300c9d6626c040c8b83b0552be673eacfb707b","datavalue":{"value":{"entity-type":"item","numeric-id":3655261,"id":"Q3655261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$CFAE6EDE-464D-428A-878C-A519BF00845F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8cb182758fb38507da200e061d13e9bc8ccafa","datavalue":{"value":{"entity-type":"item","numeric-id":4943546,"id":"Q4943546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$020F0046-C966-4D27-BADF-7C57D6D6B8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ff4f787fc7070b2b34786e80f0fcdbf8c04bde","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$E540F3DC-B4D8-4127-B1EF-139907144F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd4b3c16e04d37f0296fe04d9ec3d732c3ac2d5","datavalue":{"value":{"entity-type":"item","numeric-id":1929212,"id":"Q1929212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$1F7F0A5F-885F-4D7B-AF7C-03D6256CE18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba1b09f64c762fed1a65e45c4f5a343e83986b","datavalue":{"value":{"entity-type":"item","numeric-id":606994,"id":"Q606994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$DF804E26-A0A1-4E78-BDEA-850FBBA05A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bfac82cd31129956599e0ecaed80c1117ae6c","datavalue":{"value":{"entity-type":"item","numeric-id":5300576,"id":"Q5300576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$D7E1BD1A-B4AF-42C9-A5D3-B338A30E7669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3319c0d1a064b16db11cfb4f94b9fae4a6c52b7","datavalue":{"value":{"entity-type":"item","numeric-id":3454725,"id":"Q3454725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$40B48243-5E21-4636-B53C-10A7EEB69DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bffcfdc65c2a4a236ea3a2b5146ed684d3413aa","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$B5B266D4-54CF-4410-BD41-79520366B7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$54D4DFA2-CA4A-4C0C-81D0-BC70B282A7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$087D6B54-A3BC-468C-9A20-AD25B14498CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$378F5680-E2FB-4FC5-87F7-37F956291D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae818c40220ee473c4b8ee4bd0b29bbda50ee0f","datavalue":{"value":{"entity-type":"item","numeric-id":3154374,"id":"Q3154374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$28DE7B0B-CD2C-46C6-BC63-E0ED5914CD60","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":"Q1643142$C5EEEE32-54C6-4C03-B1E3-B246243D10B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383a3ca7aae52562570b64d9d10b45f0e5fd4501","datavalue":{"value":{"entity-type":"item","numeric-id":4593948,"id":"Q4593948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$4F6DF3D5-3942-45CC-B804-D7844CC1E3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1643142$20C7A2FF-7D32-47C0-B691-FF0B48E421DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ef8f5ec71f7e7aba066205b714ac237661d1070","datavalue":{"value":"10.1016/J.TCS.2018.04.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1643142$5DCB74A2-8DFA-4254-B6D9-07E838C7109B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(\\mu\\)-calculus alternation depth hierarchy is infinite over finite planar graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_%5C(%5Cmu%5C)-calculus_alternation_depth_hierarchy_is_infinite_over_finite_planar_graphs"}}}}}