{"entities":{"Q3630197":{"pageid":5660103,"ns":120,"title":"Item:Q3630197","lastrevid":90403790,"modified":"2026-06-04T20:05:42Z","type":"item","id":"Q3630197","labels":{"en":{"language":"en","value":"Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5561151"}},"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":"Q3630197$190F205A-E275-4CFE-945D-433D05E04D21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fc8ff0c669e9a9444dda33dac596f4a2b83b8fd","datavalue":{"value":{"text":"Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3630197$ADABA865-9DBC-44B3-9B41-1D6ED1F91718","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61c40456972ddcb6be1df767d04ac3d85f20a397","datavalue":{"value":"1241.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630197$0C8B4CDC-821E-42CE-9540-128AEF875795","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f923ec0da6e3cb3fa3893c129afa525f406e7a67","datavalue":{"value":"10.1007/978-3-642-02017-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630197$B140D30B-3A61-4B7F-801B-2DDD5F2B9505","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c77815e6e0771e36dec6b561265b7e20d34edc90","datavalue":{"value":{"entity-type":"item","numeric-id":975883,"id":"Q975883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630197$74747827-A75A-41EC-9009-5182CA040788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630197$7F4D92CC-402C-4AD0-B724-B32935040D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3630197$29B68B37-AFEF-4FCC-90A9-A46900734C75","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":"Q3630197$2998A1E4-AB47-45F4-8388-9F534397A350","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2a6677285d8a31111cdab31d48d7dc7630c702b","datavalue":{"value":{"time":"+2009-06-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":"Q3630197$7ACFDD05-0298-41E5-914A-72296864E786","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630197$21391CAF-0F78-4BCD-9F3D-FE3D6DE4AB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630197$AC17B495-CC21-4522-B7A4-F0E86936CB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630197$6E298EDD-B080-4D7E-AD6B-0B21C5FE30F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3f87e5fdab5c3a3ae1e4fbdf9cec2f721659fca","datavalue":{"value":"5561151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630197$E2F06F99-97AD-4B31-BD60-11C6B2EE7DC2","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":"Q3630197$43CF7C1D-3151-4B9A-BDB7-254BEAEDACA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc727e4cb8739c8619361481d56bfabf108ed02c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02017-9_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3630197$02BE5378-7CB6-4EA4-B54E-17DA53CBC00D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccc30a3de2348b142c39f31380c3ec47e0c33f2e","datavalue":{"value":"W1710323894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3630197$218C1496-2E14-49C4-B054-F20F20B56593","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2d43250816134a03dd482446ce71baf0d2be6a","datavalue":{"value":{"entity-type":"item","numeric-id":2176709,"id":"Q2176709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977b71849ef152842ead2dff75cf7e1b65b3bbf8","datavalue":{"value":{"amount":"+0.8054362535476685","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":"Q3630197$FEDB96CC-2090-4B55-9CDA-5F0207EC2613","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":"5af554b29fd0754aa509ff7da2d701d85dfe3805","datavalue":{"value":{"amount":"+0.8036401271820068","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":"Q3630197$E7F51FBD-E98B-4862-9634-DBB7643CEBE5","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":"f3a02a3c3f80e9f8c67e1c71cb4a41c21691d3e5","datavalue":{"value":{"amount":"+0.8028221130371094","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":"Q3630197$69AD49E5-0F4B-4345-8352-C79B50320A78","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":"be3c3c562725ea70ef3d3d49a929a100fe4d8ec0","datavalue":{"value":{"amount":"+0.7832370400428772","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":"Q3630197$4D85577C-D628-41F1-B001-F71A2E475D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51bd31ccca8305ccf96006744302ac462fbe7c1","datavalue":{"value":{"entity-type":"item","numeric-id":2865063,"id":"Q2865063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ab1efe20e5774b895642c02df5e9fcdfec4102","datavalue":{"value":{"amount":"+0.7832110524177551","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":"Q3630197$BAD7B8AE-50E1-45AF-BBE9-1410324A9135","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_Cost-Bounded_Reachability_in_Priced_Probabilistic_Timed_Automata"}}}}}