{"entities":{"Q5217307":{"pageid":7246877,"ns":120,"title":"Item:Q5217307","lastrevid":100489673,"modified":"2026-06-05T22:16:09Z","type":"item","id":"Q5217307","labels":{"en":{"language":"en","value":"Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7172772"}},"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":"Q5217307$28022A91-C505-4D33-8806-97EEC7807825","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35fac22091aad3a4e59575fde6bb548518ce7d62","datavalue":{"value":{"text":"Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5217307$0181D31A-AF53-411D-9593-29D6FF787FC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46674a298bf46ff4cc1f5b3594dc4a9f81fb6b2c","datavalue":{"value":"1431.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217307$04057476-CA90-4C2C-830D-990EBB738256","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6eb4b2bf4caf8599900e216603d80effb84190d","datavalue":{"value":"10.1007/978-3-319-63121-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217307$FE5A3C7C-8CC2-4E47-A036-5BF3C68E7C3B","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":"Q5217307$739703D0-3B93-4FDF-9004-9B7A0F227235","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff603527318cba6b7a9cd3458e2a545d41485a6d","datavalue":{"value":{"time":"+2020-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5217307$3E2CA4B3-0333-46D5-80D2-187EB2C28B92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e25576ae892224dbe6ecf9c789a85c9709674be4","datavalue":{"value":"http://pure-oai.bham.ac.uk/ws/files/42512568/KiM17.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5217307$D615B54F-F1A8-48D1-A044-172CEF515C73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217307$27376095-34E9-483E-8BE5-A959C97B8B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217307$071B0596-1602-4FA5-94DA-06723A944C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217307$BAFB72EE-DD06-4283-83E6-408AC105B625","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96d8743a59c6d7e5fbe714d45808952f84bc84f8","datavalue":{"value":"7172772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217307$1E62537D-B3D0-4211-9EEA-0381E71B383E","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":"Q5217307$D13CC70E-4C50-4F88-A741-8554BFFE6901","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bb70b60320c6a0d23ad77a81f26910cac4a34d3","datavalue":{"value":"W2625519638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217307$97E520DB-C0B1-477C-B535-4C605F59FC5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85cf798ccabc964a4cb869e1393c323f47b00c8d","datavalue":{"value":{"amount":"+0.8271760940551758","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":"Q5217307$E71E2F06-0A36-4CB2-96D4-9B12809C7AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e054767b216b1b268d6dd1d73c8b175da91c78ac","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d3d7724263f72819ee717376f5836453f6ab8b","datavalue":{"value":{"amount":"+0.8224923014640808","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":"Q5217307$1558B386-AC92-42DA-A29A-A91D3EF2352F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba15144fb431197ac36448bb643079ea5e85a10a","datavalue":{"value":{"amount":"+0.8218412399291992","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":"Q5217307$6190B4FD-063A-4C92-8EE6-854D221FA2DB","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":"a6a1e3aca64e410674884bb450e282d8d55d640d","datavalue":{"value":{"amount":"+0.8013710379600525","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":"Q5217307$828526F3-A970-45AA-8BE2-F4865B067A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cb53ef552f966f863f1a845d6aae49cc0299627","datavalue":{"value":{"entity-type":"item","numeric-id":5717504,"id":"Q5717504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7ae5061cd4a89031497160874038b0f3921fd0","datavalue":{"value":{"amount":"+0.7990474700927734","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":"Q5217307$98E7C9B2-9090-4EC5-BD1F-A39C1EBC18A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_verification_and_strategy_synthesis_for_linearly-priced_probabilistic_timed_automata"}}}}}