{"entities":{"Q5002811":{"pageid":7032388,"ns":120,"title":"Item:Q5002811","lastrevid":98269295,"modified":"2026-06-05T17:05:38Z","type":"item","id":"Q5002811","labels":{"en":{"language":"en","value":"Costs and rewards in priced timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7376052"}},"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":"Q5002811$E0BD1F09-8B8A-41DE-9BD5-E418F02C7C88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55da52838de8fe882c6f69b4e55e3b89032d3d18","datavalue":{"value":"1483.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002811$53AD7E87-4FFA-4137-A5B6-7884A09E229D","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":"Q5002811$91155EC1-7E47-4E41-B7F2-4DDB74ED4DB7","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":"Q5002811$6435DE5C-0E83-48A9-8860-CDCF1B911B20","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":"Q5002811$0E6625B0-8742-4AB5-B3D3-A439D398F851","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":"Q5002811$B5712B16-D38D-45FD-AC25-39A9C9155E3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4211c9afbc08aaacbac7309503449b759a8aef6c","datavalue":{"value":{"time":"+2021-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5002811$323A5146-75F8-46C6-98BD-54A5A290D021","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002811$92EC60A8-2276-4768-9900-638E97052700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002811$1F45BC62-316B-4E89-803D-CC137D01530B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3338305c7226cafe57f7e996e08832c136703c","datavalue":{"value":"11D72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002811$1FCA87D0-300E-4F2C-959E-4E17237F8FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002811$F482D14F-7ED3-47DE-971B-8C54567C603E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7e72d90171406c58c7c9bd38c654d9a9f6381447","datavalue":{"value":"91B02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002811$8BD2C9D2-3841-4B62-A19E-C821FF547004","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"055ffd4843bb779b0e196fb1fcb4fc3934e9b68b","datavalue":{"value":"7376052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002811$FB963C55-E7BD-480E-88F3-7A232D225939","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685d296441c36f47782d213deab9a2313d0641b6","datavalue":{"value":"priced timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002811$939B693D-A6CA-452E-80EB-04144B7FDEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80bb17453a1da223f3279dcb6203cdf325baa606","datavalue":{"value":"Pareto domination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002811$5B407D23-19CD-4FA1-8ECC-DFF38A28EFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33239cec92d8b53587fd8c3b366eae95c73ac1d6","datavalue":{"value":"Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5002811$054C08F6-8C1E-44A7-A793-305C53B239E9","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":"Q5002811$F936D9A9-ED08-415D-B804-CFA6300C29AB","rank":"normal"}],"P223":[{"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":"Q5002811$29FBA3F8-1AC6-47F6-B5C2-29CCD3869A10","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":"Q5002811$9D1F294E-C315-42F0-B237-F1895BB44BD4","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":"Q5002811$E2A08530-A8F6-4349-A484-11FFB6AEDA12","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":"Q5002811$385E3B54-EFBA-4C4B-9114-330156831EB5","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":"Q5002811$8E002A9B-B8EC-4291-A61F-68CCCC33BB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9066281e5b3618aeffcb97107bfc8ee2bc7c9d","datavalue":{"value":{"entity-type":"item","numeric-id":3543286,"id":"Q3543286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002811$23E5745E-A841-4E3A-AC77-8C7EE98A4EF7","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":"Q5002811$54356C4D-FA92-4916-875C-C8661705C960","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":"Q5002811$98F1D9CA-9648-438F-AF81-D5D02558518D","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":"Q5002811$F8491C99-70E7-438E-B963-A0D1148E1493","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":"Q5002811$57E6C082-9222-431F-9480-3C80CF9B08A2","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":"Q5002811$9DE9EAF0-A08C-4E89-9FA7-75FDCE115C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd32ee7f2e9be5b0e3c57ffaaa158a5e7f3d5bff","datavalue":{"value":{"entity-type":"item","numeric-id":3447699,"id":"Q3447699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002811$8C022598-552B-428C-9A1F-CA61940D5C55","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":"Q5002811$6AE32CA9-42A4-445C-B623-8843F07E1EF3","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":"Q5002811$D789926F-E2CD-4D83-B50B-10E9DDD35E8A","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":"Q5002811$02B44620-9522-45BA-92BD-F3E5F3A2881B","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":"Q5002811$0BD515CD-4F81-49AD-A345-C8C8D1ED449A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713050731a29bc2e96d472f8a9ab4b7845ae636d","datavalue":{"value":{"entity-type":"item","numeric-id":3574978,"id":"Q3574978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5002811$3DF40BE3-6FED-4C8B-94E7-85CBB2914355","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":"Q5002811$4A21A2C1-81BE-4D40-99BB-D0BCCA01254A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94331d475b50193bac034228d87ad2594ac044fb","datavalue":{"value":"10.4230/LIPICS.ICALP.2018.125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5002811$64BC38D7-C804-432D-A770-381CAD29EB43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2a9e67fe91af0d196f538e6a0e4a8fccb517fe","datavalue":{"value":{"entity-type":"item","numeric-id":2064528,"id":"Q2064528"},"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":"Q5002811$C8593E5C-0978-4C3A-98F4-1084FAEC0180","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":"fa6a132da3ebc13c0b3ec456a9da31761f5a9345","datavalue":{"value":{"amount":"+0.8313106894493103","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":"Q5002811$175CC027-8D82-4AFB-B507-872CD8B47508","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":"9c4d8ab44e81b0f7f325233b0d35a9cac721b3b3","datavalue":{"value":{"amount":"+0.8161714673042297","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":"Q5002811$C3421025-AC48-4D22-8001-5948A4380F47","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":"71b9659ea1db7fb02c31effb7398eadf348e52f7","datavalue":{"value":{"amount":"+0.7980453372001648","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":"Q5002811$742CAC9D-2A29-4D04-B786-F4B3E3D2221D","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":"f3c60ea1bbfc1237db1e96586fdbca6c1edd3488","datavalue":{"value":{"amount":"+0.7972076535224915","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":"Q5002811$91A6AA5A-0A5E-4080-984D-B97ABD072DAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Costs and rewards in priced timed automata (scientific article; zbMATH DE number 7376052)","badges":[]}}}}}