{"entities":{"Q1660767":{"pageid":1671508,"ns":120,"title":"Item:Q1660767","lastrevid":68254581,"modified":"2026-04-12T22:28:43Z","type":"item","id":"Q1660767","labels":{"en":{"language":"en","value":"A comparison of time- and reward-bounded probabilistic model checking techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6919112"}},"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":"Q1660767$F80BBE20-3DE3-417E-8EB4-90197FBD82A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4727fcd2b07967948b9fb6e114190064b6a8493b","datavalue":{"value":{"text":"A comparison of time- and reward-bounded probabilistic model checking techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1660767$307E9928-DC70-496A-8A6D-EBAAB3B47B73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79056777828e0915eb87647504ae6b1d562f39ce","datavalue":{"value":"1393.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660767$77DB39C2-57CB-45A9-A4E0-7A6D15A04FEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4ab8c80566e40d94bea2fc281233aef87be0772","datavalue":{"value":"10.1007/978-3-319-47677-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660767$45EDB70F-ADF7-489A-A76D-14CF85698E19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffa8575a90582a7e362ce4ca416eabc864ff69c","datavalue":{"value":{"entity-type":"item","numeric-id":389834,"id":"Q389834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1660767$5D274DA5-B86F-4320-B1C4-9DE2A10852AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7587b268e1527b1fafbccca805f2d5bdc79d38c","datavalue":{"value":{"entity-type":"item","numeric-id":832047,"id":"Q832047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1660767$78818855-8C67-4674-906F-B4066A62AC00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea849c4eb281a412bedffe61a8651446b5233ab","datavalue":{"value":{"time":"+2018-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1660767$3D6B1F63-B8A0-4895-BB86-8318C3939FD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ab2ac5f0499aca1464ed9fde1bc4d3907473e61","datavalue":{"value":"https://research.utwente.nl/en/publications/a-comparison-of-time-and-rewardbounded-probabilistic-model-checking-techniques(4f5f29e9-cf0a-4bf2-a5e4-8c7554cf8cbf).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1660767$44D9CF03-ACB8-4A2D-8779-16ABF1D6DD08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660767$48095258-AD4C-4927-85D6-8457C4997791","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e215ea7f8b31ff41c116d75c181ed5dcbdddc18","datavalue":{"value":"6919112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660767$DBAB35D2-ECB7-4E81-AE0E-36E7FF59A8FA","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":"Q1660767$5052C1A2-33F3-46B2-8005-AE0C25607B82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbaee867fe6f3483d0d7615a94910ef94c59c0e5","datavalue":{"value":"W2527940885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660767$68C8A09E-E80D-4661-8223-15002DED1B26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d9405aa27ae5e7a65c5273a0c1ea6c9a64526a","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eecb16071193badc193eab11d21461980c81c3f","datavalue":{"value":{"amount":"+0.7740791440010071","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":"Q1660767$9EFDBA4A-862E-46B3-A896-FA363926BA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315c3203ce6dadba812d13c3638d7ba4c5d792cc","datavalue":{"value":{"entity-type":"item","numeric-id":5717503,"id":"Q5717503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1893efc5cffcdf18d11038330ac3b6d02e9fcd","datavalue":{"value":{"amount":"+0.7685973644256592","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":"Q1660767$08B11D7D-51FE-4B8C-B14C-BAB750B4986A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6260efb2dc681e18340dbaf161cd6b9d9c137c","datavalue":{"value":{"entity-type":"item","numeric-id":5325838,"id":"Q5325838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec7426f1d14763615505871c9df972dcd5ecd99","datavalue":{"value":{"amount":"+0.7675750851631165","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":"Q1660767$4AC6F40F-05E8-430A-9590-F74B879A3A3D","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":"2016189db25f52086bc990ed669ae422ae17242f","datavalue":{"value":{"amount":"+0.7655050754547119","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":"Q1660767$CAE49576-6896-42BE-961C-76A331ED35CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684ae8713c9dd9a87dfbc129bc87879be0efd8b6","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e62a2fdbb876c6a14e9ce9fe5765d86db8b8b93","datavalue":{"value":{"amount":"+0.7638923525810242","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":"Q1660767$CA64D75C-FB83-43EE-92A1-5180F7F19A0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A comparison of time- and reward-bounded probabilistic model checking techniques","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_comparison_of_time-_and_reward-bounded_probabilistic_model_checking_techniques"}}}}}