{"entities":{"Q5013884":{"pageid":7043461,"ns":120,"title":"Item:Q5013884","lastrevid":58404219,"modified":"2026-04-05T01:50:54Z","type":"item","id":"Q5013884","labels":{"en":{"language":"en","value":"Parameterized linear temporal logics meet costs: still not costlier than LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438574"}},"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":"Q5013884$4BE8CE1D-75CB-4473-8811-058BB184B6AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67755f37009e56fa988197543017a84286292e34","datavalue":{"value":"1476.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013884$050BB7DC-8870-4B03-AC7F-C70D7807A14D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$090BF40B-059A-4A73-80A0-40062F487DC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013884$37CADAB2-1B63-4047-8690-DBF90793BEC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d20c5222acffd25f7626a41991bca23ef616207e","datavalue":{"value":"https://arxiv.org/abs/1509.07206","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013884$4906CE08-0797-411F-AD75-FE2F69630AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d55f754a8a7628120b9622d2ba3adec3b89aad8d","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2015.11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013884$198C17EA-918C-4F13-A2DA-6A0254A9E8B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013884$B6CCF854-5E63-4C86-AD4F-56FBBE9913FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013884$C86E1C8B-5D9E-43E9-B764-89F1BECC42B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a72ad75c012fe14671025c8efab1b3e1323e95a","datavalue":{"value":"7438574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013884$46A5EC8A-0736-4789-B25C-3ADEC6EC1A3A","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":"Q5013884$E614B43F-206C-4FC4-B322-B6406B568B35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d86939d9b9794f52fb929a0479751d9d0f6b81","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$95DD3012-E8A5-40D1-A421-CD3886F02108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6b203ccee89cba0fc5313f7a0f776d40ce0008","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$0E09D2AB-9BC6-4291-B11C-6C341ACE8146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39921ea5b5cf71915749d2f66167648a28ef38f4","datavalue":{"value":{"entity-type":"item","numeric-id":5311284,"id":"Q5311284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$4DADAD0A-D378-4D90-BBB3-CAC90FF6D86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a9e72cc7a907f4e0cc2ac1d393b3b2128916b1","datavalue":{"value":{"entity-type":"item","numeric-id":537919,"id":"Q537919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$1DECB765-755E-4B6E-8978-F0F057D51CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc345e4f187b136ccf0ef87dfd35fd64a8775d8","datavalue":{"value":{"entity-type":"item","numeric-id":5167825,"id":"Q5167825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$5DC1C082-7661-4823-AFBB-9FB3B05A364B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3faefa91cb38d80ce0012441421cdf35901930","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$E69E7BBD-F351-47F5-B084-EA799039CC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704863479bad5c6291cd0cb94c7924bfb7a989f0","datavalue":{"value":{"entity-type":"item","numeric-id":3587471,"id":"Q3587471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$65F5CAA5-212C-4870-9067-BFC35B61F95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0724f03c880da110db2d809a33869a75cb2872","datavalue":{"value":{"entity-type":"item","numeric-id":2946587,"id":"Q2946587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$7F374528-9042-4A8D-A968-2185DD1ADB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e704fb638d95f1bcc78a135879eb664fed222e46","datavalue":{"value":{"entity-type":"item","numeric-id":5897449,"id":"Q5897449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$56585A82-1A20-4EDA-88A6-934AC6CCC474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fd71d501375c7cdb9c222ae894011237990a73","datavalue":{"value":{"entity-type":"item","numeric-id":3638091,"id":"Q3638091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$5FE8F273-5FC7-4AB9-924F-EDD57D4150E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277c213e67dfede245e758c3f82c84c76591df43","datavalue":{"value":{"entity-type":"item","numeric-id":4995359,"id":"Q4995359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$7CAB4A13-CA08-44B7-892A-1EFE3E3864BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b86e67b2a6f8cdf93897e49fb312dc5e360f35","datavalue":{"value":{"entity-type":"item","numeric-id":5495107,"id":"Q5495107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$EE4B1D68-1CBD-4788-A570-6DAB8E82F24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$B8FE7330-081F-43B7-A4FD-38CFB6D2AE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01840145b645722449aa29d23c00ba5f807150","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$F1D7FF95-9059-4A4A-8842-0DEE1023C3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14c09f16da91cec7573c8cf328cdcc7153dcc5c","datavalue":{"value":{"entity-type":"item","numeric-id":2870156,"id":"Q2870156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$1699C046-8920-4A82-82D9-B7C2F48CB92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$09035A9B-2A6F-48D7-8C70-4D72AA9792D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745077e22ddc390f24ea65ee95fe67c9ea537546","datavalue":{"value":{"entity-type":"item","numeric-id":5458856,"id":"Q5458856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$97159F26-9CBC-46F4-B186-633126A9B648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$14035ADB-BC02-4237-81A8-627E495E0814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f8433d7b56bf02dc00f5e3dccd6958a8508c50","datavalue":{"value":{"entity-type":"item","numeric-id":3088073,"id":"Q3088073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$867FB5D1-68A2-4E0B-B4F5-F065EEF38A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$B45D26C6-D35C-462B-AC4C-ACA3071B6D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$87AE2454-21D7-478B-B863-BFBC06B5641D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6140a42fad55028ab35be908c58d4b6964b7180","datavalue":{"value":{"entity-type":"item","numeric-id":391106,"id":"Q391106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013884$F2E54F16-93C7-45FD-8BE2-31FB64CD66EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865c2cdede03d04e51c7b6d24ade47f32a6a5c9e","datavalue":{"value":{"entity-type":"item","numeric-id":2413483,"id":"Q2413483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9613ebe51f1d6c12e56c0f884faf8e31ceff80f","datavalue":{"value":{"amount":"+0.9993368983268738","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":"Q5013884$101DAE9B-CF19-40E8-9D18-0F867D42C7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd65ad7bfd187efe13f162e56ad527a4902516bd","datavalue":{"value":{"entity-type":"item","numeric-id":515660,"id":"Q515660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9596bf69d7c5d97675730a61998e500806da4822","datavalue":{"value":{"amount":"+0.8345840573310852","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":"Q5013884$B0B88068-0F7D-464D-BA26-286A3DF82B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b1ea8e9e18582c65211733f1f7513c7253ac3c","datavalue":{"value":{"entity-type":"item","numeric-id":4995359,"id":"Q4995359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e4f3fc0d83b59c52f1d34f270dd8f198fb3e4c","datavalue":{"value":{"amount":"+0.8327177166938782","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":"Q5013884$8B8F5845-9988-420E-B895-3CD7D436B527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0c65a45deca12a034666a182ca52cf1056909e","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654ca6753dacb24312bdceea4a7bf214aa7b54f7","datavalue":{"value":{"amount":"+0.8315994739532471","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":"Q5013884$BE5968F9-1781-4CF4-8FAE-A5B97A40AFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53152e665b84e5a84061d2dfca1ecafe6be4fdd","datavalue":{"value":{"entity-type":"item","numeric-id":391106,"id":"Q391106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da31ff8a972913522e36ec03937be13fda91e54c","datavalue":{"value":{"amount":"+0.831109881401062","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":"Q5013884$C6E8FF47-8F5C-4801-9EEC-918CB175C78B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013884","badges":[]}}}}}