{"entities":{"Q3012930":{"pageid":3023654,"ns":120,"title":"Item:Q3012930","lastrevid":58096512,"modified":"2026-04-03T19:10:26Z","type":"item","id":"Q3012930","labels":{"en":{"language":"en","value":"Runtime analysis of probabilistic programs with unbounded recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918155"}},"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":"Q3012930$8BC34CF0-91C2-4BD1-816C-2D9A2D1EF7BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c0e67e473f6122041096f9dcb22115c30113994","datavalue":{"value":{"text":"Runtime Analysis of Probabilistic Programs with Unbounded Recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3012930$6D7EB92B-3766-4F30-A6E7-567ECD271B47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7042290ef533b78682836705dad762ef9b7c672","datavalue":{"value":"1242.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$D406AE7A-9763-4280-9F9E-8F30439FF8E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c2b39b00df1fce121c366ee255682c72ce4ab6c","datavalue":{"value":"10.1007/978-3-642-22012-8_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$48F03978-9F51-4FC3-AEEB-D49388F4F4F0","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":"Q3012930$EFA82266-E57F-4592-AA43-251A5F468933","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":"Q3012930$30A28A04-E31C-4F0B-B4A9-77357168C39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab0222b33546bfaf9e2a54385f9f1ff913f5f30","datavalue":{"value":{"entity-type":"item","numeric-id":743127,"id":"Q743127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$046CC26F-9E3D-47AE-A874-1E1707EB7C42","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":"Q3012930$59F18EF8-20EB-4893-8447-6DA4D4EC8F65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$AAEF4372-40FA-4D27-9D6C-1B9478972F32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3012930$1D0EAF3C-5738-420A-BE02-65B497189EEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a5f67919a5cde63aa0da153f65d66f6822f914d","datavalue":{"value":"https://arxiv.org/abs/1007.1710","type":"string"},"datatype":"url"},"type":"statement","id":"Q3012930$8799F3F8-2658-47C7-AF02-9D39FBD1F558","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$63DB6046-80A7-4578-90F3-6FF6D39DEC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$B93EC788-FED0-4FB0-AC38-43BD7305B9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$FB1AFEBA-B5F7-42D4-9F96-EEA7AE946808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$DDC357E7-5854-4BBD-8BCE-D5CA434DE6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$4B01FC15-7582-4918-AC6C-5A3DA01E0E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$DE46A4B5-06ED-4768-9101-2057D440A542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$9A21CE56-E4D2-4B4B-BA59-3832859BC345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$72DF4CF2-8374-4755-931F-D4AAA1F40D61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05e9b348c0106954b09e2379fe302871f94c8745","datavalue":{"value":"5918155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$F231F189-C212-4484-A109-12C64C30B90D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012930$762A8941-AA3F-4669-B0FD-1AE59FA9A64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5af57a20a640a228ee31952e85afe647d9beb750","datavalue":{"value":"runtime","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012930$FB3BB67C-0ABB-4F21-A93E-5437697156AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe301466164a791a9f41d0ef690df9b2d2fe1e1","datavalue":{"value":"probabilistic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012930$5BA88612-126E-40E9-87FB-10783C9B9813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c45e27388111043613bd03f187323b2dc7225b","datavalue":{"value":"stateless automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012930$3C89212D-88E0-477F-9866-BBEB6A24BAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012930$19293B78-E5FF-4C87-8536-4CABDA2C8D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3fe69708bc949beafa0b23f4d021e05bc0a8f1f","datavalue":{"value":"multitype branching processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012930$9CC9ECBB-EEC2-44C1-95EB-2D5B80E4893D","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":"Q3012930$B735FA5C-311D-44C0-85C4-84FB0DE7EF20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c372d997aba34f0779e523519eb745efe2960a79","datavalue":{"value":"W2532902810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012930$159D296B-ED39-46D4-AAC4-26E6B21DAA5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1851f606822bdc96379b262f5f2b766902d5a7f","datavalue":{"value":{"entity-type":"item","numeric-id":5461420,"id":"Q5461420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$CDED02C1-CBE1-4357-8716-67BB1C3212B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d7977e2ba9ef5532ca35e44df6fc9c46266c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5505557,"id":"Q5505557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$4DE57C25-09FB-42D0-965A-8AA06EB9809C","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":"Q3012930$6A7CE266-8155-45D9-B7C1-DEBAE962AC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55845186a8aa93134551753376d39f2708562c4","datavalue":{"value":{"entity-type":"item","numeric-id":5417673,"id":"Q5417673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$768E2719-CE0F-4201-A00C-141ACE18C683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee27ff857d991d6b3f8e75bf9b44517be8c42b24","datavalue":{"value":{"entity-type":"item","numeric-id":5896979,"id":"Q5896979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$5E40A588-F138-43C9-9483-742F428DB25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a18994af3b17abe619a84fecdb3a9a6f46c4a84","datavalue":{"value":{"entity-type":"item","numeric-id":4910727,"id":"Q4910727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$B041718E-859A-4639-8204-CC64453A8562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0564c46ed64586ce6cb13c95495a060da1371ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3068634,"id":"Q3068634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$6C781EFE-CC28-44B8-A9B0-ABF2B03AFB9C","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":"Q3012930$D8F2BA91-6F02-4509-A8C7-F9F3DE6F4789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7618dba3c858d60e577e7b915b9ef7225ee18f34","datavalue":{"value":{"entity-type":"item","numeric-id":3452195,"id":"Q3452195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$5348908D-428F-439A-B014-12D7140E8335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1eb74dc35961dcb1e6adfe219fc2b66bf91b11","datavalue":{"value":{"entity-type":"item","numeric-id":5727090,"id":"Q5727090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$0750761E-E312-4A8D-8A78-6835A38FCDBC","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":"Q3012930$C7E82F4D-19CF-4940-9CF7-FF04E4D0CD6D","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":"Q3012930$7C3F2100-F910-47B6-974E-FCA2254D35F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2557b0e88aca872a2abcbe96a02f5dd6caf05e4c","datavalue":{"value":{"entity-type":"item","numeric-id":4236284,"id":"Q4236284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$70641EBD-6C0B-46E4-8626-C6555F45C3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c9295458ada3d551f53992f0fe6aefb0e26ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4939994,"id":"Q4939994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$D07ECF7D-F052-4706-9632-FAF95AD90F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$23B8CCC3-2085-4924-A606-FB15329DEE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92cebf6da6e6314b84badd340f467160238a503","datavalue":{"value":{"entity-type":"item","numeric-id":5623037,"id":"Q5623037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$F71E10AD-5CF5-422E-857A-E714D6FE8CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ee2fb161750ec37121eb4f19d939b7e5788b0e","datavalue":{"value":{"entity-type":"item","numeric-id":1345591,"id":"Q1345591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012930$2027A590-649C-4BF5-989F-3ECDC878CAEE","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":"Q3012930$0FB1D9BC-84EE-4871-BC32-4A3B194AF9EE","rank":"normal"}],"P1643":[{"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":"f4d2baa7b091b2f9bf90945fcf15c562ceea5b10","datavalue":{"value":{"amount":"+0.959511399269104","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":"Q3012930$ABA4930C-8246-4EC2-BA4F-0ED1ECA2D00B","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":"473508966274de9f978ca95a0a7babf15c6655d5","datavalue":{"value":{"amount":"+0.8065354824066162","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":"Q3012930$E49112A9-5D32-4E4B-BBFA-FE0457EBF207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ddb4b90909657427177a1fb743e34984704f1f6","datavalue":{"value":{"entity-type":"item","numeric-id":5501946,"id":"Q5501946"},"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":"Q3012930$8E671260-C40F-4FF0-A2B4-179D9EAE1151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee755c289f87844c00ec59e1d5c21d6e5e58ecc","datavalue":{"value":{"entity-type":"item","numeric-id":3602797,"id":"Q3602797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98495d47e189a42ec5d85b9a53e05c723cb8475","datavalue":{"value":{"amount":"+0.7834329009056091","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":"Q3012930$9DC7FC48-7E26-4765-B751-3941F45321EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93321a511da9a5267b60384f120f2afdde6e392","datavalue":{"value":{"entity-type":"item","numeric-id":2920112,"id":"Q2920112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e452573465f72be868c4b2fc6fb1ad9b7f02e178","datavalue":{"value":{"amount":"+0.7790307402610779","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":"Q3012930$A98A0E66-4112-468A-863A-EA8EF2B09E18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3012930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3012930"}}}}}