{"entities":{"Q2453108":{"pageid":2463851,"ns":120,"title":"Item:Q2453108","lastrevid":57111225,"modified":"2026-03-26T16:18:52Z","type":"item","id":"Q2453108","labels":{"en":{"language":"en","value":"Local abstraction refinement for probabilistic timed programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6301502"}},"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":"Q2453108$0AF11EDB-56AE-4426-B999-78FDD3FAAB34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12fa518f2fc3d1c1c2504b2843f15cde68b9c116","datavalue":{"value":{"text":"Local abstraction refinement for probabilistic timed programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453108$09598EB7-6D04-4284-BDDB-4CC249518A5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa7c88b65d4fce46d21a632c26a1fce4771d49f0","datavalue":{"value":"1359.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453108$A74C9F2B-B995-44DE-A472-5E939A6C824F","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":"Q2453108$5A7B0ADB-DC7C-4346-B9AB-E861A6B4BB56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$EF550170-FE11-4FCC-A987-2F576E3A437F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7f3fbc447f1c390e2d7e7b93294821ab0240de3","datavalue":{"value":{"time":"+2014-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453108$BA51838E-212E-404C-B5AF-93E39D80C9DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453108$5D0160C5-062B-4CFB-8517-AEEF6E9AAB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453108$EAB5D366-10A1-43B4-AC5E-8CE9A600754D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f00612a57eb47a9d3fa9a3cdf859d92b76d4e5b6","datavalue":{"value":"6301502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453108$7EFD06A7-4442-4CF9-84A7-C4EBB2D4D500","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453108$DC1084A2-7337-4802-8CBB-C0D90729CE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453108$294F95DF-2E13-485F-85E4-37FB639E8861","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":"Q2453108$8FF52914-DA41-4883-A5E2-42EDBBB39FB6","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":"Q2453108$A990D003-C424-4D0F-87F4-E47887D99849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$39C959EB-ED1D-4608-A5EE-7FC0CFACEDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"852e4a219125da37345a2196d87b2c3689f0b703","datavalue":{"value":{"entity-type":"item","numeric-id":16607,"id":"Q16607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$A933A342-5227-4A73-A7EE-830D56097D48","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":"Q2453108$ED2A3C3F-729C-43DB-8807-5F8C306F04B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"572cd0849bcf926f1827041e1b42c371f08cf242","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.07.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453108$5D04F845-0D50-4015-B32E-FDC6F9C9417F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fe742e4654b61abf83ad458ef0d044dba13506d","datavalue":{"value":"W2159969461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453108$6BF7D244-A7DA-426F-8729-051613931C5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$07C7CFAB-6622-479F-AE71-7FABD93A1AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$2B727D78-D439-4560-ABD5-3E16680E01F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dac129a159e5019d1399be30aa2aedbb8b57223","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$F95BB855-1F1C-4FA5-B85A-6176A45A917C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80261a9172a3fe7b744c2e07607c3df774722d25","datavalue":{"value":{"entity-type":"item","numeric-id":4798031,"id":"Q4798031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$14A41661-6104-45C2-BAFF-653CC2BDEFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da470dfdb973baa9fc19c42cc86d12a22b73a8ae","datavalue":{"value":{"entity-type":"item","numeric-id":3512491,"id":"Q3512491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$1EE74AC1-951E-44D1-8C44-F3E42F4705F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae2538fc8d2d22a325f9c06cc9dd15cff1d3f8a","datavalue":{"value":{"entity-type":"item","numeric-id":3600474,"id":"Q3600474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$CAD9C71E-F923-44F5-AC09-80B0CF700CE8","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":"Q2453108$4F331EF2-57FC-4D51-9B5C-56525B8B22E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a6b288a9007533d8ca32334659b6027ea5ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4118602,"id":"Q4118602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$373CF9C9-F94D-41F9-A830-35C6DA8F59F2","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":"Q2453108$9A45CBC6-930E-4833-9042-2CC70F7B6C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91fbe0081838fd7ac09e91e1890dbc7f2ddd0b85","datavalue":{"value":{"entity-type":"item","numeric-id":3588082,"id":"Q3588082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$D8B49A55-DB2D-4D0B-BF34-BC02AFFC30C9","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":"Q2453108$BABF26D3-2551-4EF9-8DE6-B6759785071B","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":"Q2453108$CBFD75DB-D504-42B4-BF96-ADF2176DA69A","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":"Q2453108$BAE2686C-012F-431B-8CE0-C5A76D0DB794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18642a838491c188ef18e183a8a792128a59fc0c","datavalue":{"value":{"entity-type":"item","numeric-id":4216130,"id":"Q4216130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$BDFBF426-C13C-4785-A867-E4DFB6668E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff813a1ed36b1289668459ce925594a8ae55e73","datavalue":{"value":{"entity-type":"item","numeric-id":3656896,"id":"Q3656896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$074EC7A1-9975-4A10-8742-422054E8EBC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da7933d885006c9a744bf2bd6a17cd11152de9da","datavalue":{"value":"10.1016/J.TCS.2013.07.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453108$D7D45B5C-454D-4117-83B8-479F5A9A4A18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fabffb97414819dfa09f8d83abf23af76d0943c","datavalue":{"value":{"entity-type":"item","numeric-id":3600474,"id":"Q3600474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccf5e87a518b35cf2989007ad83a13e0becd340","datavalue":{"value":{"amount":"+0.8055613040924072","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":"Q2453108$46C70E28-A2B0-4729-A6E6-B0DBD789FE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ad0236e1122565125d0f3833c118c3574a4192","datavalue":{"value":{"entity-type":"item","numeric-id":5217312,"id":"Q5217312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0d179bee9b169f6c4c57663505dd42bb3cc7a5","datavalue":{"value":{"amount":"+0.7965014576911926","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":"Q2453108$1AFFDB19-61E9-4348-8D58-5A22F475ED44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8522a293903ff9e2aa2aa355bde41cbd7c13be","datavalue":{"value":{"entity-type":"item","numeric-id":4649305,"id":"Q4649305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054250c92ecb6566aca305a3bb64778423c74435","datavalue":{"value":{"amount":"+0.7956793904304504","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":"Q2453108$0D0363E9-6212-406B-A647-57803ADFD135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f98f6f76a8455a7573440823a0a5c4197f95d0","datavalue":{"value":{"entity-type":"item","numeric-id":4798031,"id":"Q4798031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c940d4824c3cb8684b9243c8731150119c60d52a","datavalue":{"value":{"amount":"+0.7946698665618896","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":"Q2453108$E64FEE77-F88D-42D8-92F4-527530A299F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af635cfe46cc8d109f58b1ea11cb5e3ee0142ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd21103b5c8ee5ff3a0b3a9acbc2c342f2267dd","datavalue":{"value":{"amount":"+0.7883836627006531","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":"Q2453108$0695B0FF-B51F-45EA-85BE-632AF849CF09","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453108$C52727D3-6FAF-46FD-8108-56D339AED3D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2453108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2453108"}}}}}