{"entities":{"Q3648829":{"pageid":5678735,"ns":120,"title":"Item:Q3648829","lastrevid":88890350,"modified":"2026-06-04T15:45:24Z","type":"item","id":"Q3648829","labels":{"en":{"language":"en","value":"Revisiting decidability and optimum reachability for multi-priced timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5641079"}},"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":"Q3648829$60C962D5-3DCA-4652-A9C1-01055290970C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7c362e5c72f4c101cc845222a9dac74ec73886e","datavalue":{"value":{"text":"Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648829$2BD944F3-1565-4D42-B90D-51F28D79D456","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1617d909f406046f5e356419ae543b7f9f22380","datavalue":{"value":"1262.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648829$7B757CCC-C459-4D04-BE4F-8F9657C90BC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"293444331c68cc1d95fc9fcea67a123cb4e33d10","datavalue":{"value":"10.1007/978-3-642-04368-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648829$26283640-DE4B-495E-B269-C6458A71DA0C","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":"Q3648829$B127BCD0-32A4-460A-9981-2736908938C0","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":"Q3648829$52E8B7BC-C7B0-436E-9F4F-D752C928B18F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648829$53268A94-991A-473F-9CCE-5E4E2F6BFEE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648829$B7491CA6-D811-441F-9615-470321EA6870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648829$DD1756FE-40A0-4D51-80FE-21F1F19A7100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648829$4F461D3D-F332-4191-BB5D-3DD828DF3F23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c39da0df7fdb07147d1a43f8197c3f1d93eb37f","datavalue":{"value":"5641079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648829$4493A733-CC2C-4FBA-B475-26FC9EE1B563","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":"Q3648829$89526518-08EC-475A-98D7-D9CF8FC636AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b60d964cad6cd1e7bd64e688dfaf72ccdc982475","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04368-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648829$CCD6037D-3274-452E-B0D2-42374B26C7F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"547b69e2cd11dff8385093864ad410774a5e60d7","datavalue":{"value":"W1576756623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648829$4F00B939-2FFE-4F80-86F3-0702BFFFD1F9","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":"Q3648829$AEB97685-905A-49BF-A301-990692194BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648829$D44C8F61-F656-49F6-BC14-42CEAF116606","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":"Q3648829$534384BE-791B-4C09-9921-E172FE0A801E","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":"Q3648829$6AFC7EFD-2E8A-4C81-BE66-43FA76ABB708","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":"Q3648829$734AF4CD-0C97-4E45-889D-178E9976FA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dc32dff08f7e062837373e4e0bb0cd53c724ad","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648829$87128815-F502-4DE8-A75D-40425BA528C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c4c709161a40b5f688b793e293fc06444cf1e0","datavalue":{"value":{"entity-type":"item","numeric-id":2851314,"id":"Q2851314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648829$464FAF0F-F25A-48C7-BE10-7DCF3D408669","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":"Q3648829$910D262D-FA38-452B-8F0C-3068C1433F98","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":"Q3648829$AC30CCB4-7C3B-40F6-9F34-8A75AAB25357","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":"Q3648829$F6E93BDA-DDDB-4496-9DAC-59DEAE21CA2A","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":"Q3648829$68646E24-F663-4F4A-B5BE-C6D777452D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78573c1920996c7447655dec4c1c08016cbbb7cf","datavalue":{"value":{"entity-type":"item","numeric-id":5717502,"id":"Q5717502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648829$C33C632D-DDAA-4068-A270-0428002C94FD","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":"Q3648829$40DDC7DF-FA3C-4E0E-AD83-88204B940049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648829$442FF608-4B67-4242-A598-FA2FB4D46970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed226340896f6f1edb9acffcad75c449a446a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5758112,"id":"Q5758112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648829$F89A9ADD-0C08-42EE-AF4F-2AB1369D3DFE","rank":"normal"}],"P1643":[{"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":"ca06e0274f7325879cdac01e2c4da55196351ba2","datavalue":{"value":{"amount":"+0.8888776302337646","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":"Q3648829$760A7DCB-6965-4E72-A103-4FF3F018FCE1","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":"98f01ec68ef7963f3353492b605ae3ec69d7fe2f","datavalue":{"value":{"amount":"+0.8805392384529114","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":"Q3648829$57EE96BC-CDBE-44D0-AF45-F07530774CD7","rank":"normal"},{"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":"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":"Q3648829$0C64C8B7-7B73-4909-AE76-478608647EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bf953bd1753cb3cd947ec5b49765aa61c22bee","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92a7d41e7d99b1a3eedfcdc4089c7108b3f8232","datavalue":{"value":{"amount":"+0.8285422921180725","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":"Q3648829$4BCEE81C-0A75-4DEE-8E30-AE9D0BD7FBC2","rank":"normal"},{"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":"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":"Q3648829$AA613F5C-2AA4-4DBF-B1A8-D01617927112","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Revisiting decidability and optimum reachability for multi-priced timed automata","badges":[]}}}}}