{"entities":{"Q2385195":{"pageid":2395938,"ns":120,"title":"Item:Q2385195","lastrevid":43994712,"modified":"2025-11-18T20:40:17Z","type":"item","id":"Q2385195","labels":{"en":{"language":"en","value":"On the optimal reachability problem of weighted timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5199905"}},"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":"Q2385195$767F1DCD-DFC8-481D-A4F9-0EC1291D7719","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d892b8c63460b8b43fd17c25af4bf320966caff1","datavalue":{"value":{"text":"On the optimal reachability problem of weighted timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2385195$0D201B67-1EB4-4047-8900-B6B6E409AE5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e922a7cbde5291dfa7a8c38650e49ddd118f9b5","datavalue":{"value":"1129.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385195$C1A64F5A-4C01-4E73-A954-FEC741AE130A","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":"Q2385195$CE628778-3CA2-4B61-BE57-D7A131725D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c813e4eac9249a49160a1fa23fbb3a021a9d29aa","datavalue":{"value":{"entity-type":"item","numeric-id":520341,"id":"Q520341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$83078C23-ECF6-4A41-8A1A-F0F847A8E32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99844aba0deee409850cec53537867a00f71d64b","datavalue":{"value":{"entity-type":"item","numeric-id":213200,"id":"Q213200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$7F449598-33F0-45BC-A930-E13C5CB78B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$0BA3BA64-2895-4759-9CDA-F1E710F7064A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$35454EAA-2B79-42FA-88E7-2A7DAED2DB96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2385195$7CA74F03-E3A2-495B-82F0-243A2008874D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55ca54137325a60a8e33694b0f7585955bad1eed","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.1993","type":"string"},"datatype":"url"},"type":"statement","id":"Q2385195$EE160266-A7D3-4649-8AF1-480F3C5E8C69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385195$C6224D1A-91F5-4DE3-9788-EDFEBAA4A131","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"220b58451ceb8b50415ebd16a582e4b14529eee3","datavalue":{"value":"5199905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385195$5DBA94E1-6F79-4F3E-84DD-F2928F763C5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1fbfe528be236d2624a392d7e7604ed63be2bd","datavalue":{"value":"Weighted timed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2385195$9F1D27B2-B4C6-4C8A-B8EF-55FBA72BE892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c269c457f17a2737648936575cb4544668670c6","datavalue":{"value":"Cost-optimal reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2385195$A6039BBD-4372-4F92-9488-E903608235C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$7AC75AE2-0A09-4646-A155-9D255020916B","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":"Q2385195$121330C9-A9CD-46D2-B007-6A7A76805727","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45f58e8d1c0d3d3a11e70af8c8bf7c18f0c01cf1","datavalue":{"value":"W2056957549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385195$69E40621-26D5-4D6B-ADD9-3F91D65C8DB5","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":"Q2385195$9673CBB8-3175-4D91-BFAB-F8C741FF83CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$988FAE91-7461-40F2-AC31-520DFB4F49FF","rank":"normal"},{"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":"Q2385195$656B13D4-47D8-4FA8-BDCA-A8CCAF6BE83A","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":"Q2385195$599B6FA3-0680-4203-AF7B-0F852B967C57","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":"Q2385195$DD239640-477D-4864-B05F-991B234E1190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea9e58a06cfc6902bf762f38cdcb0128e95ac39","datavalue":{"value":{"entity-type":"item","numeric-id":4264103,"id":"Q4264103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$0F9F3EA5-0132-4B8B-9E62-874C7AB6FCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b73ddd2a7f1a4b8dd60883e3c4e6296b066c67a","datavalue":{"value":{"entity-type":"item","numeric-id":5307469,"id":"Q5307469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$E48B8294-DD8C-44B5-B381-376547721CE5","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":"Q2385195$9C4125AB-82F9-4C6A-9474-DC24DDC1267C","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":"Q2385195$8B9FCC51-4CD5-4A59-B8CA-F19C3A4FB29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c61b8df768da1a4e1cc2a85425f3f7b271a5888","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$C2F92325-BB6F-40B8-A95B-4E1A269935B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be4a8100f6c1d999f8610e55b712c8ecf757568","datavalue":{"value":{"entity-type":"item","numeric-id":1854273,"id":"Q1854273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$1BF6CD8F-6814-494C-BC03-C7ECE33A0E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$8BB3B7FE-3389-45C1-8839-031B73B0C26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6329aa3f53b0007d7c30145137b42eaa70d002d9","datavalue":{"value":{"entity-type":"item","numeric-id":5588250,"id":"Q5588250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2385195$8003022E-B15E-43FE-B841-1233A4BF6D30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7784ffc9cc002b9893b944f5aea08cfbade99cf","datavalue":{"value":"10.1007/S10703-007-0035-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2385195$1A25F139-BBD1-4146-A3F0-E1730DA3EFE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4827ab73bd78aabd37ed70c29de3c1e24223d56","datavalue":{"value":{"entity-type":"item","numeric-id":4633550,"id":"Q4633550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88af2074a71b0df3385b6bbb99abaf0abc482b00","datavalue":{"value":{"amount":"+0.9425447","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":"Q2385195$18FB0CB3-7046-4C24-A65A-94ED3F670246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca81306e37b50afb1ebcfb1943997b5d82e8247f","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60a78429331b69f956efcb2beec79e71f2341dc","datavalue":{"value":{"amount":"+0.93907946","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":"Q2385195$4FC860F3-154A-40D9-8B13-C58E5FC63881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235406976d4ac05575fe13c064e14bb712677abd","datavalue":{"value":{"entity-type":"item","numeric-id":596026,"id":"Q596026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76449c1cf4f8e278c4a40459c76a7e8663930ab","datavalue":{"value":{"amount":"+0.93907934","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":"Q2385195$154BA3BF-F264-48DC-93E9-13F90666D98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788d615c3ae5cc432a05f81481bb3004b1db8fd3","datavalue":{"value":{"entity-type":"item","numeric-id":3004604,"id":"Q3004604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2347f2930118cecdbceea822ddf3d03432c2db9e","datavalue":{"value":{"amount":"+0.9375975","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":"Q2385195$D69643B2-2C0E-4891-8410-4FE6A421F9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8712381d9221515e6d77585fcbaf1c52f09dfc9","datavalue":{"value":{"entity-type":"item","numeric-id":1996010,"id":"Q1996010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4414e7b4cfb97b1b53de1f369c1fcc46714744","datavalue":{"value":{"amount":"+0.91787314","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":"Q2385195$09280EAE-FF05-49B6-B0D1-0763E9EA5E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6483f0e5e4d434f9de90e5f7eecfda0a03e173","datavalue":{"value":{"entity-type":"item","numeric-id":844195,"id":"Q844195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d131d10710252c6166bfefb539fe23307629cff9","datavalue":{"value":{"amount":"+0.9085672","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":"Q2385195$85A5135B-6741-49F7-AA62-1E5E9CB10E35","rank":"normal"},{"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":"443f1e21eea1029143516536fc02c776a160f62c","datavalue":{"value":{"amount":"+0.9064822","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":"Q2385195$E7A7EFDA-8FBA-47D0-9F5B-4C21AD373E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0dbb82c03d9bd17769e9d42955759aff3e1bb61","datavalue":{"value":{"entity-type":"item","numeric-id":631775,"id":"Q631775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5134633a2c55ac3e2de36e7f22f8419261293dd1","datavalue":{"value":{"amount":"+0.9034338","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":"Q2385195$19040B90-B953-451A-98DF-334BB438F3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d663ac3b918ce88b0afc6fa4fea5c1063fb263c","datavalue":{"value":{"entity-type":"item","numeric-id":5458356,"id":"Q5458356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b1dfba631e6c4e5b4cb08a529e052b7396f40c","datavalue":{"value":{"amount":"+0.9034337","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":"Q2385195$FE6EA0E1-9924-4CF2-8AE9-F46D0D690199","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2385195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2385195"}}}}}