{"entities":{"Q549180":{"pageid":550947,"ns":120,"title":"Item:Q549180","lastrevid":62671731,"modified":"2026-04-11T07:40:23Z","type":"item","id":"Q549180","labels":{"en":{"language":"en","value":"A linear translation from CTL\\(^*\\) to the first-order modal \\(\\mu \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918231"}},"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":"Q549180$7854F125-3415-460D-80B6-518B1C8FE5BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ca7b374dbe6f00e87296ccd8afa589330adcfe0","datavalue":{"value":{"text":"A linear translation from CTL\\(^*\\) to the first-order modal \\(\\mu \\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549180$16014623-5812-481E-B124-0B2B554AC3BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd65f70ad54d3b7fcb889eedb14872b28964e089","datavalue":{"value":"1216.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549180$4660AE03-C728-4580-8543-9B1F3E9D8BF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46daa8b5b34dc9202987ce3d2831916e56a6940","datavalue":{"value":{"entity-type":"item","numeric-id":549179,"id":"Q549179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$A25F9489-FF35-48AC-A701-8B2100E329A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$4ABEF450-3FBF-46FF-BAFE-3A074B2DA309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$95C110B8-C7A7-4633-96B7-24188789CD86","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":"Q549180$CECF5C91-CCC2-47D2-B991-FB7ADE9E4444","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549180$B4670F01-A123-4ADB-8B53-0C9F69846C0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549180$A7E6A575-0986-41CC-B073-01748E980855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549180$B5EA0952-A4E3-4113-A944-D042A35BB1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549180$E98E1C84-75B9-4850-A971-AAAA4F5E2C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549180$B8CF00B6-92D2-4F00-8050-561A199909E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb7d51d5d9e9e6cf1df4d89dee94b2477643f677","datavalue":{"value":"5918231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549180$2F6A71F9-45B1-4365-A355-D801FC586F1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70385047063e32e899a03bc21d34ece5ee0e5655","datavalue":{"value":"modal \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q549180$7FCE7C82-AD50-433B-B737-2D25EB004ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c3e726e7233c653e2d8ea6e739587629f3f3b9","datavalue":{"value":"CTL\\(^*\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q549180$1F187986-55DF-413C-924C-ECED93B65F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q549180$B4F132A6-14F3-4B70-BAD0-F968D9EE9A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549180$7F6D14BE-D2EA-4072-AF60-D3108488C8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q549180$43FA645F-467E-4E52-9590-B5A028112508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8a008bb72926859d0aa388398f4b8010438409","datavalue":{"value":"linear","type":"string"},"datatype":"string"},"type":"statement","id":"Q549180$51E73A0C-B0BC-4F23-B42B-EF214FE9627F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$A1425682-5E2D-455C-8035-A31F82980A16","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":"Q549180$FC8B28CC-5666-4F1F-8126-398D7E1BEBEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e67499c67c278d5e1a7fcd567e0f1c0ab4557b5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.02.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q549180$1CE32116-7B05-4F70-BC04-B7001A573710","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae9460753ca06247fe63deeca2bf442140fa32a3","datavalue":{"value":"W2123814533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549180$80047F60-77C5-4A08-8526-693072A47FDA","rank":"normal"}],"P223":[{"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":"Q549180$B8813BCF-058F-492D-9BD1-98E42BA3C1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$F34961EB-90DE-47C3-A87C-902E0C81202E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0c19fa5bbd98e1c9915eefadfb586ac1b37fcc","datavalue":{"value":{"entity-type":"item","numeric-id":799361,"id":"Q799361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$F0694108-5D2C-407D-B47A-A2E02CF69AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8e69ab0193656de05f0d276585a34718bfb71b","datavalue":{"value":{"entity-type":"item","numeric-id":5505619,"id":"Q5505619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$4427FBE6-C464-44D6-AF78-7126646B4EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$1BF006CC-CB70-4827-816B-46E914FC9799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c243869ba0963401792b9d55bbba80b8cb068d1","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$5ACAAD64-ACCD-4C7C-A180-81EC39C1C820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c26339b96000a90f5ddbff5d8b6fdd4de854f9","datavalue":{"value":{"entity-type":"item","numeric-id":5395126,"id":"Q5395126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$0B172659-1930-4899-A018-ED2E69A4DCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed8c406d428f511f7f2fcb0abb354fd8a053516","datavalue":{"value":{"entity-type":"item","numeric-id":4250361,"id":"Q4250361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$B10A4817-B13B-4C73-A46A-710A1A124E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8afc731e5d6441c56e3bb93a4e64b3b4be6b74","datavalue":{"value":{"entity-type":"item","numeric-id":3614665,"id":"Q3614665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$615D9FFE-3E8F-4E2F-A8B6-C2F190176346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78a3a50de3ff9fbe1c2ef9d48d581cfc82992e1","datavalue":{"value":{"entity-type":"item","numeric-id":2486254,"id":"Q2486254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$B41D43B7-397E-41B0-A2D7-F842DC9E5113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23c0356f00997568a4551b3bbe478c9e8f6e2dc","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$CF1BABAC-3B75-41B0-ABA8-C599F7F2164C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$AF95205C-4968-4982-B670-B112F196D1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$E385E2FF-5D4D-4BF2-8FF0-0D54AF1C565E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$006590C5-387D-4FAC-9806-02E231F87498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549180$96ACB761-413E-4467-9A2A-179C2AF59C95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2edb77b97ba846a35d651fc242d7ec062f7d671f","datavalue":{"value":"10.1016/J.TCS.2011.02.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549180$0F498AF3-A9B8-4104-AA7C-5F436FC08514","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0097733e53f34c91e9979595d256b692a2dea2","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c337e035e2762c1f8e95865b9368f84c0594153","datavalue":{"value":{"amount":"+0.89145964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549180$496C68A8-C427-4AFC-82B2-05163A6BB90C","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":"8d92b34ff3b03a116030f89a2fb580b04c64023d","datavalue":{"value":{"amount":"+0.8823867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549180$4AD1E736-C31E-47D6-B65D-9EC9A81DFFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1ca4040b354cdf0d9ff0e3012f34bdce31cc5c","datavalue":{"value":{"entity-type":"item","numeric-id":4954443,"id":"Q4954443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8ca8a07132209194325adc37584db928208d46","datavalue":{"value":{"amount":"+0.87849176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549180$514B7BE4-E95B-4145-9F62-9B55FEE6B025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38915fb500db36fae49e5497c978f021914bd8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3520232,"id":"Q3520232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc49492e4ecb756aee90f9f386a6d5bfa0702f4","datavalue":{"value":{"amount":"+0.8784835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549180$67BF9359-5305-4BB6-8A80-BA9C90C8057A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe943cbf6e238a22b9a5983cb2e1f12e06be1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4644509,"id":"Q4644509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdf8d2e94a6a69c61229be9d91205a67aa11372","datavalue":{"value":{"amount":"+0.8752948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549180$FF5E9557-97B6-4172-B113-A89FE6BEE9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a54c327bdbf1f57d22c9880c6434d569f21b40","datavalue":{"value":{"entity-type":"item","numeric-id":1706163,"id":"Q1706163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95fb8e610e400002a8e8ccbf18524a5524dee03b","datavalue":{"value":{"amount":"+0.8748901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549180$73C07E34-8F8E-41F1-8BB0-F84F3F30F7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab85d884f5a1596fa8d56163c66e9b4109ccd62","datavalue":{"value":{"entity-type":"item","numeric-id":4457453,"id":"Q4457453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d032b2076a6e953c7cd9e21d36b43f54e779701","datavalue":{"value":{"amount":"+0.8686381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549180$EE32B965-6589-4529-B2CA-5BAE32BA5D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d52aa73253fb0318344b3838828c6747f40f13","datavalue":{"value":{"entity-type":"item","numeric-id":4263154,"id":"Q4263154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbee8a7b44d13903db6d1683e3aec63bf6d78a51","datavalue":{"value":{"amount":"+0.86819303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549180$8B1A5309-0F76-4D7C-81CA-F15D00044FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2869df01c614b6cedab638e72c556a862bbd265a","datavalue":{"value":{"entity-type":"item","numeric-id":1854404,"id":"Q1854404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f3a9169309478ca9e65f826e14830b8dea255a","datavalue":{"value":{"amount":"+0.8636507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549180$46A42F3A-268F-4179-A316-2643171013AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a8c0b4de7ee56825982eafcdf16c0418b3cda","datavalue":{"value":{"entity-type":"item","numeric-id":4593954,"id":"Q4593954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713a81c8dc88ab38eea07ff0f362d9512ea37c58","datavalue":{"value":{"amount":"+0.86195207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549180$580CFE71-EA7A-4A71-A8B7-BDAC483D569C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A linear translation from CTL\\(^*\\) to the first-order modal \\(\\mu \\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_linear_translation_from_CTL%5C(%5E*%5C)_to_the_first-order_modal_%5C(%5Cmu_%5C)-calculus"}}}}}