{"entities":{"Q2474054":{"pageid":2484797,"ns":120,"title":"Item:Q2474054","lastrevid":44154378,"modified":"2025-11-20T10:30:36Z","type":"item","id":"Q2474054","labels":{"en":{"language":"en","value":"Optimal reachability for multi-priced timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5242674"}},"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":"Q2474054$4D3B56B9-E87B-42A3-AB25-D9E788789860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24926f6bce470fc536f344e8a9e0f77d0c84350b","datavalue":{"value":{"text":"Optimal reachability for multi-priced timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474054$E2D100C4-B11F-40EC-AAB8-7A59EA76F4BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92220fcbd58eb08def62d4438cf66724bc3669a7","datavalue":{"value":"1134.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474054$5B898B01-0353-42BE-82F6-4A526591C20F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b56c1f9e8f1308d86621ee9ee141f193bb3dc812","datavalue":{"value":{"entity-type":"item","numeric-id":2474053,"id":"Q2474053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474054$E31CF3F1-A43B-452D-AA14-B685D4046A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474054$07DA6483-D1F3-4E55-A3A4-92A89BD119FF","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":"Q2474054$9701AF77-7D4C-426D-B794-691E6174CF53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"320775bc8330b9df723b904d964cd89baad4e710","datavalue":{"value":{"time":"+2008-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474054$58580B5C-E323-48BA-990A-8ADC60EAF101","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474054$BE7640DC-B2ED-47CC-9E13-027C364DE697","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"789f54f0592fcf206719905838f8ab8a1c52d9a9","datavalue":{"value":"5242674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474054$1B9A0C65-88E7-4320-BAD4-3E38F4D52AEE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474054$9E61B963-0ED4-4ECA-9705-4776101DA097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474054$06154904-DE9C-499C-A913-584AB289B431","rank":"normal"},{"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":"Q2474054$1F391644-33B3-45EE-B826-E82A0C4D4DED","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":"Q2474054$42648E61-84B3-4EB5-8AB0-B0115A2B5CAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8abf2f332996e8521a8e5a515da7ea195d2738c3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.09.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474054$87E642C4-8B40-4EFF-87CD-0E172EA60E75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6bfa28ca6a42b138a5839a710c7409f46ea65a6","datavalue":{"value":"W2029795923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474054$78B4E11A-6ED4-4092-9FCB-5E445E393A20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474054$122A3F73-B454-4B62-8336-D86BD73DC397","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":"Q2474054$C91B8D4F-D59B-44DA-97C3-8AA9CE4E03B1","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":"Q2474054$361D0800-E131-4DF7-B365-98DD5BC6E125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea1cca5805b0cd78664cf35a1eb9a2408c930a5","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474054$5D423E10-E591-40D2-825B-3BB44A383075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc47ee14e1134684fced9fb43079fb35b45b3dec","datavalue":{"value":{"entity-type":"item","numeric-id":3046509,"id":"Q3046509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474054$816DB34A-00A7-4829-BA68-86231C0D7DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c71ce73b214624ee6fbfe1323f4eadc379e630","datavalue":{"value":{"entity-type":"item","numeric-id":5705878,"id":"Q5705878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474054$673A41A8-875C-4F89-A2AE-A35B8A76F0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b83ef6ef48951a2ffd166c2f336e62f16a62b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5897955,"id":"Q5897955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474054$6952EB6B-E28D-4D23-A779-C653B3547952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474054$6686087D-3C3A-43FB-BFC9-2D7AE7BCC1AC","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":"Q2474054$E484DB2E-F720-4FF7-8461-88A5CEE37478","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b0f907e4d6750caabd14aef2aa924b65389790b","datavalue":{"value":"10.1016/J.TCS.2007.09.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474054$0FFDECCA-88EF-4A51-B0D7-405A3991BEE4","rank":"normal"}],"P1643":[{"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":"8e3fdd024dac3aacbc22df104e00f30a0459cc53","datavalue":{"value":{"amount":"+0.9808137","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":"Q2474054$5B95FA4A-C531-424F-9F27-4830D8F42E55","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":"3084bdce155b90529bf6c9cfd5b3c587f95e9659","datavalue":{"value":{"amount":"+0.9738517","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":"Q2474054$74022F19-CD1F-4292-89C0-45AAAE528CE8","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":"abf9bc9dd7e391356af73abebb686e956c38dcb3","datavalue":{"value":{"amount":"+0.94216406","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":"Q2474054$DBC3A49E-22D1-417B-80FA-18708BBB2DAF","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":"1f26d3024ef3329a49bd9345e579d74f79b46ec0","datavalue":{"value":{"amount":"+0.93620294","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":"Q2474054$8276FB02-B55F-4664-A2E5-FAB308944083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52156270135c83ec51c7c0a248c1de7fe75d60d1","datavalue":{"value":{"entity-type":"item","numeric-id":5404901,"id":"Q5404901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39060d97a7076c0b3bac05ac0e6121aed09fe6d2","datavalue":{"value":{"amount":"+0.9168421","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":"Q2474054$D4A5D7F3-EE36-4D4A-9A30-A86F54C94FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15eaaedcc3e52abe4b28cdd164556034c8be0b4e","datavalue":{"value":{"entity-type":"item","numeric-id":2890180,"id":"Q2890180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea4e7f91a03a502908bf8110807398b451bee13","datavalue":{"value":{"amount":"+0.9085004","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":"Q2474054$C698041A-7407-4C41-A5A0-097B97FD876E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d354526d1a6983456ac6c719a9c8af4613f559","datavalue":{"value":{"entity-type":"item","numeric-id":3543287,"id":"Q3543287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d00cecb132a9c3ec562e6001fa4a9c2b81335d","datavalue":{"value":{"amount":"+0.90582865","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":"Q2474054$5E5F4D0F-33E1-4925-87D9-9412183A91B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6093d387f1611bd74c271f7169f804172ddbdd13","datavalue":{"value":{"entity-type":"item","numeric-id":3184689,"id":"Q3184689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d871127ebb25b17a22178efc324e96a2a0fa5c9","datavalue":{"value":{"amount":"+0.9031414","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":"Q2474054$0200FD1D-3429-42CE-9806-288635433CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d080cd4e16f734629d4701ddc7534ffc8d691df","datavalue":{"value":{"entity-type":"item","numeric-id":2475633,"id":"Q2475633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d7d3ecd758e814303425cc5d7b69c44e53c0ef","datavalue":{"value":{"amount":"+0.90207183","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":"Q2474054$B88A9284-2ED7-46CF-B7F7-53CCC50BAE02","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":"f381391cf34925fd47a0723b595fe3b613b4eeca","datavalue":{"value":{"amount":"+0.9017444","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":"Q2474054$11E8DB0B-385E-420E-A5BF-1C03CFCAB0D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2474054"}}}}}