{"entities":{"Q5096098":{"pageid":7125674,"ns":120,"title":"Item:Q5096098","lastrevid":58433697,"modified":"2026-04-05T05:06:54Z","type":"item","id":"Q5096098","labels":{"en":{"language":"en","value":"Finding polynomial loop invariants for probabilistic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571437"}},"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":"Q5096098$24B661F6-E9AC-44D4-A7BE-63EC3F735120","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25237cf48c25477abbf7270c7ca4a6ca4d99749c","datavalue":{"value":{"text":"Finding Polynomial Loop Invariants for Probabilistic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096098$896FD085-DC87-4477-8C06-15E21196891D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c99af0b74c17ad68265e58f59cb95b805dfe599","datavalue":{"value":"1495.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096098$C42EC079-4C73-43C7-A4B9-6AB440C8DA58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26d78608f92904b5ffdd47dee19e26c725501418","datavalue":{"value":"10.1007/978-3-319-68167-2_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096098$3A075C2F-B41C-401C-8C00-3A4B47F171F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed781b521021ee3d5197023080778c22ff95cb31","datavalue":{"value":{"entity-type":"item","numeric-id":2508088,"id":"Q2508088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096098$0927A625-87D5-4116-BF4F-B5748D3AA1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096098$65B0E9AF-5A73-4E41-906C-ED9C0F3A4317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096098$F9EEE32D-1B2D-4F1E-914C-13058298C85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0038878076b301e6462b2653f0c09b0d02a59b41","datavalue":{"value":{"entity-type":"item","numeric-id":351969,"id":"Q351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096098$5FC7C009-7DF8-437E-A1D5-15D5E2E30E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096098$BF809179-78FD-47DC-A276-359EC860F9C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096098$212DC454-E4B0-4299-A1F6-69009DAF1B40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096098$0C9DCA35-4142-47EF-8C4F-E7550CD13FD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c5f0873c30a9cff2db7344e1ec6160c5fc416b5","datavalue":{"value":"https://arxiv.org/abs/1707.02690","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096098$7B81988D-B78E-4208-A65F-14F29AECDFAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096098$A2EF9D18-E6B3-4C3B-BA89-E09942FC1197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096098$F4DF1864-3C79-478F-A9EE-62BDE95C8DC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a4088e32453994955ac3a82823206b15bda0715","datavalue":{"value":"7571437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096098$F810BB10-C266-4C76-A892-2B523472B1CB","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":"Q5096098$098245B6-234C-416C-9E74-3880F7BDFCF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"879c5ce5988f75e20717e188499d66935f820709","datavalue":{"value":"W2963258324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096098$EC63E1DF-4762-4256-B379-FAA3AB600800","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3bc9fc7b27ddc2fe3290dcaeff04a64c57cf55","datavalue":{"value":{"entity-type":"item","numeric-id":1702935,"id":"Q1702935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a946c601233a27b2e04c9ffac1a7c2779a1a852","datavalue":{"value":{"amount":"+0.8752259612083435","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":"Q5096098$EAB04BC0-8FB9-4632-B8C3-F59CF17B68B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb23bd8c9cdca6792eabcff20647876a470cc75","datavalue":{"value":{"entity-type":"item","numeric-id":5096093,"id":"Q5096093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db75de29003bb6af1497d344df53d174a9f10db1","datavalue":{"value":{"amount":"+0.7641676664352417","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":"Q5096098$A9EFB652-3DA0-4320-8165-0E2385031AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e0f2451645533cad78115fe506fcfadc4570b2","datavalue":{"value":{"entity-type":"item","numeric-id":3296330,"id":"Q3296330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21ef88d6effda9bbe2875718aa9896b3f2bf49b","datavalue":{"value":{"amount":"+0.7524185180664062","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":"Q5096098$103C73F1-626D-40B9-8E74-AA10BDFE331C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8242cb23154939e3c7ada1e404fda49d2e0e93d","datavalue":{"value":{"entity-type":"item","numeric-id":3297595,"id":"Q3297595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ab98cf162005c3ab0cf8e447455fa9ed911c15","datavalue":{"value":{"amount":"+0.7486869096755981","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":"Q5096098$6FA79B9D-47CB-4CC3-8FDE-14468FCBB380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0574b314bd4d8a17aed6960ec0b4d41e6491bd","datavalue":{"value":{"entity-type":"item","numeric-id":2938082,"id":"Q2938082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe971c5c3b5c7def742f2be735386bb0e818f85","datavalue":{"value":{"amount":"+0.7482889890670776","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":"Q5096098$DF529B73-CBC3-4798-8189-D5C62B53C6E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096098"}}}}}