{"entities":{"Q391106":{"pageid":392873,"ns":120,"title":"Item:Q391106","lastrevid":61528173,"modified":"2026-04-10T23:57:20Z","type":"item","id":"Q391106","labels":{"en":{"language":"en","value":"Optimal bounds in parametric LTL games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244020"}},"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":"Q391106$C26A7950-BE96-4D1B-9645-E4BADA9D3A79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b6a3bdbc4a97eb73068defd48dcc82140b9b50e","datavalue":{"value":{"text":"Optimal bounds in parametric LTL games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q391106$9683E3B4-2106-408B-B09B-CB8067B21C04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"832237a19cc8361898ea60a9f1aad13601811b85","datavalue":{"value":"1296.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391106$EE15F545-C349-4EA0-B2B2-0588EFA8612A","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":"Q391106$6AD5C6FE-D357-434B-BA1B-BBE934478540","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-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":"Q391106$1E0F75FA-7B88-4CCD-8544-A9B98BABDC48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391106$51E45460-2590-4AB2-AE7D-DE4CFAFEAB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391106$E19867B6-F6E3-4103-8BBA-47784B6C278A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391106$BD693085-3A56-4051-A3E0-DBF5FC162273","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00e67af102ae622fc67c3f1b4ac70eea5d92e90f","datavalue":{"value":"6244020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391106$0ED15652-6406-4E74-8ED7-4028CB6AABF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9990370dd0c067c8312dfaca782543e55e0052a7","datavalue":{"value":"infinite games","type":"string"},"datatype":"string"},"type":"statement","id":"Q391106$32F34E03-48E7-4817-A33A-CD0563233443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2754e552ffa760728e96ecf50df351a0ea8834f","datavalue":{"value":"parametric linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q391106$81B92B5E-B7CD-4341-8565-2AE409D32D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45e504fba516959c56dc03025d39e14c0122e013","datavalue":{"value":"PROMPT-LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q391106$65EF6F82-2F16-492D-A36D-D7F00BE0FD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfb0b41503637d2e4c86fbaeccc405a53325a5f4","datavalue":{"value":"optimal winning strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q391106$D1C1ED57-40C4-4EA3-B105-D6F6532BF9DC","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":"Q391106$8D0BB57A-3383-40E5-B9DA-9738E4A1FB13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b04ec79862e441d2bd3e0040e1e0babc39a58d3d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.07.039","type":"string"},"datatype":"url"},"type":"statement","id":"Q391106$86541695-E93C-4883-8F75-70435A59DFD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4c7dac9ae20cba4c2d803dc4a04cb8593e22c56","datavalue":{"value":"W2019700891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391106$FF24B488-C8BF-4B83-9A4C-833BC5B58A49","rank":"normal"}],"P223":[{"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":"Q391106$5E5C2F9C-CF0D-4751-82D3-EA7F4AC02D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391106$C69727EF-C325-47E5-BAAF-C9C44945FFC1","rank":"normal"},{"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":"Q391106$22D99F79-187C-416F-912E-F46790FAA5A2","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":"Q391106$B48741EC-F32C-4705-85A1-6DEF18B8E8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27abfb6446279e286578ecf9df9ba6238833c82","datavalue":{"value":{"entity-type":"item","numeric-id":3564866,"id":"Q3564866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391106$59A14045-16C6-4334-AF5C-EF9B694BE4B8","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":"Q391106$06CC2445-1A6A-4B59-815C-645C7EBAA26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17289d83554f7d2d64aa354bfeecb4fc774e0bb","datavalue":{"value":{"entity-type":"item","numeric-id":4964725,"id":"Q4964725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391106$706E7D0A-CFD1-4BEE-95A0-2D56C7E36DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391106$D6434439-8DD4-40A8-B402-B1AB290B9E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391106$F35E5E09-0D05-415D-98AB-00DF872DD8F2","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":"Q391106$03084A18-5D60-49B8-957B-ACDB77814F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd5210f2e75dfd11c408f55023943cb9ca9f3a4","datavalue":{"value":{"entity-type":"item","numeric-id":5452723,"id":"Q5452723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391106$520525CD-6805-4C36-8BCB-DBAECA7971DD","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":"Q391106$0CB440D1-D8FA-4988-81EB-12AD53BCDD8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9828911ff31fedbcde03b7f39ca8ff59b78548a","datavalue":{"value":"10.1016/J.TCS.2012.07.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391106$52E5E67E-0CA6-4BF8-B5D7-2C126A4404B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e233769871128d8f008663434898727658c6c5","datavalue":{"value":{"entity-type":"item","numeric-id":6108435,"id":"Q6108435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391106$0DB4595C-8371-452F-A993-725A33855EAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f24e917cede6a1d136740a0c7d50691942b306","datavalue":{"value":{"entity-type":"item","numeric-id":4964725,"id":"Q4964725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6f3e677a91922eba6884f036ae8f776a09f59f","datavalue":{"value":{"amount":"+0.9774484038352966","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":"Q391106$9D2C5ACB-70B0-452D-8A4C-4DEE6603F2B6","rank":"normal"},{"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":"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":"Q391106$37DE75DA-691F-4FC1-9BFB-D5DB8CECF47A","rank":"normal"},{"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":"089e170d24dd2506eb754f657233c6a6510cff19","datavalue":{"value":{"amount":"+0.8304939270019531","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":"Q391106$0A44318B-3898-4176-8A1C-6D7206C0150B","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":"2b50d6f0829020bf33f32fb60de5134fe1f49b20","datavalue":{"value":{"amount":"+0.8184463381767273","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":"Q391106$F040EBF6-1A80-4AE8-9734-90F10D86BFA4","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":"0a2870f24451ea43e2e95ea982c2c9671a718340","datavalue":{"value":{"amount":"+0.8163678050041199","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":"Q391106$09C9A0D5-65A0-45D7-8155-0C1246ACC266","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal bounds in parametric LTL games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimal_bounds_in_parametric_LTL_games"}}}}}