{"entities":{"Q2064528":{"pageid":2075270,"ns":120,"title":"Item:Q2064528","lastrevid":71253792,"modified":"2026-04-13T21:00:40Z","type":"item","id":"Q2064528","labels":{"en":{"language":"en","value":"Costs and rewards in priced timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7452656"}},"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":"Q2064528$07E6AD5E-196B-48EC-AB8F-02C1C2F27464","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48d3a92537052f5c155a17d26e34dc5233f80d68","datavalue":{"value":{"text":"Costs and rewards in priced timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2064528$9BB530AB-1037-4AF2-8D29-8C9833E95B38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8de551168d5d177ddbcb435ab4f1892d3353608","datavalue":{"value":"1483.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064528$9B584F71-0F0A-4B86-A925-598B60A89B84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$C46D09EC-E0B6-43A0-80D0-385FC5D4BD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9549af8d56928386dd48d9da653d6185d8c80ff5","datavalue":{"value":{"entity-type":"item","numeric-id":1740669,"id":"Q1740669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$10DD79E0-8C2C-485D-950A-7FF3083C1D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4045a98b91b7085f7da4576287b9465a507ac7","datavalue":{"value":{"entity-type":"item","numeric-id":493517,"id":"Q493517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$6ECC9E61-B927-46F0-B62E-43A1996DE9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$501BC317-EAA8-4AD6-A426-02A93C03EB17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$9D19E60C-E517-4045-97BE-8C03617FA16C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5eeef85fccb3b9ec0f1e08769d6215b8e0218bd","datavalue":{"value":{"time":"+2022-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2064528$DDCA6AA8-0EE8-467D-B936-2F612DA142FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de611e90fd6834b2a6f0d115dff0ba48e1c7074b","datavalue":{"value":"https://arxiv.org/abs/1803.01914","type":"string"},"datatype":"url"},"type":"statement","id":"Q2064528$B1DF5D95-56FB-4541-8249-CB49E7FF0AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"32df611bb40d120f61a91fb158190b5478693555","datavalue":{"value":"http://oops.uni-oldenburg.de/3589/1/ICALP2018-MPTA.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2064528$74AAA28A-C764-493D-BF26-5BDF1F40184B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064528$3E0A626E-427A-45AB-BD3A-AF61449F036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064528$3713C842-C166-45B0-B36A-E064AB93D328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3338305c7226cafe57f7e996e08832c136703c","datavalue":{"value":"11D72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064528$EF5B94E1-24C3-4FA1-8DF0-954C1C6402BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064528$A140509C-2428-4EB8-A95B-CAACEED56DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7e72d90171406c58c7c9bd38c654d9a9f6381447","datavalue":{"value":"91B02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064528$AC033D1C-D51F-4650-A95F-7AE9A4CEF1B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1841fc774ccb1d899d8f071c78023954159513bd","datavalue":{"value":"7452656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064528$3D10EF56-5FD3-407F-BFAB-B1E37C66B861","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685d296441c36f47782d213deab9a2313d0641b6","datavalue":{"value":"priced timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2064528$EFCCF932-A85F-405C-94C4-F70C599D970B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80bb17453a1da223f3279dcb6203cdf325baa606","datavalue":{"value":"Pareto domination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2064528$F0BF13D2-DD1B-4D8C-A1E8-12F79CFE2EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33239cec92d8b53587fd8c3b366eae95c73ac1d6","datavalue":{"value":"Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2064528$5606C043-9E2B-4939-8A06-6F36FFFD4B79","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$77AD1D0D-D3D6-493E-AB4B-4747F6476009","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":"Q2064528$16467129-4424-4343-B5CA-17AF1C4BFBAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"051de55793a3a6ed6dce2c478017e0aae865e757","datavalue":{"value":"W3100414354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064528$8D457E9F-8606-421E-A9BD-179733A48C2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fbf66d9ae9c704548f66b1c9817e61fc4235337","datavalue":{"value":{"entity-type":"item","numeric-id":5002811,"id":"Q5002811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$53410CA6-DEC8-41DE-90E0-33989AF63280","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":"Q2064528$B7267BF2-23BB-40D4-BCAE-0AAE5F58E578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a6dc5e3285bf389a62bd58850bec0b7d69476c","datavalue":{"value":{"entity-type":"item","numeric-id":3518285,"id":"Q3518285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$7E3D92CE-EEA4-4615-A601-A5D8559FE8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7086d42a3026d8c0b740b2a1629e424efd42f0","datavalue":{"value":{"entity-type":"item","numeric-id":2492187,"id":"Q2492187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$62903AC4-695E-4544-91D2-624D422C375C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2328ccba5a7a4d8e3f7dce2803f33cdf95ad04cd","datavalue":{"value":{"entity-type":"item","numeric-id":3648829,"id":"Q3648829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$E5DFEFC8-9FC7-451D-BCC8-3718BB1C0499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"964567a06f27f740678d5c53fe7dd01e662c7e35","datavalue":{"value":{"entity-type":"item","numeric-id":2474054,"id":"Q2474054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$6FD0DBB1-5346-4C6B-8C47-3903DB93F90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44dd6b3604cfcbcc0c67787f1982f818ecf2cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$2B268A08-00F4-40A0-B620-C6B53E4A3100","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":"Q2064528$4EA01BA8-69EE-4349-A1EF-67910D7288DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4da92a75efcb85bf86c44f36118f31be9dabdb","datavalue":{"value":{"entity-type":"item","numeric-id":4551180,"id":"Q4551180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$9E92BF66-9DA3-49AE-A5FB-7EE2FD9C8CAA","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":"Q2064528$E2723529-24B2-411B-95EC-C85D69CE7E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$A702921C-5787-4341-82CB-FF2934A7640F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfe38d1a0631f9e6953823d0743a34169a0ca68","datavalue":{"value":{"entity-type":"item","numeric-id":3884098,"id":"Q3884098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$0D7020E0-B70F-421E-800F-6510EA1C5D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd01d535b2b10a09eecb9f7ce579e9126c10a7c2","datavalue":{"value":{"entity-type":"item","numeric-id":4810834,"id":"Q4810834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$AABAF9C5-9A30-40A7-87F6-2144FF91A63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1445f55c433436dc5b1d193bb44dcbe2dd1ab54c","datavalue":{"value":{"entity-type":"item","numeric-id":3586183,"id":"Q3586183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$B4C4FCED-10EC-4907-8EBA-45B25F7D04AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d63c9c78c92e7451a854f7d460a73fd448775a","datavalue":{"value":{"entity-type":"item","numeric-id":1160198,"id":"Q1160198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$64D14E28-93D4-4EC7-AC4D-3E6695C19C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca50b56de23777ce618ce7b9747f11712b65365d","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064528$FEE550FC-6B5D-48F7-90A0-F204FD40E315","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":"Q2064528$E5CBFBEB-F8ED-41BA-BA2D-ABE5B47A1238","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe8df8922c2a708c51e28fcb9c691eb5f4dd6cd6","datavalue":{"value":"10.1016/J.IC.2020.104656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064528$E7E028D1-324A-4591-A579-A5B27C88A5F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9b64f7064e4e74873395904baaede84bfe4cf7","datavalue":{"value":{"entity-type":"item","numeric-id":5002811,"id":"Q5002811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3649e645ffdb7a576c162a9ae6b5944fde7654ca","datavalue":{"value":{"amount":"+0.9928185343742372","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":"Q2064528$38793915-9298-4E37-BE26-BA39C87F0E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f42848e4c211767ba028deb747d89797354f8d1","datavalue":{"value":{"entity-type":"item","numeric-id":3648829,"id":"Q3648829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37e237b3672361d2e3bef63b0b7e875ebeecf7d","datavalue":{"value":{"amount":"+0.8264610767364502","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":"Q2064528$08DFBC7D-F4B6-4324-BFC8-5493BCC84044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132e07ffd628e12d8586b79d7ee431d616ed2f8d","datavalue":{"value":{"entity-type":"item","numeric-id":2474054,"id":"Q2474054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931078daeecc8c2f6dcddc0b86643605cd51c473","datavalue":{"value":{"amount":"+0.8203809261322021","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":"Q2064528$CE6AB715-1A4D-4ED7-B013-90D0D8DE31EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ab9588940969b2824dad424690cefca6f1a368","datavalue":{"value":{"entity-type":"item","numeric-id":2920149,"id":"Q2920149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcaf34ef6441f83884ba57dc6c7197437f865d7e","datavalue":{"value":{"amount":"+0.8050779104232788","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":"Q2064528$BFAD3DB1-7EF5-464C-BDAF-2BDF4DFED513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dedd5d23076f945f07dbefeb8daf986bf0db135","datavalue":{"value":{"entity-type":"item","numeric-id":5705878,"id":"Q5705878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a36b2f472255780b72c0015df45dc28745fa012c","datavalue":{"value":{"amount":"+0.8002333045005798","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":"Q2064528$0CB35143-889B-4529-B935-55413E539A70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Costs and rewards in priced timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Costs_and_rewards_in_priced_timed_automata"}}}}}