{"entities":{"Q477204":{"pageid":478971,"ns":120,"title":"Item:Q477204","lastrevid":62118900,"modified":"2026-04-11T03:53:25Z","type":"item","id":"Q477204","labels":{"en":{"language":"en","value":"The \\(\\mu\\)-calculus alternation hierarchy collapses over structures with restricted connectivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6376192"}},"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":"Q477204$789FFFFD-66B4-459B-AF94-0E8134D5CB9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bd9496e7c38a1afb93a3f49b3f9e97f13d02260","datavalue":{"value":{"text":"The \\(\\mu\\)-calculus alternation hierarchy collapses over structures with restricted connectivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q477204$1246F1A2-E328-47D1-9A67-18DDDEC4F10A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fee2e4db7089426685040b86973078e37665e4b","datavalue":{"value":"1327.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477204$DEF1B6D5-EAB6-4167-A4FF-2AE40997DEF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c83e4af14bfe1a46b2cc1e1d2fe63d184f56896f","datavalue":{"value":{"entity-type":"item","numeric-id":345708,"id":"Q345708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$BE3F4128-5890-4D41-B933-191E66DFC1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b5808f251c37bb2de69a0629c5cb8c741b5006","datavalue":{"value":{"entity-type":"item","numeric-id":402358,"id":"Q402358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$5F745D28-35DF-4DBC-9695-1F4615FAD9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$AAB68E3B-05A6-464E-B8C5-7044F8BD2F6C","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":"Q477204$D3ED48D0-9FD2-4D01-BA3E-93C9D52F58E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73dfefec2f6ca5d698146ea0cb5593f631aa8cde","datavalue":{"value":{"time":"+2014-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q477204$961044A7-2916-4B05-955A-6D02B9EC6977","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fcfe0bec1888b10f52db738d3a824fd6f9fa1bc5","datavalue":{"value":"The paper considers modal \\(\\mu\\)-calculus, an extension of modal logic with least and greatest fixpoints of monotone operators. As shown by \\textit{J. C. Bradfield} [ibid. 195, No. 2, 133--153 (1998; Zbl 0915.03017)], the hierarchy of formulas given by the number of alternations between least and greatest fixpoints is infinite in arbitrary graphs. This leaves open the question of the infinity of the hierarchy over restricted classes of graphs.   The paper focuses on the classes \\(\\mathrm{BDAG}_{\\leq w}\\) of bottleneck directed acyclic graphs of width at most \\(w\\), which are directed acyclic graphs subdivided into layers, where every infinite path must meet infinitely often some layers (bottlenecks) of size at most \\(w\\). As a main result, the authors show that the alternation hierarchy of the \\(\\mu\\)-calculus over \\(\\mathrm{BDAG}_{\\leq w}\\) is finite: actually alternation free formulas suffice, that is, formulas obtained by composing subformulas with only least or only greatest fixpoints.","type":"string"},"datatype":"string"},"type":"statement","id":"Q477204$0319C937-C3DB-47EA-AC90-23D4C0A0E3E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a35dbfeed057011082c6d14b6c008c45f168595","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$532799BD-3FD3-4DE2-94A2-F0A2D1278250","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477204$02878F7B-B991-4B58-93E4-F55B6CF92C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477204$694E936E-86F2-478F-A363-C6BEF2AD329A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477204$1E2B0FB1-5173-420F-9704-16E887575906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477204$52B8409B-50A1-4756-8F24-11F8F0402CFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e06a6e69fa9ce757674631bd771237e7b480fe0","datavalue":{"value":"6376192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477204$1B7202C0-CCA4-4E6D-85A9-5D37055375A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q477204$B78020A8-1AFF-4864-90FB-B359688F7182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q477204$95D7391E-DB2D-4FEE-A0A8-8FF7AC37556D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085ef413298529287aada489e73f3fd01de600da","datavalue":{"value":"alternation hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q477204$D9514D92-F834-4B8D-8F18-2F27DED4F187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c20266b4690f90eb91dd776a8bed0fe154b8859","datavalue":{"value":"parity automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q477204$4AC477B0-307F-4FBF-AB68-7220A6F32FA5","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":"Q477204$C43E08B0-F449-4DCE-8D55-42BC529D0067","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0d4bba604e890634bdc4e51d986fc26ad51ba70","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.03.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q477204$12774170-DBD4-4A29-8466-017915AE8716","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0cd512907d04759499998a4cb9be77cede25145","datavalue":{"value":"W2962706960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477204$1468E1D5-4259-415E-9E04-53B123DDB456","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":"Q477204$15DA0FE6-2216-4CE3-9D5C-36004A8936BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe152d225aa7fd22548124305235260731e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$05F3B83A-C8B5-48AC-94DC-49A4B90BEC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fe83d0edc7c63a51553edbbb73a1480837d961","datavalue":{"value":{"entity-type":"item","numeric-id":649107,"id":"Q649107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$9B16CE3E-4587-4841-A597-01FF1185B9B3","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":"Q477204$B803317E-622B-4C9D-99AA-FBAC5E9ACC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$CFB5B39F-F8D8-41C0-94BA-4BD78883577B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598cc9ac60daae5a3ca3733d42d71efe166e3fe","datavalue":{"value":{"entity-type":"item","numeric-id":5493740,"id":"Q5493740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$7E920976-6EF7-4892-82DB-33795EDFBC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e006dd7060267eb8c241907bdad1e9a1d82bb80f","datavalue":{"value":{"entity-type":"item","numeric-id":3525656,"id":"Q3525656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$F94667A3-CACA-4532-9F37-7EB0929A7B31","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":"Q477204$7E16767A-2154-4B0D-8D5F-F886B3296521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b14ca4bd4280b253262c53bf2707644111b6884","datavalue":{"value":{"entity-type":"item","numeric-id":4943547,"id":"Q4943547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$EBF98F57-6520-4860-BE16-B8EB59F5726C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbeb9c71e6a2b7b0d29761fb36fdd974d315c83f","datavalue":{"value":{"entity-type":"item","numeric-id":4644509,"id":"Q4644509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$060D4BE5-8951-4EA5-A1F4-8B91E649290A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$D4B7E684-AA7F-45B7-B95F-099ED74D73DF","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":"Q477204$18C2CB40-0A66-4661-8F9E-DAB640142430","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":"Q477204$B9F3229A-C21E-4417-A3DA-37CFAD7B1C77","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":"Q477204$28B86D1E-9B29-4714-AC32-A815ACE26514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7767d2c25498f8f0baf99069a2003d615416c0c","datavalue":{"value":{"entity-type":"item","numeric-id":4986509,"id":"Q4986509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$FBFD9970-5E36-4C14-9958-DF63FCECFAA9","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":"Q477204$DA689381-A46B-4C78-847B-F4BC4FC7E3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fed9cf15ee0945976ffaf4ac5d5f4bc0454fa5","datavalue":{"value":{"entity-type":"item","numeric-id":1349728,"id":"Q1349728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$513FC9CF-A5D0-4E0A-9E51-DA05B8B48B92","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":"Q477204$D8844D5F-887C-4A58-B706-0A45C3D49226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f6f38a8c673fecf058f83d55e69e4ffaadc432","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$4608E696-42D3-437C-AB98-0733CB05D232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$8B1E2880-31EB-46B9-A1AB-9940838D87A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8150168d8295cf80bd4cb52b44dba3e5d9ea2a","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$BA974721-A778-432A-BA52-D055D908B30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa853dc52082146519bcf70a82325d270f5956a4","datavalue":{"value":{"entity-type":"item","numeric-id":4818826,"id":"Q4818826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$E339903B-80B5-400C-B015-684DDA9B39D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5cea71c6aacfcb4cc8bc4d70a2c543dbb0d272","datavalue":{"value":{"entity-type":"item","numeric-id":5408550,"id":"Q5408550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$996BAFE8-4236-49C6-AD2D-DD6C60CF1253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb9802831e4e534bc43dcf5fe696b33bff47bef","datavalue":{"value":{"entity-type":"item","numeric-id":4472245,"id":"Q4472245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$52F49A55-9F70-4244-B0AD-B027AA6A0146","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":"Q477204$8FCDBC02-EF81-4CCD-86E2-E57D88B7B5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477204$E059E741-531F-4AFA-8118-898BB0B86EA4","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":"Q477204$0CA30015-9298-493D-8A22-81B7AC6496C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fb82a4e20dd71616606df69f04aedc0a5ac3ec1","datavalue":{"value":"10.1016/J.TCS.2014.03.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477204$BAD04E84-0A7C-48D5-9D5D-CA060D47F875","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f1653b1ef089d87664d0e815c9beee6e441a30e","datavalue":{"value":{"entity-type":"item","numeric-id":4986509,"id":"Q4986509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e55b4e478fcd6a436760e4938d9a46563dbbad","datavalue":{"value":{"amount":"+0.937942385673523","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":"Q477204$A2D68D5E-6293-4B10-8D78-7853782FE8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a62eb90c970836fde89637acbad581b0274865a","datavalue":{"value":{"entity-type":"item","numeric-id":3655261,"id":"Q3655261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4d9176741f72e7bd412ef710bfd01d2237871c","datavalue":{"value":{"amount":"+0.8448929190635681","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":"Q477204$63F00485-D5F3-4928-8088-2F5C68320C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321a162f15494b7e79d442d0f154a127773a86c8","datavalue":{"value":{"entity-type":"item","numeric-id":5151000,"id":"Q5151000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146fc37451bd754c278e6b3d673ba4f86a02cd83","datavalue":{"value":{"amount":"+0.8400948643684387","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":"Q477204$8F536B90-5AEF-42E9-A40C-F2B930239ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915e91f4cb86fbfc97e6d2732f9265a075508ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f791435f11c5d2e49436301fb9ddb07ff96f8e","datavalue":{"value":{"amount":"+0.8253719806671143","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":"Q477204$AC07E1FD-1B05-406E-8A2D-C71DA2888E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e46850c67de63965207376a2071fa4f941b77f6","datavalue":{"value":{"entity-type":"item","numeric-id":6104376,"id":"Q6104376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f899823c6f412b86b412f455aae0d70920cee1","datavalue":{"value":{"amount":"+0.8252279758453369","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":"Q477204$A6C39817-FB9F-4BEE-8CD0-536597E8211D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(\\mu\\)-calculus alternation hierarchy collapses over structures with restricted connectivity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_%5C(%5Cmu%5C)-calculus_alternation_hierarchy_collapses_over_structures_with_restricted_connectivity"}}}}}