{"entities":{"Q2494794":{"pageid":2505537,"ns":120,"title":"Item:Q2494794","lastrevid":49870438,"modified":"2026-01-11T11:37:03Z","type":"item","id":"Q2494794","labels":{"en":{"language":"en","value":"Model checking expected time and expected reward formulae with random time bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038109"}},"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":"Q2494794$076739CE-D9E7-4402-983C-26A53C7B2DC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a8d1c556e02ad5bef0a0295e88a1f4a2e4b63f7","datavalue":{"value":{"text":"Model checking expected time and expected reward formulae with random time bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2494794$96CF26A7-5442-4EAA-B2F0-8F8D199CE731","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3948329d8dcf61e951e9056bcaeb582afb90b176","datavalue":{"value":"1104.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494794$74C1751A-8249-45A2-86C0-EB5968EFD45F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$133630D1-6F48-4B40-A355-546A5BBC03EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e66041b42d053f5f2145cbbf08b1b29afba170b","datavalue":{"value":{"time":"+2006-06-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":"Q2494794$E155CE25-64A0-4F2D-B28B-2055678EB04F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494794$D6EA0A1D-35B6-46B8-A39C-FFC385AACCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5324c54a5b1cbe1a80cf6fd5ed624d38a1676138","datavalue":{"value":"60J27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494794$E366450B-8586-43E2-85B1-EC8308A409DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4209f4de4d18010ca0cfe0042f0f7e1bdda50c5","datavalue":{"value":"5038109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494794$0F288051-E9D7-431C-8893-AD5775E8F82D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a06eee2ceaafef1da2bc6ea4812b1d8b509e49f","datavalue":{"value":"Continuous time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494794$601D50CB-A92C-457F-8423-F8B1ED041F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3004369084c69708b513e5ff2490434cfa4aa6cd","datavalue":{"value":"Continuous stochastic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494794$7B41976F-D609-407B-B7EF-E55724E60316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c64332bdfea8a830db344c30a35c981b337af86d","datavalue":{"value":"Expected time operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494794$C9E7F895-C686-4C79-8D0A-434A15755C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3bc70695e4c21eee47841304ced81b8a693d364","datavalue":{"value":"Expected reward operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494794$88139C9E-02A9-4E5E-BD0C-121E2259BE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cbbc041e4b7868cae592d23cc37ee2fcaaa64a0","datavalue":{"value":"Markov reward processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494794$99564A9B-A91B-4A10-A008-5A901BD57502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed6c6107c1e78b9f25ac0083656c8dd1265b01c","datavalue":{"value":"Mixed Poisson expected sojourn times","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494794$8D773C53-1307-4896-8014-2D7FB327CEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f6cfed8e38c929eae15cec4c6e3ba4d79206c9","datavalue":{"value":"Uniformisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494794$9E4A7684-7D46-421D-AD98-D413DD715497","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":"Q2494794$81F08750-2AEF-485F-9761-476A3CF8803E","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":"Q2494794$AF620AD6-098E-4386-927B-F9B15C3DE864","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6452cd52d7d3adcdb5deba3505d22dac5a67ba8c","datavalue":{"value":"https://doi.org/10.1016/j.camwa.2005.11.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2494794$08881667-124E-4BF3-8573-0137A32CC5C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"008ca9706c969126d6683cfd870c2838eb88dd5b","datavalue":{"value":"W2047473202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494794$6991B7F1-F2E7-4954-A2FD-4619319CFF38","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"15bc821b45962b4084b0277b7d3d5622f639596c","datavalue":{"value":"Q59323919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494794$85341766-6D73-4C26-A2A2-BC5E3D83714E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9500ff483f0e1f97a5bb78b70386b2d6dcf53f0","datavalue":{"value":{"entity-type":"item","numeric-id":4798030,"id":"Q4798030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$65171192-E3D6-454C-82AB-0328450ECBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$AD7F2CC3-BEA6-480A-8BB2-891A17CD1EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061ceb32f196efab4e3492cc20506efef48ae10b","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$2898D92D-22D6-4913-8561-56D8E096C3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$A34C7F25-04FA-4B23-AA4B-64A8466095F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$D490938A-F8EE-4079-B331-AD8F9BCCDA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d81fa34b75538c6fc7490766c0d7105fcbddbad","datavalue":{"value":{"entity-type":"item","numeric-id":2754096,"id":"Q2754096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$AC68E7A5-DA8D-4B88-B4A8-2BBB6B72D20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e462f460c254621887670d8dbe8769059b3ea08","datavalue":{"value":{"entity-type":"item","numeric-id":5820901,"id":"Q5820901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$F4D5C20C-F37D-40BB-9E44-FAFD19325F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793fcd3ea811dcabb805930c734141dacc4a90be","datavalue":{"value":{"entity-type":"item","numeric-id":3321196,"id":"Q3321196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$C2A30F6C-B45E-41C2-9861-BC7F5B0E4A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$11A74DD3-EC51-491D-A9D4-46F67D6EB121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97df3f653d6b536ecca05b47a009cad1a4b94276","datavalue":{"value":{"entity-type":"item","numeric-id":4485810,"id":"Q4485810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$FB233956-68C9-4AA2-8330-33E935ED018D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82e4d5b6f7cecb54bf2d22b6660781783fc977e","datavalue":{"value":{"entity-type":"item","numeric-id":4798032,"id":"Q4798032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$026402F6-91C9-4E7A-80DE-9509E5EE1440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a90adaeefb03843bf51c8e2d87830746cea75e","datavalue":{"value":{"entity-type":"item","numeric-id":4813203,"id":"Q4813203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$8F449646-8CF0-40F2-B32F-EC429B2196CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a216bb929641aad3c6a1305e1a60f15d66df97","datavalue":{"value":{"entity-type":"item","numeric-id":1125048,"id":"Q1125048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$0028C907-531B-4B83-A6F6-800B5088B208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b1db4a744416ac739d5e6c72c2c7ce3535db13","datavalue":{"value":{"entity-type":"item","numeric-id":4864760,"id":"Q4864760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$BC63175D-4891-4CAF-843E-01CB57381BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b929f4a82199d1b3e0adc83ee2813f545ae383e9","datavalue":{"value":{"entity-type":"item","numeric-id":4226175,"id":"Q4226175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$C8FC311D-67B7-4D76-94DF-956B34281F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d26fb84e59105718c39428cadb565247186a19","datavalue":{"value":{"entity-type":"item","numeric-id":3138427,"id":"Q3138427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$FADE3083-A17E-49F1-B10D-E54C39E9335C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67f001abd91bcd304fbac2cd7ca2662174fc9e78","datavalue":{"value":"10.1016/J.CAMWA.2005.11.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494794$A1524037-3ED9-4A34-93C0-BBCDF9811375","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494794$D2A70259-23B4-4D24-8BE8-3CA65ABE6CBE","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":"f9462d9b69b8140b854bd86a7b4a506c81dff76f","datavalue":{"value":{"amount":"+0.9064640998840332","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":"Q2494794$0E5577F4-2D21-4114-B02E-ACDA7DC6DE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6cb31b97ac514b6022e7162a9f4fcc73cbefa8","datavalue":{"value":{"entity-type":"item","numeric-id":2754196,"id":"Q2754196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e751b28bad0feec63740e0432e89479be59debd2","datavalue":{"value":{"amount":"+0.7850035429000854","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":"Q2494794$E8CF9E86-3959-47E7-8EE9-B340D5043075","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":"338b6ccca6f3ff476d71cb3b55f57537ac0a4f9b","datavalue":{"value":{"amount":"+0.7797219157218933","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":"Q2494794$2D2222A3-5AAB-4509-A34F-0EBD11E62590","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":"a4fc923ec33f259f8412219f4fe27c6553307932","datavalue":{"value":{"amount":"+0.7711769938468933","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":"Q2494794$917D3F74-8CFD-4EF9-BC0C-4024C1CC3B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca06ef0616aba8c589d663ac369ff98348ff137","datavalue":{"value":{"entity-type":"item","numeric-id":1941693,"id":"Q1941693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8743812f75ade4786a8ae9c621f918b625ef19","datavalue":{"value":{"amount":"+0.7691757678985596","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":"Q2494794$D89990E3-8AA5-4BFD-B050-206F98A97A8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2494794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2494794"}}}}}