{"entities":{"Q2413483":{"pageid":2424226,"ns":120,"title":"Item:Q2413483","lastrevid":78902204,"modified":"2026-05-06T12:42:11Z","type":"item","id":"Q2413483","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 6857795"}},"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":"Q2413483$F3C0ECF3-F89E-4E4B-9CB7-0AB4C1B46794","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"826a676655c44386b197652cfe31541c0d35574d","datavalue":{"value":{"text":"Parameterized linear temporal logics meet costs: still not costlier than LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2413483$610665DD-B7E3-4983-AE0F-3E0B598B1B16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15f7ea5b2d6bb9a77cfb6eac17e39dff4f0475ff","datavalue":{"value":"1390.68445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413483$1D824023-327F-4EDE-A64E-676CBDA12910","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413483$F29F004D-5B7C-49B5-A8B5-4EAE4D4A8173","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a7b04a932915a16080ff16768997e390c5868b4","datavalue":{"value":{"time":"+2018-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2413483$19D0A69D-9456-4511-9CE6-A8C7526F6CB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413483$9E6A2A8C-37BF-4433-8B1E-D6D513F3DDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413483$CC579704-B45D-459C-ABB7-2AA89B2BA787","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"990c4dee22d84557c8cbf46c234e07a0f37c50d5","datavalue":{"value":"6857795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413483$3C5EF027-1F12-446C-BB6A-062C96D814B5","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":"Q2413483$5FD41812-EF17-4173-8D63-570241A94B18","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":"Q2413483$7005A227-0C2F-4F02-97A0-75C84E0E76F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ccb9431385deb2c30013396f0927089027b43b2","datavalue":{"value":"https://doi.org/10.1007/s00236-016-0279-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2413483$B428C3D8-6725-478B-826C-C7F209AA402A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58087b1d32e105649a895fed7963b7031da1e8f2","datavalue":{"value":"W2963825040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413483$E5DEA8A7-466F-4E7C-8B93-0788E790BD95","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":"Q2413483$EEA23981-6A37-4724-8FF9-D31EB372FF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413483$FAFDA125-A845-4ECA-A26E-B0159BF7745B","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":"Q2413483$EE72CB56-1D49-46F3-976F-961187E4FB9D","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":"Q2413483$14EA4BD3-4B6D-4482-A368-EE275340DB71","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":"Q2413483$A2678C4C-F4E6-4F58-95EA-4C657D4C4BB5","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":"Q2413483$E110E4E5-FF91-4568-8F85-B76020F2025F","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":"Q2413483$3FBF74F6-B82B-4A04-9FFD-A4D27792A4CA","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":"Q2413483$4AF15E5D-FDE8-4B11-82C7-14C6EEBE43C0","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":"Q2413483$AF2DEA1D-5CB1-489F-83A4-3D76A363D498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e068afb0faa98d1c150844226e6b8fc7ddfc29e4","datavalue":{"value":{"entity-type":"item","numeric-id":3192209,"id":"Q3192209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413483$9A48FE9A-3FBD-4BA6-B4EE-FAB700834FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4cf0e5263f18d6bf7fc0d1be1bccdb7dde47a2","datavalue":{"value":{"entity-type":"item","numeric-id":2453980,"id":"Q2453980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413483$9F6C1F0E-AAF6-4BC0-8BE6-AE16EF1AC490","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":"Q2413483$4421A489-1929-4FBE-8C4F-D1F58AF89F29","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":"Q2413483$BBFFB237-962C-4EFF-9096-FFDB8E5F335C","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":"Q2413483$EA09B5FD-F562-44F1-BBF0-B7AB4501C360","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":"Q2413483$E93AE0E6-AE41-4F49-BE0F-5E4048173082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813fff4a50327a56d55d510380ed2e072fd352b1","datavalue":{"value":{"entity-type":"item","numeric-id":515660,"id":"Q515660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413483$96B8613A-0D29-4D3C-B519-73C73CC68C09","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":"Q2413483$72461FF9-1A25-46B3-8CB8-30578FB31E9B","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":"Q2413483$DF4BC076-378C-4668-A555-CAC68B8BA349","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":"Q2413483$5E83AE21-3C72-477B-8E57-7DF75B214B86","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":"Q2413483$BD950B6C-F96E-4735-B79B-053682C946C2","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":"Q2413483$D559D278-39FA-4721-8316-DF630CBD2792","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":"Q2413483$CDB1F870-4229-46D3-84FA-8275250C76F2","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":"Q2413483$065A6499-C169-4BE6-B201-393CFD87BF95","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":"Q2413483$E79B99FF-1047-4197-BE1E-D8FA6D72FCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d558ea402da8d7f46288b4be2f1f15402fc28e5","datavalue":{"value":{"entity-type":"item","numeric-id":5015286,"id":"Q5015286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413483$5E2F5C54-37A6-4DD3-A16B-D86DFADFF2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acfbb86f652e01890434b94fbb49e1c97c375169","datavalue":{"value":{"entity-type":"item","numeric-id":4636575,"id":"Q4636575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413483$FA0111CF-15DA-4B28-8C88-6A17670F04E8","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":"Q2413483$C34ED5C2-1FD5-45A5-BB70-E12B9D9B4EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05a1e13367c5b099cf67a4b7c9f0f5c102bb27b","datavalue":{"value":{"entity-type":"item","numeric-id":5013884,"id":"Q5013884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2413483$167B4F66-AE57-4CF9-A5C1-8BF7F7FDEFBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c3358a99004c6f250f2930c24da8d8f38430898","datavalue":{"value":"10.1007/S00236-016-0279-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2413483$3368918E-EB93-4C84-8D88-DD582D9B1477","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8546c89971d45d1dac4071208b610c3eba0260ae","datavalue":{"value":{"entity-type":"item","numeric-id":5013884,"id":"Q5013884"},"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":"Q2413483$CA9D3F58-1C53-4913-AEF4-74F95E0DC7C4","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":"0409dda870f5edc3db3d99b6e58eb14c5b472611","datavalue":{"value":{"amount":"+0.8336607813835144","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":"Q2413483$A025D66A-C833-4D18-8BCA-16768D0FB559","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":"c868b1474374e300bd5556910e1d2a243c1eaad2","datavalue":{"value":{"amount":"+0.8321646451950073","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":"Q2413483$BE243C3F-9429-45C2-BEC1-DCF6BD200EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c70bb0656c4dee6bb06692c5cc6fe9e08fc1f3f","datavalue":{"value":{"entity-type":"item","numeric-id":4938622,"id":"Q4938622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe413520c2665c23a4765975f6664c995516e269","datavalue":{"value":{"amount":"+0.831874668598175","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":"Q2413483$DA15AEDE-9797-431C-A1CC-EC66C51FBF92","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":"35863e2edfb1aaa9f3eec32d9fad7c256ca2fa81","datavalue":{"value":{"amount":"+0.831064760684967","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":"Q2413483$4ABA4B0A-E7A6-41BC-BE5E-4DBBEB2B7C7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized linear temporal logics meet costs: still not costlier than LTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_linear_temporal_logics_meet_costs:_still_not_costlier_than_LTL"}}}}}