{"entities":{"Q4633550":{"pageid":6663131,"ns":120,"title":"Item:Q4633550","lastrevid":58312275,"modified":"2026-04-04T16:30:20Z","type":"item","id":"Q4633550","labels":{"en":{"language":"en","value":"Symbolic optimal reachability in weighted timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050656"}},"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":"Q4633550$5C0C15B2-45D5-4F4A-A46E-BF9C5BA6D3A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17b89b447e62709b6b3169f4cab77070170357fa","datavalue":{"value":{"text":"Symbolic Optimal Reachability in Weighted Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633550$D8152E37-E27A-4942-9E31-A773FC8A772C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"316c6ad85a445aec5cb756b36743dd368a520ffa","datavalue":{"value":"1411.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633550$FB23983F-F098-4B29-8CC3-FAE4F4ED28D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2d9c523e85e1d5527d25a7e03e37ff96ec51bd3","datavalue":{"value":"10.1007/978-3-319-41528-4_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633550$07C30DCB-4185-4305-9F9E-354D9502BD0D","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":"Q4633550$4F996B45-575F-4B79-81D3-DE130941C791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd1a1996cee20ce57c428032a3ea0d54f748e76b","datavalue":{"value":{"entity-type":"item","numeric-id":2324208,"id":"Q2324208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633550$FDA7FC9E-F812-496A-B996-221BB99CFB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633550$A6C63EE9-ADDA-49E5-9814-48C512191267","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633550$573571B1-FB56-4991-9CF8-E2D696BC016D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633550$BDC33CD3-1A32-4CE3-B271-47C67E7C309B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d03929b1fd3001f8bb59beebd832f0a8f0a513c","datavalue":{"value":"https://arxiv.org/abs/1602.00481","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633550$B06B0EBD-1822-4C39-B3BA-759A9AC7C2E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633550$49A27E81-9876-4D21-9404-A0CD70163B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633550$638B0C9E-2451-4AFF-95F8-B3F2BF9A1131","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7041e990f84e4e6294c5e09d794e1a671c611144","datavalue":{"value":"7050656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633550$CCEF34C2-5BEE-40A7-B275-0762ABDC1B90","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":"Q4633550$C37DD2C3-802C-42BA-B2D2-0D107DAE2FE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b15385e041a86f2570d58d2060ec16a053ececa","datavalue":{"value":"W2253126574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633550$BF41781C-D4CF-4DA3-A07F-334547DA942C","rank":"normal"}],"P1643":[{"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":"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":"Q4633550$3E7194CE-E090-4BBC-A6C8-66DD1C92995A","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":"f4dcc94633625515ebdcda784891cdd3f4f77dfc","datavalue":{"value":{"amount":"+0.8587362170219421","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":"Q4633550$879B27EB-0CF2-4597-A460-DBCD02C16921","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":"3942867d9b513d786c3cb0429ceb5920436c4d81","datavalue":{"value":{"amount":"+0.8582163453102112","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":"Q4633550$5F9ECFAE-CC9C-4E2D-A039-57DE034EAFC3","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":"d6a56ccdb191b1e82beee5919c91ddba1001a2ba","datavalue":{"value":{"amount":"+0.8331801295280457","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":"Q4633550$89D6BD35-695C-481B-8F40-E77E1FC1C9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045b16a0ba12160ac9072dea210dfa62c8e9dfe4","datavalue":{"value":{"entity-type":"item","numeric-id":2842657,"id":"Q2842657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7696cad48e3a06c2f4480cc8113d04a0dfdd8db","datavalue":{"value":{"amount":"+0.8051881194114685","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":"Q4633550$935885F2-6703-45B7-8AB3-2CBC62DD97C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633550"}}}}}