{"entities":{"Q2948248":{"pageid":2958968,"ns":120,"title":"Item:Q2948248","lastrevid":79924478,"modified":"2026-05-06T15:01:41Z","type":"item","id":"Q2948248","labels":{"en":{"language":"en","value":"Improving time bounded reachability computations in interactive Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487511"}},"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":"Q2948248$DBF73B86-810F-46EF-8F22-5BE3B0175433","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c39dccfc671adc24ce395f505d09cf10939d0ca","datavalue":{"value":{"text":"Improving Time Bounded Reachability Computations in Interactive Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2948248$A1B49E45-91E9-4A18-86A2-A78D4F793300","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ae54b28e7ea66db699e1d451aa62107f9d0be33","datavalue":{"value":"1434.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948248$5093FA36-82B1-42F6-B252-60CBA12175B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"695caaf84afca3282917837adc29548e740b5460","datavalue":{"value":"10.1007/978-3-642-40213-5_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948248$7C303830-F8C1-46DD-82CB-51AA2691DB83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2338efe013c8248083cda56c50f7975ea158189e","datavalue":{"value":{"entity-type":"item","numeric-id":2403524,"id":"Q2403524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948248$F727A74B-0D24-4B9A-893B-2B663DBD634B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948248$5D5E39AD-C152-4EFD-B01E-EA9AF2F6C95E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948248$CDDADF1A-90A5-4456-9741-DE27C04921CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a02eff2a6739f20c5ba25ea9c06d2f02c0f4ac2a","datavalue":{"value":{"time":"+2015-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2948248$4676F504-6222-4666-96AD-EA9EF59FCB52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948248$FE7FD519-B700-4035-BFF0-837E9A087C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948248$E820AD1B-F886-44F3-8A08-61301F5FEE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948248$C097CD36-44FA-45AE-802F-E3D1C767DB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948248$1E22A068-2AB0-4BE0-825F-405FDC046704","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb090f4247ff0822e4d0e590c8fbed1a0e69d76e","datavalue":{"value":"6487511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948248$A6643137-4FDD-4543-AAAC-ED40B5F72219","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948248$5EFB9120-08D6-468E-BCD1-C6B001D81C67","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":"Q2948248$5B86695A-0F6C-48D1-898A-D0EF3F70D954","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f7567546baf48f2b26be490fd30186710e26bb6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40213-5_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948248$CC9688CA-5036-47B7-9F72-87CC434152FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"406a310e6dcfc059f591a32f32c7acc6989c0d87","datavalue":{"value":"W1623473440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948248$FB13D90D-7FA2-4245-8739-E34BBD22E8B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f71e30e4d78727581ead3703ac5817c399d95b","datavalue":{"value":{"entity-type":"item","numeric-id":2937729,"id":"Q2937729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163b10900c64227e7b3bbcf843ad61ff3ce89634","datavalue":{"value":{"amount":"+0.813904881477356","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":"Q2948248$A0BCB92F-53EF-4C11-929B-3D22FE74F427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee715e587f3b38e40866e1cb19df1dea84016d7","datavalue":{"value":{"entity-type":"item","numeric-id":2842120,"id":"Q2842120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ffe57a679379010fc086e83e8a19c157f0d1271","datavalue":{"value":{"amount":"+0.8111878633499146","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":"Q2948248$68979583-EA85-41C5-A7C1-3FF5667099FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61832110239ed7373c308c3d0562a9d33ee6400f","datavalue":{"value":{"entity-type":"item","numeric-id":3557065,"id":"Q3557065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fb7d0863c8c3104cf8459435c0b9d67c04132b","datavalue":{"value":{"amount":"+0.806771993637085","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":"Q2948248$DEE3F6B0-1975-4DD5-96C5-9F87B19779CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e78293d3952d2e142ca43e1e02bb92287cc54c","datavalue":{"value":{"entity-type":"item","numeric-id":3066128,"id":"Q3066128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25ae538fb44bbc9467250f6aeba62ece3418f6a","datavalue":{"value":{"amount":"+0.8024067282676697","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":"Q2948248$A9FB6B55-937E-4F39-B49F-3E47B9DD98AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5e0be2fb5c39a764010e19b3411eedcb49c23a","datavalue":{"value":{"entity-type":"item","numeric-id":2957522,"id":"Q2957522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9cd95b26a32bf03ef699722999deccae792662a","datavalue":{"value":{"amount":"+0.7874601483345032","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":"Q2948248$CFA00166-938F-432C-B5F9-34C1CD9E4047","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving time bounded reachability computations in interactive Markov chains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improving_time_bounded_reachability_computations_in_interactive_Markov_chains"}}}}}