{"entities":{"Q5370852":{"pageid":7400426,"ns":120,"title":"Item:Q5370852","lastrevid":58540821,"modified":"2026-04-05T16:17:08Z","type":"item","id":"Q5370852","labels":{"en":{"language":"en","value":"Stochastic invariants for probabilistic termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794649"}},"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":"Q5370852$7B14D708-C0B4-417E-887C-470CB400A103","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35f5d7b1e2dd43ac5af87a091df340207ad37466","datavalue":{"value":{"text":"Stochastic invariants for probabilistic termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370852$29F9ED2F-D108-4CE2-944F-56E9F587D3DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"264448262f78fe31fa6e4843fe283ac81691d0cb","datavalue":{"value":"1380.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370852$FC18691A-4715-416A-BBB1-7B8C0C1AECAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c6a188e1a0bb7efcb7f093cfa6e462cddaf7e92","datavalue":{"value":"10.1145/3009837.3009873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370852$CEACD62E-D2FE-4E85-BDFF-4EE90E828D94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370852$63EAB373-5A22-42F1-AB0B-AD77B42F2326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11678640a6e912a3bd5c6e3abd03521868996d7","datavalue":{"value":{"entity-type":"item","numeric-id":855151,"id":"Q855151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370852$0C62F3B9-A740-4A90-9500-DFDE4A499FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda3d7f024da16a0466017d0ba3242249661e0fb","datavalue":{"value":{"entity-type":"item","numeric-id":2662674,"id":"Q2662674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370852$72966AC2-5680-4E62-83B9-819314BD734D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370852$1F14AFFD-56E4-4265-916E-33CB15846507","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370852$DECA6134-4CD9-478D-842A-D7164EBEF735","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"070a7138f17941a1738a03724f834a54df72ed9a","datavalue":{"value":"https://arxiv.org/abs/1611.01063","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370852$2E75D279-EC2C-4619-A5D7-5DB5F8F32C9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370852$7975183E-854A-4D94-8B94-376F237D116D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370852$1EDB083C-9A08-4029-83E6-8CD8A6C53558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370852$6FB088B0-C195-4713-AB56-6B6952872D4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23aea95add6106db0cfc194562179340555bcfcd","datavalue":{"value":"6794649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370852$8EE47EF3-1E42-4FBB-817C-15C2FD36B0D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"245f22e847d54aaf868a97e707981e1b10ddd91b","datavalue":{"value":"concentration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370852$7699758D-FABF-4409-A451-469675010CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"497025502464a7cf9612f628a3b10a91be58c373","datavalue":{"value":"martingales","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370852$3438E7F9-586E-422C-9F6A-B07AA719586B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370852$6B4CA5E2-F64B-4AEB-BC73-1D8859C4451A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370852$38061E1B-859D-4D84-BB2B-57EFAF642C87","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":"Q5370852$1DE38977-1037-4999-B3DC-817A40DFAAAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e60bbcb88a613dd0eaa827f4832a199ff3cc228","datavalue":{"value":"W2548604229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370852$A5CCDF3A-02B9-459B-A3BD-2CD5BF8FE524","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0e16081ebb566f5707aa8bf9f857a9fa78b02d","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852b966d38ad690e3026b2d6705219c9022b30b9","datavalue":{"value":{"amount":"+0.9086557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370852$2C2206C6-CA41-4878-AF42-FB568F900416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0ad65784cafc906c770c5a88349840c6fe705f3","datavalue":{"value":{"entity-type":"item","numeric-id":2287109,"id":"Q2287109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2343f1f0e459c4644841ac1324586f711ea3d34","datavalue":{"value":{"amount":"+0.89858794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370852$AF89674E-C9E5-4179-A026-876987C1DC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f33a981c479f63a69152c68141f6a6e02836b99","datavalue":{"value":{"entity-type":"item","numeric-id":3829054,"id":"Q3829054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6442a57e79415142a5309e349246f2a9618f0cdf","datavalue":{"value":{"amount":"+0.8983741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370852$B2283941-6E8F-4626-9A70-88F1BEF1061A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ec1900901eec5499abc240c89be504f822fd6e","datavalue":{"value":{"entity-type":"item","numeric-id":3806793,"id":"Q3806793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6442a57e79415142a5309e349246f2a9618f0cdf","datavalue":{"value":{"amount":"+0.8983741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370852$FB34489E-A3AB-4CAF-91D3-3E1EDA56F2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd952b571a9dd36818cd864b91bdf80b817f282","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07dbade073fa150fdf10603928b60a9730472eba","datavalue":{"value":{"amount":"+0.8904174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370852$DC26C1A2-B744-4A09-8ADA-202D09044FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3469a3d18b764a91eb7f34046613eadaace5a98","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d55ca9d6a5644474c65fa0ae30d79c9d8817f2","datavalue":{"value":{"amount":"+0.8892744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370852$6A1E7B94-31B7-4007-9585-0ADEDE36DC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0657b6459aad20ef0be3f0074db8a3c277789ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4778698,"id":"Q4778698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e0c873047e79a07bae96ef9bf9b3eca42494ed","datavalue":{"value":{"amount":"+0.88856983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370852$7C321668-90BC-40C4-949C-D88CDC80CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ff16d64fe4d89d095f2c0f8846c09b5d767656","datavalue":{"value":{"entity-type":"item","numeric-id":6166145,"id":"Q6166145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3a4c27d9fc38c339146392061c8acc16c47497","datavalue":{"value":{"amount":"+0.8880522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370852$2146D3F0-8829-448D-91F5-4BC71576412C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370852"}}}}}