{"entities":{"Q2828275":{"pageid":2839013,"ns":120,"title":"Item:Q2828275","lastrevid":58017342,"modified":"2026-04-03T11:31:20Z","type":"item","id":"Q2828275","labels":{"en":{"language":"en","value":"Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642962"}},"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":"Q2828275$C0C65041-E6D5-4ECE-A9A5-63386771C4C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66327d6c07b47121de988ec9904946e47072b1de","datavalue":{"value":{"text":"Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828275$B136AD18-6765-47C0-B554-83924C8799CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbcaa62286a682b9a55687cb8c211f12504c7919","datavalue":{"value":"1347.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828275$BA1358F4-62CB-497F-9485-492F546692B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4893e12d7d8759a5462430184f2d24f5338b6ef2","datavalue":{"value":"10.1145/2837614.2837639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828275$F6C3889C-EBF3-43B8-8BA7-971436B11DD8","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":"Q2828275$22077214-6D79-4746-880A-6E0C96F6F496","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":"Q2828275$01CF222F-61F0-4EDC-8665-CA6D2DF49A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b58d6d8a64877b68bbf8f4d96113ba3c5c3da911","datavalue":{"value":{"entity-type":"item","numeric-id":2150290,"id":"Q2150290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828275$475099F7-345C-4733-9456-DE8CE46B4A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8381eb53cd0bceb5ed6a3f40217bddacd0ecccaf","datavalue":{"value":{"entity-type":"item","numeric-id":6166144,"id":"Q6166144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828275$F90AF328-38E5-43F6-8E51-0BE1F048A2F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828275$2F4E187B-55D7-49EB-89B4-0F12C568DB08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828275$0351569B-CFDC-4CA9-BB74-07437E5EA6FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f51b4862fea0ad9911b40166cf7fe98b9db4da9c","datavalue":{"value":"https://arxiv.org/abs/1510.08517","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828275$222BC489-8F30-44CB-8E5E-EDDA0D72571E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828275$1271ACEF-90C3-4E50-87B2-F8D1508416C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828275$0B71B551-17AC-444F-B6AB-C0BD76EED2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828275$B11BA9C7-34CA-447F-A3B8-8089D36C9ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828275$C41B5FBD-2CFB-4153-89A3-59CE774E65DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ad1f15e0ab063753167d67f5a12798cdc8ff987","datavalue":{"value":"6642962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828275$24C55D30-27D1-40EF-B959-25A34AF5A2AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"245f22e847d54aaf868a97e707981e1b10ddd91b","datavalue":{"value":"concentration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828275$74A7E2AD-BA20-4952-ACAF-5E265B6DDD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828275$93282C32-E3D3-482E-8FE8-A7B6C258C76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c85e4f06968c048a23713c3db1331c76de464343","datavalue":{"value":"ranking supermartingale","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828275$4391DDD8-65C0-423F-A5D6-B78F6E402CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828275$8DCAF45B-9DC4-4C4A-B708-F7D33BD063B2","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":"Q2828275$71366266-4D4B-42F7-B6E0-1967E92ACDAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4db59c9595cb039063c435ffd0bbaa5f7d83868","datavalue":{"value":"W2233431969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828275$0F3D1D63-66E2-492B-A621-E2EE6044B838","rank":"normal"}],"P1643":[{"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":"bd0b6e70936101b6dfcf8df8b7a73d7751834ab9","datavalue":{"value":{"amount":"+0.8650041222572327","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":"Q2828275$AF858958-B90B-4CF7-A7E3-A51D5C128AD5","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":"84be39b030f775e23169a501fcdaa5d9885ae367","datavalue":{"value":{"amount":"+0.8567193150520325","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":"Q2828275$E44C7658-7803-4AE7-8B6B-2040A38ACEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77b25d279acfbd9db679798dcf23997d7d9438c","datavalue":{"value":{"entity-type":"item","numeric-id":5370852,"id":"Q5370852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13856c0c1875b5927e24e13f76e2135d11c7070e","datavalue":{"value":{"amount":"+0.8533326983451843","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":"Q2828275$F2660F86-F438-4AD9-A2D7-0E3AFCEABE5A","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":"ad2db91fc57c31a11a15ddb572bdda78d4b74eef","datavalue":{"value":{"amount":"+0.8456740975379944","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":"Q2828275$EF2B54C0-E3B8-4259-A293-0D0818EF34DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450f9f766a5c3c8d35786fe303890243742c71ff","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df33735e921968b99d604fd88688bcf0802e6526","datavalue":{"value":{"amount":"+0.8344097137451172","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":"Q2828275$24B5E849-A97F-4743-B707-A1D2F93D7250","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828275"}}}}}