{"entities":{"Q2829281":{"pageid":2840019,"ns":120,"title":"Item:Q2829281","lastrevid":44699307,"modified":"2025-11-25T05:25:29Z","type":"item","id":"Q2829281","labels":{"en":{"language":"en","value":"Formalising Semantics for Expected Running Time of Probabilistic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644762"}},"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":"Q2829281$C2084F87-A6BE-452A-9380-2252D237B1A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c57799b4ced2c25db52abf3ffdac528b1411e538","datavalue":{"value":{"text":"Formalising Semantics for Expected Running Time of Probabilistic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829281$64BAF803-424C-46D2-A02E-B9E0B2E84B1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53de0dc7ad2761f7b06473183e0e784df65e0db9","datavalue":{"value":"1478.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829281$22C74141-3D4C-4FF5-8BE4-BFEF08C96467","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5067377854e2851ceb53d6563a70c714a8d46c2f","datavalue":{"value":"10.1007/978-3-319-43144-4_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829281$04A795E9-F8C4-4D69-A5CC-E09884DA769B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d6620daf8648b9713aa99490f0508510abdae9","datavalue":{"value":{"entity-type":"item","numeric-id":1687531,"id":"Q1687531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$2408D828-D7E9-41D2-90B4-832ED6B5342D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$80349F5F-35A3-4CB0-9225-D3C71083CD78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829281$1C9B7094-3ECA-41B9-A630-FB8CC3495C20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829281$5E767E23-F701-4744-8659-B3655A83899C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829281$66F7A79E-991E-4592-866B-9CA5F0FAF39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829281$E676562F-D64A-4F4F-AE8E-FF5A1FBB637F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829281$AFEFB5B5-3BE1-4DF5-9A93-8C8A054335C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829281$298269F7-08F9-4F8E-BC75-B6732CF0E33B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01e11e8a84b88bd9d6f5cedb116a24bdab05019a","datavalue":{"value":"6644762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829281$F51F2060-080B-46A5-A035-1341FC0FC4B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$92FB8D47-AD71-440B-BFD5-8263D06769C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$FE5F3E75-2B06-45FF-8912-901FB2A31D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$06523DE5-386F-4C50-843D-257AA638D6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c35911ee98ff2de6334d1e2e50eda7a0f208d4c2","datavalue":{"value":{"entity-type":"item","numeric-id":24997,"id":"Q24997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$C1D30890-2798-4812-8D43-403B15BAEAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f6907c99f108b6e9bb16dac439b2e60825fd3f4","datavalue":{"value":{"entity-type":"item","numeric-id":40290,"id":"Q40290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$C611CBCC-75FB-4E9F-88A9-CB072DE06AB6","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":"Q2829281$C7809E39-D3C2-4735-BE0D-8B1C91AB80D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d0d474246edcfd58d6a68917373277e29215e0e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-43144-4_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829281$16652DC0-C82B-4615-BF05-4E53CE8DB298","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4aac32110050c573213cac8da9c0a317be997451","datavalue":{"value":"W2494065672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829281$57C6C64B-7138-49A8-ABF9-EC174BC55F73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1370d4ef41cfc490a43b42eec581952d43ac681","datavalue":{"value":{"entity-type":"item","numeric-id":923886,"id":"Q923886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$697994C4-713C-4ABD-8DC5-05EE56ECE8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59763b3fb25129051745803dae70f5cf79103f8","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$E3E6B1FE-44DB-49F9-98CD-A85E56425DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81309e87becee3cda8d7174d2d8b5b31baaaeac","datavalue":{"value":{"entity-type":"item","numeric-id":2576950,"id":"Q2576950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$D0A16A3C-F193-45AE-A655-DB3FCBADCF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43404ec2d41a8c402f2500bd778d3e2740e76c76","datavalue":{"value":{"entity-type":"item","numeric-id":2802489,"id":"Q2802489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$F161B7BE-39C7-49C9-880C-62C563F1825D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a334f4e96bc67eac9a5d7b987fa6f5d79a92b99","datavalue":{"value":{"entity-type":"item","numeric-id":2802495,"id":"Q2802495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$4FFFA723-A1AD-4E95-8F4A-AF71CFF4B171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829281$F5C55ADD-AD76-49E6-AC13-B2E7E8112D9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959302db33d4025f3f1cdc38988038f7866b4799","datavalue":{"value":{"entity-type":"item","numeric-id":2305420,"id":"Q2305420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e924a924a6c017015b6f72ae8ee8f33534d8e5","datavalue":{"value":{"amount":"+0.9075501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829281$4540E865-C1AE-4D89-902D-3DC6C4E2BD0A","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":"83080ae6428f7df07954e51c64e7af49f497c464","datavalue":{"value":{"amount":"+0.9014387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829281$2258EE53-72AA-4901-A930-730C201BCFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c7c7a8867c58df01cdf665e64f3948dd4130a0","datavalue":{"value":{"entity-type":"item","numeric-id":2323972,"id":"Q2323972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b6a99316d1bd507dbe3ce1b5390633078ef3485","datavalue":{"value":{"amount":"+0.8893026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829281$E423B684-1252-404E-8DEE-5CB8A2AA8301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edacf10063fba44b2be7b514089570da5b515e62","datavalue":{"value":{"entity-type":"item","numeric-id":3575027,"id":"Q3575027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd33f4a696040484366e4609defa6b90fc221165","datavalue":{"value":{"amount":"+0.88449633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829281$627D6773-6A50-488E-80E4-B22689606CF9","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":"c06f0e48ab567c447dbffae6aeb47e860a2db9fe","datavalue":{"value":{"amount":"+0.8823868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829281$6D87A843-AB71-4280-8563-F52E7FBABB10","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":"c06f0e48ab567c447dbffae6aeb47e860a2db9fe","datavalue":{"value":{"amount":"+0.8823868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829281$9FC40B94-00FD-49C6-B9B9-EB2A0C832FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce9f4e502d5ae2286f898cae88acd1b0d32a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":2373709,"id":"Q2373709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5754a6215ec7b207175542852ba58de6aed30f02","datavalue":{"value":{"amount":"+0.8821233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829281$77F03B9B-0655-496B-8D2D-3870066A01D1","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":"e6a6dba8baa98509d8a6ff261d9088f5eca59d55","datavalue":{"value":{"amount":"+0.88144326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829281$825F381D-63DE-4DC4-9FBB-7CADFE9207DC","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":"e6a6dba8baa98509d8a6ff261d9088f5eca59d55","datavalue":{"value":{"amount":"+0.88144326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829281$AB8C645F-38DD-460F-BD46-5E4715B85777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b89ad8ed93a1116fd0253662c436807224aeb5","datavalue":{"value":{"entity-type":"item","numeric-id":5150947,"id":"Q5150947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816da680dc49fd47c5bba6606772b9577c1ba9b5","datavalue":{"value":{"amount":"+0.8762765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829281$8EF570AC-2BC4-4496-94D5-CD806CD03B48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829281"}}}}}