{"entities":{"Q1960425":{"pageid":1971167,"ns":120,"title":"Item:Q1960425","lastrevid":72034305,"modified":"2026-04-14T02:13:29Z","type":"item","id":"Q1960425","labels":{"en":{"language":"en","value":"Bisimulation-invariant PTIME and higher-dimensional \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1387352"}},"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":"Q1960425$69E2FDEF-6914-4424-A29C-B74CEAA11EC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75dcbae90b157d6ef87f46ce0b6a4db15adc6058","datavalue":{"value":{"text":"Bisimulation-invariant PTIME and higher-dimensional \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1960425$EF6116D1-48D8-4D78-966D-F1C554280BAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7724158ce55f8a4cf097bb3dcaa123f1b9cfc53f","datavalue":{"value":"0930.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960425$A0A91BC9-EA82-4156-A60E-B6CED3250BD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdcd9133c76daf593cf2302931e5bc0f565391b6","datavalue":{"value":"10.1016/S0304-3975(98)00314-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960425$382E9F49-F6C4-47F6-8783-0197109ED29C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$3FF6E1D1-C103-4F3B-83D7-F73F3C2CF307","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":"Q1960425$F3B35F11-74EA-46AA-AA3C-15F0B0072704","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1960425$5584FF91-5C41-448A-8D3B-173485323AD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960425$3C638194-EC53-4BA1-A577-D9C351DE1A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960425$9604A802-54DF-4B24-AE3A-4044D17E2AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960425$FAC94C6B-395C-4EBF-B585-07147DB3371B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960425$3FF71D6D-88EF-46D5-86A5-C3A902517EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960425$F9A359EF-75BB-444D-B506-60E221FB0E9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43a52713b3a571cd740ebb80c3f43a3b01109ddc","datavalue":{"value":"1387352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960425$798479DB-E0BD-47DA-92CC-387DD12101E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b9c3129bc75f74a3d63fc5dc8ecae341b288e4","datavalue":{"value":"Logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960425$C732CAFA-5B31-49BE-808F-2032EB587DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2509ce734c1f121f948a7aebecedc1f6d73c34c","datavalue":{"value":"Finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960425$768B1E8E-9388-4D77-9A17-AF8D73717A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ecb0f0f4dcd6bbcbb8cb1391a82c865f06ce566","datavalue":{"value":"Modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960425$B812A156-396B-4F7C-9414-F28564B3CA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f5939a03730f2cd62af91dad3a0718a27a1882","datavalue":{"value":"Descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960425$48BC0CE8-B8BE-48A1-8891-D95C01DA6546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b05aa41ae8dcaf582e1cb90d583fb75c50c2e6e","datavalue":{"value":"Process logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960425$07C97C6A-77B1-40D2-BB8E-D05DF644E00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960425$49E16DCD-DFB9-4942-A9C5-B44DE74A684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7602570b82ef0158cc60f2160ed6ebb14bceeaad","datavalue":{"value":"worlds in finite Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960425$E78EE441-CE9D-46D9-87E4-3448760734D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78d58edd0e109e1d2aa63f6c2e8c0e64f62c46c4","datavalue":{"value":"states in finite transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960425$FE22379E-A328-4714-942B-4977F0570F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960425$4017AFA4-14F7-49C5-B510-6AE89871C475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960425$23BE3A0F-48B7-4715-806F-3BA2570A83C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc078cb63e2915645cf83cd509e87777975b0cc","datavalue":{"value":"higher-dimensional \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960425$9C2CD854-7CD0-4C85-B390-FAA573B9AB4A","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":"Q1960425$F2EDEFBF-5794-4A2B-8BE4-6C605D60DF66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"376b8313a9833c6c501303e34b9c0ac757a0a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1203120,"id":"Q1203120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$D6415CDA-B5B7-404D-82C0-CA0E9D5CA285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea3453e5c176df4414e4e8e6f090eb047e08d96","datavalue":{"value":{"entity-type":"item","numeric-id":4262591,"id":"Q4262591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$D6D17337-8538-4712-97D7-03B57D80530A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$9C4744DE-2710-4BA5-99FB-A8A5E4788A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a9eb08fc90c83f2b9f9e481072b744228123b0","datavalue":{"value":{"entity-type":"item","numeric-id":1267083,"id":"Q1267083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$9A5501DB-701E-4F6D-88BB-3E29595D1144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02511378c0bada2e67d0c0bd0d7a95b11b3c3073","datavalue":{"value":{"entity-type":"item","numeric-id":4065514,"id":"Q4065514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$C505370A-D792-4E91-A95F-C74B2AA92B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$5BAD45CF-E0AC-4455-9CC8-A6FA07442D38","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":"Q1960425$3FF4C2E9-051F-403F-A81B-49AA7D187F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$76AA9807-5C9A-4C38-B5E6-48DD4100606B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$67B1FD42-4A02-4E9F-B55D-31A829EA34EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ecf2a58a0d285969621dcb728618dd85cd1088","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$A6552840-3458-41CB-8E2F-93548212B38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$844EB035-48A5-4B34-9E42-4D276061DE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$8461CB3B-882A-402E-9E46-924CFAD516EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88180206b38ed0439d98f1638d02f25bc153ff45","datavalue":{"value":{"entity-type":"item","numeric-id":4283240,"id":"Q4283240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$4C6A0F80-B14D-4791-B9A4-84BEA5FBF569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535dc5607b9a5698832e0f28acbbb8d60feb7628","datavalue":{"value":{"entity-type":"item","numeric-id":5048929,"id":"Q5048929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$E6B0FA50-E8BD-445C-93A0-A7E08EFC1DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad9f193d7f99d60421d2d4b0e291b7be2d43c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2556400,"id":"Q2556400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$3EA16303-93A0-4C53-9B53-41FD1D68EA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$DB5A8271-C54B-488D-9F2D-75231CCA4E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$F66F391D-866E-4895-AB9A-4832EA994BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$66E1A621-340A-41F6-B667-F402B7BE3C54","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":"Q1960425$C7A9913C-5942-438D-BAF8-2C649746F220","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":"Q1960425$3A17E815-DA32-4A15-96AE-9885FD791ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$3DB35EFC-7C39-435C-9F2E-38292908C7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48ab9b171125f2901a59d92ccc66a2bf9cf3e04","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$1C097B38-C2C2-4C3D-A8EE-40E93560C7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$8679AEAE-E555-4B45-BD63-9505128E520E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b978fc5f442cc29d1a51f35c37ee5878e0c2b3","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$0A01A3E4-0085-4A5C-9335-7FEC0B8C94D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f17915b630fcfc2056b24018b0d663ac30250141","datavalue":{"value":{"entity-type":"item","numeric-id":1361251,"id":"Q1361251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$A7777C66-B7AA-44D7-976E-42A29AE7B30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2b34e461eab810df1a7feeb70aed6de9a712b5","datavalue":{"value":{"entity-type":"item","numeric-id":4332930,"id":"Q4332930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$DCF51F02-1D6F-4F20-8124-A6E93C8BBD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea37ba65614326d3188ca816b99f878a41861800","datavalue":{"value":{"entity-type":"item","numeric-id":1306792,"id":"Q1306792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$940640CA-1F5A-4280-8308-C05BEEADACCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$EF23590D-61C2-4582-A42D-2D802F80666F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6933928b7764ac7fc5e4c7c3509ae724a6a0a00a","datavalue":{"value":{"entity-type":"item","numeric-id":4376058,"id":"Q4376058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$9C46D5CC-EF11-4CDF-B3AF-A4B92F486516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960425$1B830116-178C-4310-81EE-C2FB98AAFEB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1243787795cecf85cbba1c86fa58fff50dabf2a5","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(98)00314-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1960425$DD24E355-FF11-4ED2-80B7-CE46CD558416","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e48339cc025ea51969b4e4c87bcbd33fa55d7651","datavalue":{"value":"W1981996395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960425$9DDF112F-E56B-4C45-BFBA-0D5EE4B8B5DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4b00b144cf9d247cb78cc4e04f683384c83852","datavalue":{"value":{"entity-type":"item","numeric-id":4376070,"id":"Q4376070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cd326a957379e4e9f080aa947cfd953712663e","datavalue":{"value":{"amount":"+0.9313355088233948","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":"Q1960425$9AA7C044-FB5E-46D7-BDB5-2826A910F478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceffdd329b916bec937476626c5b94b07cfb8d45","datavalue":{"value":{"entity-type":"item","numeric-id":2182315,"id":"Q2182315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e311426e72de99adc4f2dcb95546e4b52e5d06a","datavalue":{"value":{"amount":"+0.7956133484840393","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":"Q1960425$90955516-4ECF-4DF3-B771-77DEF05F5B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b416427a4304b1f4d23bb76171b3eb488a30d682","datavalue":{"value":{"entity-type":"item","numeric-id":5854737,"id":"Q5854737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ee9e3cba2127737c996e4d72f96e800b34de9c","datavalue":{"value":{"amount":"+0.7949364185333252","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":"Q1960425$08C3F48F-5B60-4F62-BE83-01468BB77186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552540bd19fd2c98cae38058546fbc7313f08df3","datavalue":{"value":{"entity-type":"item","numeric-id":5002802,"id":"Q5002802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb54bcd01effdfc2bb02e122d102cbc0812bbb3","datavalue":{"value":{"amount":"+0.7948870062828064","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":"Q1960425$0144A25A-A6F2-483A-965F-E501AB4BA651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b351339541c6fc0290716dc09d75d8f92cef7bf3","datavalue":{"value":{"entity-type":"item","numeric-id":5465855,"id":"Q5465855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ac7093154b8e799f8c288366c8dce4d871e70f","datavalue":{"value":{"amount":"+0.7781630158424377","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":"Q1960425$E6E778AC-A2A5-4A2E-A486-509CD3449151","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation-invariant PTIME and higher-dimensional \\(\\mu\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation-invariant_PTIME_and_higher-dimensional_%5C(%5Cmu%5C)-calculus"}}}}}