{"entities":{"Q4964725":{"pageid":6994304,"ns":120,"title":"Item:Q4964725","lastrevid":58379463,"modified":"2026-04-04T23:23:10Z","type":"item","id":"Q4964725","labels":{"en":{"language":"en","value":"Optimal bounds in parametric LTL games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317258"}},"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":"Q4964725$FC467535-58DD-4F22-993A-A1D3532B6948","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4767cb72402b8e62497995f7bb618fdacbe3f5a","datavalue":{"value":"1457.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964725$2687AB75-D33A-42C8-8D98-F6FA79CEE192","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":"Q4964725$0A28206E-6A0C-4DE4-9D28-A6E3EE0CDA24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-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":"Q4964725$009E09BB-3F46-4A33-A390-2B77586268A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a005b1647aa318d33539f99f14f03b4562a17b50","datavalue":{"value":"https://arxiv.org/abs/1106.1237","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964725$875A0FCC-5C40-4822-BFA4-CC69D391533C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d03726a11672dc3254f8740ffadf146080ff1d60","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2011.11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964725$CF833E17-86E2-49AA-84BB-7DBFB9EC7C19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964725$EB84833F-5FFC-4FE8-9424-83819CFF4F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964725$B4BA9123-AB6E-401B-8CF7-2E8A9CEAE6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964725$29AE9380-CD9D-4458-A1AD-23B4DBA1B5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964725$1C775740-4DE2-42CA-8B63-06057FE95B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964725$CEF9388D-1F92-4013-B617-E0C776241CF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f32d0dd394c0b0062c95f0157dfa620a29855f8","datavalue":{"value":"7317258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964725$4D35736C-51C0-40CD-908F-6EA03445189C","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":"Q4964725$8E1542FB-9E50-41DE-8173-52F630D1FE54","rank":"normal"}],"P1643":[{"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":"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":"Q4964725$DDE40BB9-D0C5-4EF6-9BE6-212B404CF44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69f385ccb3ee9ea8ddb9db29ac7342cce1f68b0","datavalue":{"value":{"entity-type":"item","numeric-id":4411828,"id":"Q4411828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ff0016931afd5e1bb8e634f7b0331727aa9f00","datavalue":{"value":{"amount":"+0.8288071751594543","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":"Q4964725$F57D1DC1-C5ED-42EB-BEFA-FF16D1658CDD","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":"ab7961183244fb3dbfa6e5a3717f211f8c3d8214","datavalue":{"value":{"amount":"+0.8274105191230774","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":"Q4964725$E3200A73-09C2-40C1-93BD-06BF1C8D9ACE","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":"38d10e5cf3561fc83e12b6470f4045862c786b65","datavalue":{"value":{"amount":"+0.8122116923332214","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":"Q4964725$FCC16095-DC75-4F96-9002-03EE5727DC2B","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":"9f3cdac4fddd9d38c66035c84cbb32b7e28a5663","datavalue":{"value":{"amount":"+0.8119900226593018","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":"Q4964725$42E88815-F74E-4D2A-ABB9-CF976A8F1DA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964725"}}}}}