{"entities":{"Q596026":{"pageid":597802,"ns":120,"title":"Item:Q596026","lastrevid":63023529,"modified":"2026-04-11T09:46:21Z","type":"item","id":"Q596026","labels":{"en":{"language":"en","value":"Optimal paths in weighted timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085474"}},"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":"Q596026$A41FF7EA-F15D-49E6-96E3-EEEFFF3F80AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e5b07e5e22bfb6c1cfad585afacbd0e3a556012","datavalue":{"value":{"text":"Optimal paths in weighted timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q596026$99D3FE0E-8583-4274-A54D-7DD4BCC499ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d502449adfc9f00b7e54f55d262d132a3adc94b","datavalue":{"value":"1068.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596026$0B3318EA-9D88-4BBC-94FE-0397708D3AF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596026$6B5F488E-53C3-4594-A9EF-0877EFC17A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596026$8C4FEE22-DDD1-47E7-A037-C99B75B9B6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596026$FBED7332-A7F3-4EE3-8CEC-49A2C56DB698","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596026$6FCB7F93-ECFC-455F-BB23-4CF5FB94E089","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e0adf53a19cddd0f150137b2408eb7868ef6930","datavalue":{"value":{"time":"+2004-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q596026$D96E04C5-A78F-4994-A3EF-9205CFEE8FEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596026$C6324895-FFE6-4AFF-A6C0-14FC111FAACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596026$E0A435D8-67F5-48D8-A223-8C29952AC937","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0abfc9315c1bf16058b827561c60b2927055c417","datavalue":{"value":"2085474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596026$92A95EF6-B740-4C12-B992-FEAE839969EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c330f2a58efc85bc92438e4c9601644a796093e","datavalue":{"value":"Hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q596026$8C2D831D-5A16-4F4E-812A-6C4E5BA72304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q596026$54EEDD5E-3A76-4F97-801F-A61D53448C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993d7d4ddd8a91942f5d2d8287a1eff3e260737b","datavalue":{"value":"Optimal reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q596026$8C10E0A9-DFD7-4084-8525-164FAAC490E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q596026$7CC4FE0C-F5AD-4D89-8FAE-8F375B57D162","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"213b96aa71af3001dc0c03b911c53b0c307d9474","datavalue":{"value":"Q57582111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596026$E843F15D-82F0-40D5-BF23-46465D2195BF","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":"Q596026$578676AA-6279-4B50-8F1E-C01A2B99EEAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"480f17f8a3aeb4232e643fa7014972805062ce3c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2003.10.038","type":"string"},"datatype":"url"},"type":"statement","id":"Q596026$E36A55E3-027D-4E08-AD1D-74866FE8AA21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bba8d562486d31a5499b12e9f1c73a04ae03204c","datavalue":{"value":"W2089017767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596026$E5E8501A-1BD6-479E-87F4-FFEA23B791E1","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":"Q596026$AD174102-EA7E-4B6E-962A-7E46019A3247","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":"Q596026$8FBA7461-D968-43E0-9D1F-121CDC312813","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":"Q596026$1B1AD726-32F0-48CA-A580-B31C2FAB3EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead8421943a1be8110df254acca9ad1e8d64eb52","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596026$CEBC444F-5E82-43F3-BD4E-2F20912879A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596026$D2030764-A951-4CF0-B9D2-666EFD367DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6704ccbb4c75ac5e07412c0181b63f464f1b7a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5225293,"id":"Q5225293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596026$E9D85411-7515-4008-8F38-5DCCBC153782","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":"Q596026$9AF5D156-76A5-4A37-B763-106F1D034B37","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":"Q596026$F272A155-9DCF-4AEE-B2DE-CDF31AAAB577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a0b889997bf81190469f18001e1ac850478031","datavalue":{"value":{"entity-type":"item","numeric-id":1301405,"id":"Q1301405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596026$95CA4B30-65D9-48F5-A96D-6F5AC2B4F07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596026$6CB135D4-8ACA-4035-90AF-1BF582406F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b85a55b322659f70ac7d4e0c6535ce61c82ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4953410,"id":"Q4953410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596026$CCE886E9-9458-45E7-9F92-88E0C3A7A523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596026$C6AF98F4-3B6D-443D-8D2C-6255211779FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25602e29129b51ca4da684b344eed2b09c7ab40e","datavalue":{"value":"10.1016/J.TCS.2003.10.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596026$1C53AE8E-9B0F-4D62-824D-A3CFD67C80D3","rank":"normal"}],"P1643":[{"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":"c3a43dfeb0287e4f2905cc7dcc0e4d935af49354","datavalue":{"value":{"amount":"+0.9820512533187866","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":"Q596026$BA480B82-8D72-434F-A8A7-7CC82E25DE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228a4b8f98491638c0df0169fb913c8c421ce82b","datavalue":{"value":{"entity-type":"item","numeric-id":2385195,"id":"Q2385195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10dd89d805f1e81a907d7c22f286f84bf4befc51","datavalue":{"value":{"amount":"+0.9193345308303832","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":"Q596026$5341A2D3-ED74-47DE-AC62-ACC3B9431AA8","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":"15b5b2a6bed6da42cf55617d5f73eb07c9b803ad","datavalue":{"value":{"amount":"+0.8639649152755737","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":"Q596026$5045E5A2-4E79-4C87-9084-8F60A1253C96","rank":"normal"},{"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":"34528f7b6c34483a34edd3ff3fdb455363cf3e95","datavalue":{"value":{"amount":"+0.8621289134025574","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":"Q596026$6841DC92-878A-43DE-84CC-358D6F0AB1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7febc7f72426cc52e8f49b911be161cfd41716c","datavalue":{"value":{"entity-type":"item","numeric-id":4551180,"id":"Q4551180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a47aa8a219b762c994f5bba5205dc490400092","datavalue":{"value":{"amount":"+0.8090670704841614","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":"Q596026$289F87E4-5C89-4D88-B1A3-525F06224A6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal paths in weighted timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimal_paths_in_weighted_timed_automata"}}}}}