{"entities":{"Q5501946":{"pageid":7531506,"ns":120,"title":"Item:Q5501946","lastrevid":58582695,"modified":"2026-04-05T20:58:18Z","type":"item","id":"Q5501946","labels":{"en":{"language":"en","value":"Efficient analysis of probabilistic programs with an unbounded counter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6472760"}},"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":"Q5501946$C0BE03FE-750D-4651-AE1A-EB7755804418","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c90d35e68d3df4fdd341ef14c87dcf087f6d8809","datavalue":{"value":{"text":"Efficient Analysis of Probabilistic Programs with an Unbounded Counter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5501946$158044FC-9275-43B6-B327-C89FF1B07220","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7242f9158c16817e312bcaa941a961722864e2cb","datavalue":{"value":"1321.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501946$09DD5ED8-477B-4A94-8E49-651FF272E518","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9170b062b62bbeb52a1318da831019b2902a124e","datavalue":{"value":"10.1145/2629599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501946$F33EF16E-538D-47A5-BA07-366D57655261","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90164f212d81b9976368c619f577477b4b6d4fba","datavalue":{"value":{"entity-type":"item","numeric-id":340567,"id":"Q340567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$CA045F54-F10C-48BA-B82B-7900A2725523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62012c44fa6c563fe5eb1edf4cf0db84f8565b9","datavalue":{"value":{"entity-type":"item","numeric-id":396601,"id":"Q396601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$5D2CA5BF-5BED-4EA6-A48C-8DDE0F604B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$CC7AC7DA-F4FE-48D1-B90D-3008DC67B0F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$A0CE0260-7E6B-4765-A54A-A02184FB7822","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e707dd4d7213461cc903b9e4b7897b1f5211ea3","datavalue":{"value":{"time":"+2015-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5501946$3071F2D9-27BD-470A-B2B5-D6F32C63C197","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2df343f5e30b877db79a9c9cf59e3d5187643ed6","datavalue":{"value":"https://arxiv.org/abs/1102.2529","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501946$0CE1C1E6-B8A1-4472-842F-CADF9653231B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501946$F7A91E96-3370-4B6A-8ED6-5E36125D9241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501946$584C1F1E-C0A6-4912-8AE4-6319305E6828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501946$D6DE89F1-8B6D-4329-91A9-13FABA79D59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501946$086B9C18-B405-49A9-81C5-B59239F7C8DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"033494b2f7a20eb82f112e3ba876f69a2089ede5","datavalue":{"value":"6472760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501946$3FAB9CFD-94C6-472C-99CD-6E84A97718A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501946$6B5BE676-0B69-4FCF-9158-7FFEDE2F8202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501946$2B23DD8F-A545-496F-B6AC-9E861C802EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0376caf85aa1a227286aefd8a6a03d3ee7a698","datavalue":{"value":"one-counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501946$64D0FF3F-8FF2-42BF-8196-9126AE8E2065","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d71b555d0fc422dfe27ba710278d9a7fb7a533","datavalue":{"value":{"entity-type":"item","numeric-id":32821,"id":"Q32821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$148C1E72-0477-43E0-9F07-DCACC00612FD","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":"Q5501946$A34212C2-4DB6-450D-82B6-52D99A5AA9D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"672609c507e71a2a15a75e7f7ff5e777e1fc0e40","datavalue":{"value":"W1975636681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501946$99A73B41-2303-4B22-97A6-2D2DFC5EA3F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bbd58646a8202e1b479966e626436ca74165f67","datavalue":{"value":{"entity-type":"item","numeric-id":3642872,"id":"Q3642872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$632DB4E9-D060-4A05-9979-55722A574D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a038f806c9bd8f73ed7baf33ff2d6548e03e6ee","datavalue":{"value":{"entity-type":"item","numeric-id":2908841,"id":"Q2908841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$0CBCF0FB-6FD7-4E07-AA7F-05DF39337ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704863479bad5c6291cd0cb94c7924bfb7a989f0","datavalue":{"value":{"entity-type":"item","numeric-id":3587471,"id":"Q3587471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$F9C99416-62B0-4DD1-AF0D-32B139FF3B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5052f8437f78c03e88e16df815042bb5cfcf9d7","datavalue":{"value":{"entity-type":"item","numeric-id":2908881,"id":"Q2908881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$643FB656-46BA-4B3E-89FB-C8D5FC50428C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$57272614-0E97-4490-B03F-536F47A8AC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce3da468c7ac65c043f6875e0dadc26c21b6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5703763,"id":"Q5703763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$FE528096-0175-4904-A7CB-7A41B00EB6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1af63d4fb1b182e57889faf02ebb0ec9fbb312","datavalue":{"value":{"entity-type":"item","numeric-id":5710687,"id":"Q5710687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$5D6B948A-A9FD-457D-AEAE-B188A3023B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$F27827E4-B828-415F-89F8-64B9BF485F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20538ab31dbe4c0509fd81e10316a37d5a89639d","datavalue":{"value":{"entity-type":"item","numeric-id":5553606,"id":"Q5553606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$D5330DB9-BD4D-4A73-9A8C-87F326897BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b117510b4422c184b3dc46595f4fe45ff7a79ad","datavalue":{"value":{"entity-type":"item","numeric-id":3262596,"id":"Q3262596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$616079C9-847B-4C2E-A2B9-DF4F7266A91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87b9e8340a80940e1195e6b72f3d88092aa4d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3549616,"id":"Q3549616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$38468BED-C338-41BE-8ED8-E9B0A9FC3A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f845e87d01fb9e974497b759d6bc381ae5e4471","datavalue":{"value":{"entity-type":"item","numeric-id":5166706,"id":"Q5166706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$43E7930F-1198-4EC9-BC20-441C9A04D160","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":"Q5501946$B5533E78-E30C-4B2C-A08B-8292BC6661AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d674a83bf517aa932103d23bce62f406e799555a","datavalue":{"value":{"entity-type":"item","numeric-id":3415197,"id":"Q3415197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$68344046-1906-46AE-9A2A-D48D32D15D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52672a449eaf798294d266ba2433639238d65388","datavalue":{"value":{"entity-type":"item","numeric-id":3177734,"id":"Q3177734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$95A160BC-C766-4965-84ED-3621B95BFDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c2550f2044f38e927ec98fa3c402888fe8ba32","datavalue":{"value":{"entity-type":"item","numeric-id":3997813,"id":"Q3997813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501946$6ACDE669-9A07-4DA6-81BF-7702EC8193C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0fdd257d206239f5396495178802c69c4b0a1d","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7bd1f7c7de6ba3b8d7a09ab22318f7742df424e","datavalue":{"value":{"amount":"+0.7940417528152466","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":"Q5501946$45F39E48-59C5-4C54-A336-5D25C2A92C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5babf6cc3c57c955672db65436e4f249638dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3012930,"id":"Q3012930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9884a3ae096f510b6edb76312e2f4d817b79ce","datavalue":{"value":{"amount":"+0.7927454113960266","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":"Q5501946$62916E3B-D01B-4AB6-9977-0F3BAC3A7564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad40f4fbcc38b675b55893cc0e9517d037c9de59","datavalue":{"value":{"entity-type":"item","numeric-id":743128,"id":"Q743128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c261ed5353bc3688c147551ac1375c962d41c4b","datavalue":{"value":{"amount":"+0.7898093461990356","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":"Q5501946$F76E4CA4-C716-4566-935D-251B5B40281F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee0feb7bb35066b7e5391f540e70798c7dc92db","datavalue":{"value":{"entity-type":"item","numeric-id":4635928,"id":"Q4635928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b90a63399fa3ce25f2ccd9a85cddd80f1469c77","datavalue":{"value":{"amount":"+0.7891265749931335","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":"Q5501946$BE3E245C-1946-4544-9635-61DF3DC15373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b216213f6a059cf7f0308148fcacfeaf4a13dd","datavalue":{"value":{"entity-type":"item","numeric-id":2802489,"id":"Q2802489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8353dc8aa77c2b5fbe12671b5f2d75abf54cd3","datavalue":{"value":{"amount":"+0.772529125213623","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":"Q5501946$D8B4EC44-79D7-4828-8FC1-B96591AF94DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501946"}}}}}