{"entities":{"Q5357712":{"pageid":7387286,"ns":120,"title":"Item:Q5357712","lastrevid":92191694,"modified":"2026-06-05T01:06:06Z","type":"item","id":"Q5357712","labels":{"en":{"language":"en","value":"On the Value Problem in Weighted Timed Games."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774220"}},"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":"Q5357712$B6372201-81EE-40C3-9F32-E378F58F56F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecc41e8a6af9e059cbc6ad153a774d07f9cd4db7","datavalue":{"value":"1374.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357712$F1B1233F-FCC9-4642-9A32-4314857391D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357712$0FF5D034-3257-4BEF-8D44-6F1567B6C04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a083a2834c8936d34694e6850cfacd9b23dc1711","datavalue":{"value":{"entity-type":"item","numeric-id":283759,"id":"Q283759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357712$E7ECFBF7-2C6E-488A-A472-E0C3E2C4EF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357712$A415E2C9-0BE9-4C8E-B42F-3E982621FEAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5357712$D44CBC3D-B1DF-437C-AF0C-74948EA420A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357712$B3B06B36-C37D-4724-B868-5CEF560E757D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357712$AA3356E1-7920-4501-B495-75D3B3D65278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357712$50AFC4ED-B8D4-4B80-A163-A12D9D0DC417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0859be3046ad338feb48fb2480e3df1e325ce345","datavalue":{"value":"6774220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357712$8150F146-9E15-43F2-A593-624E5CEC247E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846b967df58bd1b5e5fe380a36a7ee5d31c751f1","datavalue":{"value":"timed games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357712$7C5845BD-E6F0-413E-B69C-BBBA8F474298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357712$6ABF083C-0ACE-4CB8-B07F-0678FAE08D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357712$569D621A-67C6-405D-B920-F912C56CD243","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":"Q5357712$6396A29C-52C8-4EDA-BECA-9C5985E97F91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4a37e6d74a82919ecd210c23dfc589b5941448a","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/concur/concur2015.html#BouyerJM15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357712$EE5A146D-59A5-4D00-BE79-6FB75BA003EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28dcce91d942751acfcd8747f6bff50697fd1401","datavalue":{"value":"W2294086291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357712$4D36F871-DF70-49CD-8EE4-852592C1FB3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7ccb738e39488d0ce8b0832f35648effb2e5d49","datavalue":{"value":{"text":"On the Value Problem in Weighted Timed Games.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357712$906B7F71-F8B1-4A61-BD93-E400B0C8220B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18f40d1649efdc7c3dfa3a487a2f3e83c580e671","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357712$338F1D71-B3B2-42F4-A491-AB97CCEF0B38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7383a0dc6641d28c7d244eb6ac6740689f94cb63","datavalue":{"value":{"entity-type":"item","numeric-id":5466455,"id":"Q5466455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f648a4bacf458b09a1ad352284cb2e4d05a43a","datavalue":{"value":{"amount":"+0.89035094","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":"Q5357712$FF06FDC7-9C56-40EE-8B28-08EAFCB2ECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9276d2f86a6dc339f125f4ff7183aba907ca6634","datavalue":{"value":{"entity-type":"item","numeric-id":319060,"id":"Q319060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4705efa5a8db53592ae384dd83a4b741234749f2","datavalue":{"value":{"amount":"+0.8745021","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":"Q5357712$1F82A9C9-7A9D-4F1B-8177-F6F010DB7B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e14074329c4fe567072ae5f43ef006d726f719","datavalue":{"value":{"entity-type":"item","numeric-id":2988366,"id":"Q2988366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9eb3d06b6c5d8082befe1666bc8b54b32f0d7c","datavalue":{"value":{"amount":"+0.87365663","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":"Q5357712$A9DEC3B3-F13C-4575-98D5-FC9A209BF8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfa2c3bcb0b006e77935ea7aa9fe314743ffa5f","datavalue":{"value":{"entity-type":"item","numeric-id":5090965,"id":"Q5090965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702ba3340a8481292ac835edf738ec0a46f4c348","datavalue":{"value":{"amount":"+0.86953425","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":"Q5357712$30A6BEEC-82C2-4C3D-A419-7EC3C51EB552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b941568952dcf0d2efb49fb226931edb637682c2","datavalue":{"value":{"entity-type":"item","numeric-id":4550038,"id":"Q4550038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c295703142e9089c6f9b45e95786a649ecc232b5","datavalue":{"value":{"amount":"+0.8668939","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":"Q5357712$B6199EAC-4C22-4607-8A37-43EEB29AE53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8618f757eb71d3050b83f102ee045b452dea38","datavalue":{"value":{"entity-type":"item","numeric-id":1806280,"id":"Q1806280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efccb64a1c08e3b40522541ca8ab40fb016b96df","datavalue":{"value":{"amount":"+0.8665544","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":"Q5357712$BD24B32D-A99C-4BC7-84EA-86AF2F6ED1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35d6071e59ad392dcbf031134ac583dfbb726f9","datavalue":{"value":{"entity-type":"item","numeric-id":5101350,"id":"Q5101350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b3fc2f9fd716d7e1c5d93f03b521694afaa663","datavalue":{"value":{"amount":"+0.86400247","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":"Q5357712$2E6A4AA5-AEB3-487A-AEF4-473823F969C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d5e93d9561f0690e289610d4313c36e6286b19e","datavalue":{"value":{"entity-type":"item","numeric-id":4359052,"id":"Q4359052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3239afdc2b3a67a18ca6871c4c377162dbce1330","datavalue":{"value":{"amount":"+0.86130035","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":"Q5357712$70BB4DCC-28DC-4C81-BA16-32C84BEEA940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a4ccbe03f28a080c48a78dddfc7f5f167ac113","datavalue":{"value":{"entity-type":"item","numeric-id":2840677,"id":"Q2840677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b679cc7fdbf811b8456475be944766493a55bb0a","datavalue":{"value":{"amount":"+0.85703266","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":"Q5357712$D499022E-DAB2-4C78-A9DB-705161BD8D02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Value Problem in Weighted Timed Games.","badges":[]}}}}}