{"entities":{"Q2248072":{"pageid":2258815,"ns":120,"title":"Item:Q2248072","lastrevid":78706520,"modified":"2026-05-06T12:14:48Z","type":"item","id":"Q2248072","labels":{"en":{"language":"en","value":"Model checking for probabilistic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310019"}},"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":"Q2248072$0B5AB5FB-9666-4737-82EC-CBAA9E83E4DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae87c2852902cdcf71a2e481cc5c695f7e43d00b","datavalue":{"value":{"text":"Model checking for probabilistic timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248072$A77DBFC5-DE94-4951-B27E-AD7D9617D455","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9841592cdca3d192284c9831a103a8fe6f026008","datavalue":{"value":"1291.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248072$16DBB9BD-C7AE-4E57-9156-B20A17888F05","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":"Q2248072$39151D73-47A0-4418-9EBF-FA73AB030D6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$2E5EB563-7EA3-45D6-AFEA-FEC2B33E9AB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-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":"Q2248072$A863BB1A-4F7B-4F92-9463-FC503CC439D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"649f2975770f432ad5533afcea9b54a36d2f7e5a","datavalue":{"value":"http://hdl.handle.net/2318/143907","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248072$97D12B3F-1C75-4BF9-B82F-57C1AB2B38A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248072$348BE322-EF5A-415D-88C8-34D456C8B59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248072$390DF442-EF42-4EAF-AED6-3480E8B63A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248072$8EF1E5AF-12BB-4041-928B-60C37A384E78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62f209e3dc7b6c72183e6c631ab7383ebfa98557","datavalue":{"value":"6310019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248072$18F42591-3E4B-46D2-8953-1803113A6A45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2d997bb0bc0a1f981e52a7ffd89cc2ee4d56a6b","datavalue":{"value":"probabilistic timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248072$53D2B33E-A6D7-40A1-9B14-A2D66B38D6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248072$C084B68F-1023-42D9-9426-DFEDABF4905E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"573521abe0f0467564c30c25e6fcdd3c3a358fc3","datavalue":{"value":"probabilistic real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248072$94BDC685-77F2-47A2-8B68-94A8F0C74708","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd1a3dd9b17b8be196d9f3c5587425a76298afc6","datavalue":{"value":{"entity-type":"item","numeric-id":14250,"id":"Q14250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$51DA54F5-4FDE-4E55-8BD2-E533A358901D","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":"Q2248072$C9BA8778-E96B-448E-8415-7D4E8CA14EE1","rank":"normal"},{"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":"Q2248072$25894AF3-1D80-42AB-B234-A5EB32A35F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c78c15211c2ed190a323edf74a43a39941ce473","datavalue":{"value":{"entity-type":"item","numeric-id":24836,"id":"Q24836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$131C3DE6-BE5C-40A8-BAE3-81A87BDC0418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$DC607EB0-994D-4851-BA88-6884A59B4D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65c5f2bc4e1747adbbdeaa77db7bff22e1616538","datavalue":{"value":{"entity-type":"item","numeric-id":14057,"id":"Q14057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$77E82619-73A4-4D0D-9DE9-58BD14C2C59A","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":"Q2248072$2B64836D-88DB-4D73-921C-837E45B09236","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d045363f4c8838b3887c455e7458e5863c70910","datavalue":{"value":"W2086673120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248072$21D1AE72-4313-41C1-ACFC-2E967880B0A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$DD75C6D6-FAF4-4798-A8A9-5C0599F13CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$ACD8081A-1396-44A4-B9E5-B3D234C642B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$72F5EE0D-8C5B-4888-BDF3-04985716F360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180c1b351f9da5c5a2f546f21a2fc2fef81c16ea","datavalue":{"value":{"entity-type":"item","numeric-id":596026,"id":"Q596026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$FA7E0F56-E96B-4C0F-8C01-CB9F94EA3DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0df6156cb24cdd1f06eef3803b53a38672dde6","datavalue":{"value":{"entity-type":"item","numeric-id":2248053,"id":"Q2248053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$0074CA62-0C7C-4C4B-BC65-EA93B96966CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8d5093ff3193c51df2ae941855feb62d3e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4251920,"id":"Q4251920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$463D1B8D-35A7-463F-982F-38E650F8822E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1890a5a7fd4f85bbab217b0cfa3015cd14709bb3","datavalue":{"value":{"entity-type":"item","numeric-id":4965815,"id":"Q4965815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$F8F78129-F65C-4437-AE8A-350AF445EC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58166d2dec15bb9c4046220833826b2bdaa6563e","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$BE1ECD73-C5C7-4638-B70A-7AA54E939F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaf40d26eeea4001d6c19e8a18a0ab91157a30f","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$877A1854-1EE7-4253-B15B-381AC01A0745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea9e58a06cfc6902bf762f38cdcb0128e95ac39","datavalue":{"value":{"entity-type":"item","numeric-id":4264103,"id":"Q4264103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$2D0197AB-058A-475B-877D-D1343C4C46A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a31b57dbb02c7089ba2cc2b956c861b227b262","datavalue":{"value":{"entity-type":"item","numeric-id":3630197,"id":"Q3630197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$98C308B4-F1F4-468D-BE76-C3AE238C0CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c46a80ce044fc1f0b44470b9445d955de57df4d","datavalue":{"value":{"entity-type":"item","numeric-id":2763979,"id":"Q2763979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$546C88C6-86EB-44C8-AD10-2A70E2638D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$DD2735DE-422D-436B-9233-63E43113E04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2f6d9e95ba73935895f0d9510488752c2578c0","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$91A3A106-E1E4-4C90-8052-4268541D92A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9072211bc574ac741d8ae42224fb3b6d393140","datavalue":{"value":{"entity-type":"item","numeric-id":2475633,"id":"Q2475633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$5DA02E05-6C46-447F-8E9C-36D0BA54D1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14de50424f29f300a6c1ab092bcbf44384126978","datavalue":{"value":{"entity-type":"item","numeric-id":5437180,"id":"Q5437180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$7E5E0583-043C-4E11-8F41-2A700608FE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37a48c8d3919297f8fb6663795a2e39b5f04735","datavalue":{"value":{"entity-type":"item","numeric-id":1885906,"id":"Q1885906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$9064E0C0-C403-4FA7-8554-3B1C861F77C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$6CE4582C-812A-4D27-BB3B-13FB76BC45E7","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":"Q2248072$42E9ECF3-4E54-4062-9AA1-6CDA06AD18AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824bf93b5181245b88573e28058822d36f9fc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$40B1A1AC-184B-43AE-84C0-D8D437515AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$9D0BFEE1-E88C-4EB8-A12A-C2CE98062BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$74D58103-BBC0-4078-931F-DC5A432D40E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05eaffa8aa610a7ff4250e21b99f4b71047e6920","datavalue":{"value":{"entity-type":"item","numeric-id":3184689,"id":"Q3184689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$606B50AD-7D06-4C24-BED4-01176124DA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f214698707f91fa03a8bf11e01d65a42ff8e873","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$F6FD1DA0-9480-44E1-AC1D-576CAB8E15B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5809b32e0bebc46ad001f3cb604d727cd6a6d2","datavalue":{"value":{"entity-type":"item","numeric-id":600979,"id":"Q600979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$7263756E-7D4C-4B45-8EC9-DBD5709D0451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614c6e62be4436a6012854ed27b0876322223f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5528211,"id":"Q5528211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$61F82BB5-883A-410E-A2AC-0FA638DD2203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d8a3242bc0f500753c9389550842ad1fd4fa58","datavalue":{"value":{"entity-type":"item","numeric-id":4965870,"id":"Q4965870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$1EA67C5B-F81B-4C14-BB4E-31F1E50FAF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797d73b7b00329be7f930f664b79de6020dcf02a","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$3F12569F-068F-431B-A4FD-23512BA37AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$4A74B91B-1365-4565-8980-DF2A8269E855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d803dffb5e7d3ffdcbee356a627c1a19cd2800","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$6827D21F-624D-4D38-9A3E-97535DA5CAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$6BAB4E13-3933-4BE3-BB08-E2444D0B15FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68db716c887d5568fdebc4c4887e66ff39f5fd7","datavalue":{"value":{"entity-type":"item","numeric-id":1402478,"id":"Q1402478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$30DE0F60-2663-420D-8A89-A12C84004FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc36368f80a66f5158db4d76bfa148823c47a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$5BCF7812-DE52-43E3-9B44-5CADA97AC1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092662f6c5e5c918be8d38fc112657e0d2efc93","datavalue":{"value":{"entity-type":"item","numeric-id":2849849,"id":"Q2849849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$2659D8AD-7352-4F7D-AE0D-D0158F3BC768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$B0934075-B225-450C-AF8F-AD112D88FBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e70d1806e78a82125195a157441f06474cf07a5","datavalue":{"value":{"entity-type":"item","numeric-id":1363777,"id":"Q1363777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$DD8DF03E-C125-4E51-92A4-FE3DE6EDB365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$7FE735AC-A41F-40A2-A5C6-97A4B50942AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324ae09f8da2b7cc1214e7394ec6ac51b0ef5367","datavalue":{"value":{"entity-type":"item","numeric-id":3184704,"id":"Q3184704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$997EE7A8-CFAE-4BE6-80AF-35E38E1A4182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f725e79b52842467d6d333988262c529dff4e35","datavalue":{"value":{"entity-type":"item","numeric-id":816203,"id":"Q816203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248072$B9B745B2-9700-4C55-A43A-538CB8044322","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab3ea06437a7605f6a63df9f3be29e0389234f50","datavalue":{"value":"10.1007/S10703-012-0177-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248072$9B8CC7EE-A356-4863-BDC4-E0FCB8B18031","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068e20c13610b5f52971c924391a84e1c60b049c","datavalue":{"value":{"amount":"+0.8874610662460327","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":"Q2248072$0D4834B0-79C4-401C-9081-FF723BAEE4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e054767b216b1b268d6dd1d73c8b175da91c78ac","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7925a98a94ecd84be7813910f7769932cd555b9e","datavalue":{"value":{"amount":"+0.8829938173294067","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":"Q2248072$C0B1DF65-8553-4E8C-9595-D2B80FF4B665","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":"95d706b1d86ac43eb62f9e6513ee3848d13f36f0","datavalue":{"value":{"amount":"+0.8647162914276123","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":"Q2248072$9001BDA8-BA91-4321-A1F1-A835EECBA293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317b41ac22d4de40b461162d87f188bc7bd0c31d","datavalue":{"value":{"entity-type":"item","numeric-id":5758106,"id":"Q5758106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcdffb915a65c5f1af1734eb9e455499679ae14","datavalue":{"value":{"amount":"+0.854109525680542","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":"Q2248072$37C56F48-57A9-4BD1-AD7A-128418E7D414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f93fca35aff7bd285b30f3bbca171f54402ecc5","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525d5a5ac2840ff9ff5721839c3114a3baa6155b","datavalue":{"value":{"amount":"+0.8516489267349243","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":"Q2248072$C09CE5CE-813C-4895-BD2F-4AAC29F24472","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking for probabilistic timed automata","badges":[]}}}}}