{"entities":{"Q3510805":{"pageid":5540709,"ns":120,"title":"Item:Q3510805","lastrevid":50400665,"modified":"2026-01-13T23:36:16Z","type":"item","id":"Q3510805","labels":{"en":{"language":"en","value":"Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297047"}},"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":"Q3510805$7DE6244A-0DF6-42B7-BC58-DCD8E4560645","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ded38fe2bcd5c5aab77c1226673c7062bad36b07","datavalue":{"value":{"text":"Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510805$A4AE07E6-9C6C-49C0-95D3-43E7FF158A54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32fb9a9ece8ea44f1ed1f08053ab1e9ae02c718a","datavalue":{"value":"1141.68470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510805$28B3FB94-964E-4559-83FF-7C1C105D53F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e45846468aef6be74dd7efc1e5f2a4b46191aae","datavalue":{"value":"10.1007/978-3-540-75596-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510805$24B6B3D1-A3E5-4130-8AF7-6C405A0E26E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7212e30b632f2e93de3964c7abeeef134479d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":458373,"id":"Q458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$D17D9937-1A29-4F33-B848-AC68105BCC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$C8A106A3-D465-4B40-9128-B251BCB9DD33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$D7A639AB-5A2C-4886-8083-1E597F1972A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510805$4BC9C069-F4DD-43E3-9E9C-6A608A0D27CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510805$39A69637-7667-41E7-A425-52787960B413","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d7e155ec1bc61f6a4245dbd11ff9f4d9f555023","datavalue":{"value":"5297047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510805$C7F06124-2CC0-41AB-B1C0-8799CCA428C7","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":"Q3510805$B8DD969E-1AB8-4C20-8B4A-CA53B58069E9","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":"Q3510805$1E473744-85ED-4F25-865C-0FE325C0B3A8","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":"Q3510805$C351EF33-B177-4A3A-8813-E516567C2B76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b092c7a904429b08eb5a5adc55a31be1e87a004d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75596-8_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510805$61E9B5B2-6A6F-4CC1-96E9-D3568BE6E906","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f210aa4176966875e1a0abf0cf169a0f1bbac9a","datavalue":{"value":"W1677369871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510805$E6369DEB-85CD-48A1-B7C0-12965D7FD6C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30979d60df1170827847b57833021188af6b113","datavalue":{"value":{"entity-type":"item","numeric-id":5897962,"id":"Q5897962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$175C4BCE-272C-411C-9772-C47156A35F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1c46249b47f70463a428951a007f8cc8960a13","datavalue":{"value":{"entity-type":"item","numeric-id":3511221,"id":"Q3511221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$FAD68031-C8F4-42F6-8EA1-36EAA11D7869","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":"Q3510805$83AC34F2-B931-4465-AE03-A65B100D6CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$AE51A665-4544-41A8-9882-F62016B71D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0303c1310c6269f943946baba9f3fea3e54f47d","datavalue":{"value":{"entity-type":"item","numeric-id":4210169,"id":"Q4210169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$D027F67F-0E70-4A57-A953-A3AAAE11DC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dffd59d692ed5d1657a973da291e337f11dbc99","datavalue":{"value":{"entity-type":"item","numeric-id":4417920,"id":"Q4417920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$D3632BB5-51ED-4BDF-8B12-AFE0046A8B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"080dc2a317ac2282f34ff9b2d843ed33fb8989db","datavalue":{"value":{"entity-type":"item","numeric-id":5758104,"id":"Q5758104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$CE9713C7-F10F-4EC1-A73E-84648F572287","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":"Q3510805$C431FCB4-45EB-4E86-AEA9-AD580CC9761E","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":"Q3510805$BE030EE1-1A8F-4598-8312-1876C10F8AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bdbcac6d766b6e25667781a4fee775150aa2afe","datavalue":{"value":{"entity-type":"item","numeric-id":3785723,"id":"Q3785723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$7919C1DF-DB00-4EEB-9BFD-A893F37FE69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9d4bef600de63820f7174f919da70ecf6895bf","datavalue":{"value":{"entity-type":"item","numeric-id":3923308,"id":"Q3923308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$DFD55516-D409-4C98-B7C4-FF8E44E61D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481547f60ed568130e5c759ceeacc52cf0d1c02c","datavalue":{"value":{"entity-type":"item","numeric-id":5900684,"id":"Q5900684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510805$C510C66A-31B5-442B-8005-73BA97E6ABDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437b98c01b6db117ed8768fb1a95a5a149ac0678","datavalue":{"value":{"entity-type":"item","numeric-id":5758104,"id":"Q5758104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"364867740c1bdb7a0e2f32a1006b73f6c070f588","datavalue":{"value":{"amount":"+0.8672319650650024","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":"Q3510805$CD561F22-3E2A-4F14-B099-553F98025FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7635344bab1fe678c8d3080a4f1e8766180e17b","datavalue":{"value":{"entity-type":"item","numeric-id":5897962,"id":"Q5897962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e7a02b8f79f84405900efa013dd5bfd0b68d5d","datavalue":{"value":{"amount":"+0.8421853184700012","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":"Q3510805$26225165-581F-4702-AB85-0DD81945A5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e52e18e0676fe9a44d3a377f4e5a30ff599244f","datavalue":{"value":{"entity-type":"item","numeric-id":5175773,"id":"Q5175773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e869e81c034f9e3af089e920531626beeee65fd8","datavalue":{"value":{"amount":"+0.8406183123588562","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":"Q3510805$D5463433-24B0-4002-9BC3-C1752ECFCE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bf5bd1dbf34c3dcac4bc791597c825db13f6b6","datavalue":{"value":{"entity-type":"item","numeric-id":3184702,"id":"Q3184702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf80fbb11989bb2662bd78baf2f32e185eed3c5","datavalue":{"value":{"amount":"+0.8159556984901428","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":"Q3510805$E473E586-7FA6-4D0E-A185-016CB14565DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc363a648756a6c5904a5fa11f162239b64fc75a","datavalue":{"value":{"entity-type":"item","numeric-id":3172933,"id":"Q3172933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230235acc2dd629ac22d3999b2c2ba58b23e34a2","datavalue":{"value":{"amount":"+0.798611581325531","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":"Q3510805$9E066F42-1F7D-48EB-A30E-373F66F8D2CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510805"}}}}}