{"entities":{"Q2904051":{"pageid":2914776,"ns":120,"title":"Item:Q2904051","lastrevid":42477052,"modified":"2025-06-28T13:36:15Z","type":"item","id":"Q2904051","labels":{"en":{"language":"en","value":"Complete axiomatization of the stutter-invariant fragment of the linear time \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063262"}},"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":"Q2904051$7FECC07B-5C7B-4424-914A-2C3B6D6FBF47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"838ae2e4fd2e3eae633a82a1349f019fccabc0a3","datavalue":{"value":"1254.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904051$CFF53712-44AF-43C1-B209-E3CC8BACE826","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a92956f3d5969caeb4388629cbd8b7b3db17345c","datavalue":{"value":{"entity-type":"item","numeric-id":269318,"id":"Q269318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904051$883B7040-40B0-4533-91D1-28329ADC4351","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904051$84F6CD41-32E9-497C-BFDD-7B7DE9EDDDE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904051$B259D174-C3A5-4BE7-8F4B-F9D03548491F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904051$A08C886D-9A5A-4E1A-9D7A-9CBB10BCDA44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a5a40a75b7cc372d7358a7fa288dfafe81e6849","datavalue":{"value":"6063262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904051$D1183E21-797A-4705-85F4-925B206E9D97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aec02039dc2a631bb211879f7453aac3989c5ee","datavalue":{"value":"modal fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904051$B9DAA6A0-CE42-4852-9D25-4A07100AE5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904051$342E47F2-A1CC-4FCA-BB33-C82554CF918A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eb18b6b8f4efa7f51e4ec7becfbaf00147643c9","datavalue":{"value":"stutter-invariant fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904051$5D718290-215E-4C21-A58A-3FAACCBEC451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066f088c07686fe69b21f62bcb2f5deaad8aed49","datavalue":{"value":"linear-time \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904051$53657583-77FF-4373-94EE-AD4DCF2AD0C7","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":"Q2904051$6C54F43C-DA83-4856-9BAD-A23777638E26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79214af768596456d18635cc590eec2201e08a19","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4a264611894dccad937a7c00b1f070d538c456","datavalue":{"value":{"amount":"+0.92007214","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":"Q2904051$F47AC750-E038-48BE-B19F-A4CBCD46D068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6def29c8473e82c891650ee23e5458d6b36c19c7","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fa576214b45d541aaaba4e57ded6d6da6c5841","datavalue":{"value":{"amount":"+0.9002621","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":"Q2904051$9337244A-0A26-41DD-92C0-68B733750865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db7617df6c23cf77f932c20c0ae71dc8a1dde0a","datavalue":{"value":{"entity-type":"item","numeric-id":3406322,"id":"Q3406322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e8db0cdcb3df3f23768722959041bf1bb5f49b","datavalue":{"value":{"amount":"+0.89389926","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":"Q2904051$B0558905-E73C-46E5-ABD3-989E8286A2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e11bcd41e83c5baa5f190dac5c64fb23793e23","datavalue":{"value":{"entity-type":"item","numeric-id":2817904,"id":"Q2817904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2d2cca2f9492f103dad362531dc97a4dbff0ea","datavalue":{"value":{"amount":"+0.8913805","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":"Q2904051$0EF66041-ED2E-4957-BF83-F37482704013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6b19e63f195733bce0defe24f92828ca2bf63f","datavalue":{"value":{"entity-type":"item","numeric-id":4635894,"id":"Q4635894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63ecc175b885825225c4cc5e9dd035b963e6b16","datavalue":{"value":{"amount":"+0.88298464","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":"Q2904051$5B4AA400-5A4B-44E1-B2C2-48E515ED559D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc1dcb5932107b92bf8d8ba62a0592b90010288","datavalue":{"value":{"entity-type":"item","numeric-id":4660260,"id":"Q4660260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4162c0e8f69d0a2acfd24621615dd15bce6f750","datavalue":{"value":{"amount":"+0.86803377","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":"Q2904051$5B631AD9-A5BC-49A1-9BF7-E5A57B94DC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c574596e906e3bb9f403498be27948ba44e4af","datavalue":{"value":{"entity-type":"item","numeric-id":4501577,"id":"Q4501577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2b236c0a3a0b984d541606b16545387e02ef29","datavalue":{"value":{"amount":"+0.86218894","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":"Q2904051$35912E8D-1977-49A8-8480-83037A9B77F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c51ca78fd2f7f901011ee5beb79dd03c3e3a0","datavalue":{"value":{"entity-type":"item","numeric-id":4812313,"id":"Q4812313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7b6095bdbe140e612440708b734505dd7ceb22","datavalue":{"value":{"amount":"+0.8573808","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":"Q2904051$276DB35A-5121-4741-BA86-1F66A417B7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06be7117c7b6709d59ef3f418372bd87006b61d7","datavalue":{"value":{"entity-type":"item","numeric-id":294841,"id":"Q294841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5bf9fc4c8fc6492d051b3e27833d8ebc18db43","datavalue":{"value":{"amount":"+0.85724336","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":"Q2904051$C2F7F913-9759-4724-8C95-A0F1F52E3465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d12e519a9eebe8e958ccfda95a7aac27d5398c","datavalue":{"value":{"entity-type":"item","numeric-id":4817547,"id":"Q4817547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cab2fcc085414c042299de9c624b1595e45ad36","datavalue":{"value":{"amount":"+0.85600394","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":"Q2904051$7009434F-A49D-4545-9AB2-2A302A551396","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"971abb8997db9d35fea382a9202cd7f5ce2bd484","datavalue":{"value":{"text":"Complete axiomatization of the stutter-invariant fragment of the linear time \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904051$17EB1FB2-1854-4C01-AF19-0C27BDC2153A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904051","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904051"}}}}}