{"entities":{"Q5090965":{"pageid":7120541,"ns":120,"title":"Item:Q5090965","lastrevid":55416784,"modified":"2026-02-17T15:58:29Z","type":"item","id":"Q5090965","labels":{"en":{"language":"en","value":"Symbolic Approximation of Weighted Timed Games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561333"}},"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":"Q5090965$D9DF0577-3804-4434-B1A4-B19EBFB749B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f069a2f27570b0628cb59c4fce4fae2fa01fd51","datavalue":{"value":{"entity-type":"item","numeric-id":832072,"id":"Q832072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$E9C82D48-FE35-4866-9F45-EF9F607D9A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aae555efea8bfe5edf053b73d5c78ecd63391b7","datavalue":{"value":{"entity-type":"item","numeric-id":453532,"id":"Q453532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$7852E280-06E1-49E0-B793-8F7DDA710F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61d9dbabf0a46d5abc1b2de661610d71f11ba29b","datavalue":{"value":{"entity-type":"item","numeric-id":1622949,"id":"Q1622949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$8B343469-FE80-4C35-B896-D3213B938473","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090965$505C11F5-5B1E-4B39-8A33-B1F399796DB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"504bcd0c0539aa304bd7751240d9c31700321ea0","datavalue":{"value":"https://arxiv.org/abs/1812.01062","type":"string"},"datatype":"url"},"type":"statement","id":"Q5090965$4806061A-DB21-4086-BAE7-25BBF3E9323E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090965$8C32D1F6-4107-4422-845D-B30398912E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090965$3FAC0E69-E210-4780-9E38-A10B33DFB0D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"748ccae19747b9ad75310f3b4062139f09356ef9","datavalue":{"value":"7561333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090965$0B2A5FEC-5EA9-471C-ADF3-D5A94C3F4984","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe8b6c3774dfb47415c5cf1b9ccb1911aef3590","datavalue":{"value":"weighted timed games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090965$0BCBF2E2-8A67-4C51-840A-E98E78317F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090965$AB56F427-045A-4460-B8C3-34181895D275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8836868e1c908239a96965e3f22c08df855770f0","datavalue":{"value":"game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090965$0D328D64-E4E3-4DD7-9775-AD513AFDC0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090965$FC6FC1A5-67E5-49E9-86A5-0B8D4BB3704A","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":"Q5090965$8D71E611-2565-41EB-8C72-14D7FC300E2C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5352eafda026df0ca8bde0e787c3dea427f206","datavalue":{"value":{"entity-type":"item","numeric-id":5466455,"id":"Q5466455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$E423105F-8E78-433E-93EC-CA1B9703A44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$00D5A1E9-7CC6-4992-8FA0-6C7BE494E41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180c1b351f9da5c5a2f546f21a2fc2fef81c16ea","datavalue":{"value":{"entity-type":"item","numeric-id":596026,"id":"Q596026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$FEF7168D-3DCB-44C7-8ECF-FD0F82D0B6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41336a0fd1e8678e1c50ddb0bbc994bc685228e0","datavalue":{"value":{"entity-type":"item","numeric-id":4249561,"id":"Q4249561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$DA4382F3-CD3F-443D-A848-4D2279D2BAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$F4421616-D49A-4D8F-AB59-0C6C133361BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdf01c69f7501607279007f3e30fa33ad7afa90","datavalue":{"value":{"entity-type":"item","numeric-id":2385195,"id":"Q2385195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$3F4A59C7-774E-47EE-A8C2-AF6DE79AA25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b510edf59a7fcfd0982ca5637cd8b0703312929","datavalue":{"value":{"entity-type":"item","numeric-id":844195,"id":"Q844195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$2F0CCCC4-3C5E-47B6-9B04-47AF66BB6277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9072211bc574ac741d8ae42224fb3b6d393140","datavalue":{"value":{"entity-type":"item","numeric-id":2475633,"id":"Q2475633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$A768CCDE-3FEB-42A3-A087-09262BDAC13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391c43f46aca23c169f26439c4a79ec43333e81d","datavalue":{"value":{"entity-type":"item","numeric-id":5465848,"id":"Q5465848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$8F4C4E2C-D3AC-4316-A0F1-BBA23E0ECAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfb92c09741e24925ae7438b1de48e2703a5598","datavalue":{"value":{"entity-type":"item","numeric-id":5357712,"id":"Q5357712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$ECC2970F-E59F-4A98-ABD5-399588D03F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4d96ee4838ea77bcd7410ce2f0627e82c6b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":2986981,"id":"Q2986981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$B54DB4DC-35AA-464C-B5B3-2A90734F175C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb90bbfdc61aee8c84150d46056ce0f1a0e39f","datavalue":{"value":{"entity-type":"item","numeric-id":5897953,"id":"Q5897953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$A6A6965E-7E39-4D61-9D80-5725044DFE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839941784437497aac90d9e53439872782b4f0ec","datavalue":{"value":{"entity-type":"item","numeric-id":5275374,"id":"Q5275374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$0D82832B-DD4C-4834-A3AD-D3D89C0D09B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb76e17a6df2863619091d93066cd3da8b6235ff","datavalue":{"value":{"entity-type":"item","numeric-id":520343,"id":"Q520343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$AD98D64E-1686-48F9-B7EA-B77EC957A1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"828e107922640c87c8e7bd5c362d472153ee4c44","datavalue":{"value":{"entity-type":"item","numeric-id":3190143,"id":"Q3190143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$7C6C7F22-4062-4118-BB5F-90E579EDC687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd948479fa2b047317266be3204831494fb3e8e","datavalue":{"value":{"entity-type":"item","numeric-id":2988366,"id":"Q2988366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$D6CE0AAD-2C54-4D06-91E8-300566E501D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d710b8c1008aaed2516051484956889a09d8a2","datavalue":{"value":{"entity-type":"item","numeric-id":2842131,"id":"Q2842131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$461FE093-1DC3-4A90-9216-0A83A1FE2BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af25567ed0b911a6092652dd419a4726b8e49b1","datavalue":{"value":{"entity-type":"item","numeric-id":5428863,"id":"Q5428863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$E09F12E9-77F8-4136-A82B-0EFDF3FE59AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a58eb2735eec896504c47ee679d381a7437e636","datavalue":{"value":{"entity-type":"item","numeric-id":4965809,"id":"Q4965809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090965$09C4B630-F93A-4C49-9A2E-8CE0EFE8F16B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46fb2fbd4aa06d543de0dc7c96b586faccfb3566","datavalue":{"value":"W2963757936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090965$CB03AC64-C196-4546-8489-44702CD67D53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67ab0687347722512b3cf52bbce9428646724b05","datavalue":{"value":{"text":"Symbolic Approximation of Weighted Timed Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5090965$1B01F56A-E410-49BE-80BC-8E4EBF870332","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fe046eed3cdc324cd63c74af5247ad6f0acec9b","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2018.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090965$62190712-8C89-4E8C-B5BE-D1A44CC74CF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b839b5ea8b5783f4be28f2217fa82ffbbf4645","datavalue":{"value":{"entity-type":"item","numeric-id":5357712,"id":"Q5357712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c007005a6cf1a4356f772a7a5afd0504ae1ba6","datavalue":{"value":{"amount":"+0.9120041131973268","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":"Q5090965$431B1B7D-5C55-4581-91BA-FEAB70021342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f70b7e57a58656a089f805fb186a6cc751e5af","datavalue":{"value":{"entity-type":"item","numeric-id":6135744,"id":"Q6135744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cce778cdfc15e92cd4e60738299fd06ecb2bd8a","datavalue":{"value":{"amount":"+0.885625422000885","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":"Q5090965$B68967B1-41A2-4644-AE01-6D3A1A234FB0","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":"3cdf2960117e1802cb07e1c212ac9ec760facba5","datavalue":{"value":{"amount":"+0.8349316120147705","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":"Q5090965$5AFA1124-72A9-40B9-96FF-530D10E614A7","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":"5fde495c5f9b6045ae2c1e04868949a9732e2087","datavalue":{"value":{"amount":"+0.8148520588874817","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":"Q5090965$1934A999-7FAD-43F3-9DFC-E91FD7D1A817","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5090965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5090965"}}}}}