{"entities":{"Q2323973":{"pageid":2334716,"ns":120,"title":"Item:Q2323973","lastrevid":71843289,"modified":"2026-04-14T00:54:34Z","type":"item","id":"Q2323973","labels":{"en":{"language":"en","value":"How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7104892"}},"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":"Q2323973$B1D1C57C-875D-4403-A23D-A8AF76A965FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b2dffab0e775df7a267c9eb1f0f557cf974ef8e","datavalue":{"value":{"text":"How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2323973$51591B04-276E-4F5B-A852-D46400628A0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d39c9c41514967cbc01a420cd015abd408bfa62","datavalue":{"value":"1418.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323973$0C6D444E-D237-4D42-A983-81B573D40166","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0695847c85da72f642ffbbf840c6d883d8d9534","datavalue":{"value":"10.1007/978-3-319-89884-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323973$B89E0D42-B844-4276-8621-8BCAA2F018B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16faf97721e3b402aab6b7283700f9e860657197","datavalue":{"value":{"entity-type":"item","numeric-id":832284,"id":"Q832284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323973$12DD6D6F-ADE9-4DE6-9DD2-DDFC8BFE444E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aacfa5b5220f00c3776f4488c780f2bf11d5042a","datavalue":{"value":{"entity-type":"item","numeric-id":832285,"id":"Q832285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323973$3481E884-71FF-40F3-ACEB-40BD16D5BC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6540e32a203254877553aac5eab75fd0bcfef04","datavalue":{"value":{"entity-type":"item","numeric-id":832286,"id":"Q832286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323973$876B10BD-5829-4AC4-8C82-B2BEE3636F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323973$8C661F5A-A5C6-485C-AB7D-B7C8A793941A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e58c5ec13ac9ff2a0c2a7ef47523e32b869731b7","datavalue":{"value":{"time":"+2019-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2323973$887917C4-0ACB-4434-A8AB-62BC5D57F027","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0209f418e05fcd1878e51a7f004cbedb859a1266","datavalue":{"value":"https://arxiv.org/abs/1802.10433","type":"string"},"datatype":"url"},"type":"statement","id":"Q2323973$F4410F91-75F3-43C4-AC7B-B34DA3CD2860","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323973$15157FD8-32A7-4256-94A7-8602DE3F6B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323973$8437EB48-F6CA-40A4-9AC1-6779782323A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b45cfa2e3bb39eda4aa8119d40ed9cc5bf55b12c","datavalue":{"value":"7104892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323973$96CD3392-35FE-4FA7-99A1-913BA60EA764","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323973$31840B9F-5B0F-46F4-9280-669C4325FDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"027e8e21b4e622b950f7390b0c37c555dfaac17e","datavalue":{"value":"expected runtimes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323973$7EF19A84-4B02-4D2D-B6BD-71CC37D24F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323973$65D7C0A4-6220-4E46-A459-8829DE7DA84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323973$0C68C31E-77D7-480F-9695-3649C726F958","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":"Q2323973$6CD547FA-A7B4-4184-8363-4AFA646A3E4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"143aa43f896f3f3294db376c23957916d05253bb","datavalue":{"value":"W2797914422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323973$C960E566-FAB6-4D49-8C9F-696AD45BC8F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9395a1592809e3a660ca28f9afb9fb00f0af819","datavalue":{"value":{"entity-type":"item","numeric-id":3632890,"id":"Q3632890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6cdcd70cea3a83ef7422192c1a6274f9055ad2","datavalue":{"value":{"amount":"+0.7519394159317017","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":"Q2323973$68A53BF7-2FB2-483A-B2C6-834EB6C7A324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98248a10a3e84dbf8d83e8be68da17805dc0aeee","datavalue":{"value":{"entity-type":"item","numeric-id":2056985,"id":"Q2056985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5d9ad75ae315d131200632fdeeec0d22250763","datavalue":{"value":{"amount":"+0.7309662699699402","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":"Q2323973$EFE43CE6-48B9-4660-BC9F-E5CBC3EC5442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e5199474ec27d7a858ac43518c054f11c6a113","datavalue":{"value":{"entity-type":"item","numeric-id":2060758,"id":"Q2060758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c2f1238e848229584e9e1b8003bb4a785dbe62","datavalue":{"value":{"amount":"+0.7229557633399963","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":"Q2323973$59FA7E10-BD9D-4C62-B9D4-621CC557C978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc43a5dc5a7530e50fa68ef6b99ab60dc019166","datavalue":{"value":{"entity-type":"item","numeric-id":4811581,"id":"Q4811581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0843c040dc9bcb4b4724f4b763c7b3be8200a0e6","datavalue":{"value":{"amount":"+0.7220873236656189","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":"Q2323973$BFF141EC-DFF4-478A-B7C9-E9FB7D9C0DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab855e709d31f2846920f70b83f2f8bce5f2d917","datavalue":{"value":{"entity-type":"item","numeric-id":3141221,"id":"Q3141221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb250935f9ae9b102e80f3161ab87ed4f1664920","datavalue":{"value":{"amount":"+0.7209509015083313","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":"Q2323973$5A7EDBB6-9CB5-4699-A114-8C47ECB6A245","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_long,_O_Bayesian_network,_will_I_sample_thee%3F_A_program_analysis_perspective_on_expected_sampling_times"}}}}}