{"entities":{"Q3400550":{"pageid":3411253,"ns":120,"title":"Item:Q3400550","lastrevid":50897330,"modified":"2026-01-15T15:39:55Z","type":"item","id":"Q3400550","labels":{"en":{"language":"en","value":"Time-bounded model checking of infinite-state continuous-time Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666758"}},"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":"Q3400550$A328D532-2EA8-4F0B-AD06-100C1978A380","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"959fdda3f089d62c66c07711890d9dabd9530d57","datavalue":{"value":{"text":"Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400550$0E38D5D3-E593-4B49-95DD-9A8403D2BE3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26c422391f5344397f9ca50eceb995c340a0955a","datavalue":{"value":"1214.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400550$906DDA0E-D565-405B-B6EA-DF539E8E7229","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"378dfee28e31a652029e0b41d09b1493eb06fcbd","datavalue":{"value":"10.3233/FI-2009-145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400550$CFF43BA2-0032-4562-881A-4352046C33C6","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":"Q3400550$AB34E8B1-B783-4F28-A01E-14D01919DE98","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":"Q3400550$B66279F1-CBB5-42DC-8D5C-4DCAC8A06C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c04c4d3aa82402df548239aa67b1fec7b261d7","datavalue":{"value":{"entity-type":"item","numeric-id":627127,"id":"Q627127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400550$C14048B0-2608-41F1-A3C1-1894F21514DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400550$D9F0D7CC-DB73-498F-9C95-739692A1A703","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400550$F73D8B40-AA3B-4774-B1EE-FD7F15290C24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-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":"Q3400550$07E06BD1-8BFF-4CD0-8790-F3C3BCEDC0F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400550$48EE926A-DEE1-41ED-A15D-A3127A224063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8e584321adaffa3ffe9b9b399ee8dfd0a1cc575","datavalue":{"value":"5666758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400550$7BB58F2A-237E-41FA-BE48-1E7521A83C82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dbb54a3d7831a3ee7f457b8c913cdfec9857262","datavalue":{"value":"Markov chains, model checking, truncation, uniformization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400550$39B20D8B-0A92-4431-AD74-66476AF4BBA6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400550$B725F4DC-0E1A-48FD-9C3E-B0E28D132683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400550$E382ABE1-6473-49DB-B1AC-534A81FF0328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400550$96034245-9CCE-4B87-AD54-0141725F92C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400550$B6D58CDD-3F88-427B-819D-14A44A8B540C","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":"Q3400550$074CA31B-7C57-4A59-92BF-1515840DFFB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf04ccc791b8ef48b7a98c08dc5a6f655524a684","datavalue":{"value":"https://doi.org/10.3233/fi-2009-145","type":"string"},"datatype":"url"},"type":"statement","id":"Q3400550$4CA06A5D-B926-4C3E-812B-36A8F518F685","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ee90de64204cc37248d2d8a0d984f41994e99b4","datavalue":{"value":"W2622039200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400550$71058FAC-81C8-4302-AA7B-1D5BF3E4AE19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45590e7e1c2fde35f1e0d9874e268faa51fa4b25","datavalue":{"value":{"entity-type":"item","numeric-id":4813203,"id":"Q4813203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14dd8953869d63b32ab85d63f0f9c83f6074566d","datavalue":{"value":{"amount":"+0.7757298350334167","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":"Q3400550$2A1BB90A-C6DE-4299-8B1D-197077686526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8970d97907d24803f7d91cde0fe30cce91d88425","datavalue":{"value":{"entity-type":"item","numeric-id":4336138,"id":"Q4336138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41c0fb8e0d7cb5a776864f6edce4c9eb9d23196","datavalue":{"value":{"amount":"+0.7711666226387024","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":"Q3400550$3479270D-84B4-4A79-9D34-9DC89052D5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2900382bce6974b1a923a460a15cdc2087d087d","datavalue":{"value":{"entity-type":"item","numeric-id":4791266,"id":"Q4791266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9040b05a246e4f3c15e5317e405a125ebd490787","datavalue":{"value":{"amount":"+0.7680620551109314","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":"Q3400550$35E6701A-2D37-4597-8C6B-7DA245BC7EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e86c268dc1acaf66e0136a2fe8d43f16d7d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48dffa190fcfdb5cd3b4ed2e57a56d995b3e02f9","datavalue":{"value":{"amount":"+0.764311671257019","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":"Q3400550$EB298D12-7D03-4457-8F36-727E79B06585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fccd46ab9f17c784653baf14caa5c13745fdcfb","datavalue":{"value":{"entity-type":"item","numeric-id":2754096,"id":"Q2754096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901edc71607a2886a166f15f6339eb54c72c8537","datavalue":{"value":{"amount":"+0.7617536783218384","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":"Q3400550$F646F7AB-85B5-4D66-99F5-83C8E8F555EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3400550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3400550"}}}}}