{"entities":{"Q3316558":{"pageid":3327266,"ns":120,"title":"Item:Q3316558","lastrevid":48682993,"modified":"2026-01-05T14:42:25Z","type":"item","id":"Q3316558","labels":{"en":{"language":"en","value":"Verification of Probabilistic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3846838"}},"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":"Q3316558$4B2151E0-FC2F-45DB-9DFD-27CDC6E0FC1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"806d0445c2e3662fd1f50d0fad298a98396092fa","datavalue":{"value":{"text":"Verification of Probabilistic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3316558$07ED7DC6-8DEA-46B1-BCA7-BE8C9B49E1A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d43bfe1fcfb94dd3ffa247ed321541ad1d7aeda","datavalue":{"value":"0533.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3316558$A848B37F-67A8-4B9D-ADFD-900B5C2A5694","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d670c00d9fe477f81aa90c38e0074433096cda40","datavalue":{"value":"10.1137/0213021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3316558$67B528E3-F76C-4B19-B1CA-38BB35A47A77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3316558$722E5AC1-0A3A-48BB-8B54-C25178139952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d1bf12482695cdef9e154da16db454d5e8e7444","datavalue":{"value":{"entity-type":"item","numeric-id":192152,"id":"Q192152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3316558$D1758A12-D2DD-4DC4-B0E5-CD752552D20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05973d4747711a904c4eb354f325fda834906623","datavalue":{"value":{"entity-type":"item","numeric-id":396765,"id":"Q396765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3316558$B534D27F-8C8C-4F3E-9FB3-856C6270FF3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3316558$CFEE0D87-BBEA-4C07-99C2-41DC0CD58CE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3316558$6A369B63-538B-425C-865B-B5CDC9A4A495","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3316558$483DEB71-8245-49AC-9DC3-6BE9D896202E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b05188363326060cb4ec623c626d42880764c50","datavalue":{"value":"3846838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3316558$22E44A7E-1F05-40C3-8997-23766A9296B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3316558$5B628E34-41F7-41D2-920E-FADBC34E76E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3316558$560FF1F2-C12B-48A6-877B-17C96F050F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3316558$9E65819F-5983-49C9-9FA8-38657CF8733C","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":"Q3316558$BD6517DA-067C-4F11-A6EC-17380D0FE7E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c43d46e1a5c5112791d5eed2d59944b11964249","datavalue":{"value":"https://doi.org/10.1137/0213021","type":"string"},"datatype":"url"},"type":"statement","id":"Q3316558$6AED42FF-0340-4C7E-9EA2-81ECD26AC946","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58b0f03120c529cb584547cc3bedba1844583973","datavalue":{"value":"W2001097638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3316558$B4B36BE5-F58C-461C-BCF1-34628E7451C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069e430bb430cd217bb003a396d40fed1851271a","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c2e296716566091a31b0f9ee9b43d45894bc77","datavalue":{"value":{"amount":"+0.8773666620254517","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":"Q3316558$B67813A9-B1A5-4F00-A961-3870AE1944EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f4034399829c7be670eedad7e312c427b8bd41","datavalue":{"value":{"entity-type":"item","numeric-id":5465856,"id":"Q5465856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1a0af017ed2d8a4d3ef8bb0a89448528054638","datavalue":{"value":{"amount":"+0.8236653804779053","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":"Q3316558$73922B8F-E42D-4051-8AD9-DD6F50C630A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7a59808604549504f21df021d922057b3e59","datavalue":{"value":{"entity-type":"item","numeric-id":5325836,"id":"Q5325836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0691e75661549d011f7842984316a48306e35ed7","datavalue":{"value":{"amount":"+0.8179454803466797","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":"Q3316558$C2F3BB3D-25B4-4681-ACA3-CA4B0B6F2078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb78fb0ce6e11fbb4974fcf12abf053d1faa2f28","datavalue":{"value":{"entity-type":"item","numeric-id":4501575,"id":"Q4501575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1718ec7675dc4b5fc763634cfb0e4af9fc65e6f","datavalue":{"value":{"amount":"+0.8148306608200073","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":"Q3316558$CFCECB3F-C63B-4D38-9B83-692C14F898C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891054bc6fd7d01d8a64cb23297bd9444dae2bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5151032,"id":"Q5151032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6fc63f5fb7925a0e1508965b2261ee6f1aaea77","datavalue":{"value":{"amount":"+0.8108663558959961","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":"Q3316558$0D27EF2F-F9AD-4FA5-8EB5-036C1E13B410","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3316558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3316558"}}}}}