{"entities":{"Q3460539":{"pageid":5239939,"ns":120,"title":"Item:Q3460539","lastrevid":80504711,"modified":"2026-05-06T16:21:08Z","type":"item","id":"Q3460539","labels":{"en":{"language":"en","value":"Probabilistic programming: a true verification challenge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527537"}},"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":"Q3460539$BC6A44D8-2E4D-403A-A566-1FD90D522AC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12ed28169509d088307b05c1adc50fea8b7a7ab5","datavalue":{"value":{"text":"Probabilistic Programming: A True Verification Challenge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460539$0E365702-116A-48F1-A5DD-330619C79EB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b7d5a17e95a626128c2d10fb748b3c3f4582176","datavalue":{"value":"1473.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460539$4986F383-0256-475C-9024-FF1B8728317B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"899980b2c3f3a1bb6b3402ddd4d6f81454c07994","datavalue":{"value":"10.1007/978-3-319-24953-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460539$5412770B-21C3-49FB-817F-9A22415C08C8","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":"Q3460539$07B1643D-F0FD-45E3-AA14-990EB5573F3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460539$DEEAB684-6333-44AE-B5D2-531B3381A2EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460539$E6AC0459-F148-40FF-9CA6-F2FA8E44C5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460539$84488F9E-3538-4D44-9A48-6FD1D096039B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2a86d2f7295fe58cabe69ccc12972951c480459","datavalue":{"value":"6527537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460539$31EC528E-4248-4A14-821D-49C48E129EB5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a050b03573f9104998543026bebf78d0a61c22fc","datavalue":{"value":"Q57800744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460539$F1AD1404-EFFD-4A60-8FEB-5AF94E520733","rank":"normal"}],"P16":[{"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":"Q3460539$4686891B-7430-4DE6-972B-44C0AF87C439","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"246a410b3a1a9dfee11038de0785c82a29a436d8","datavalue":{"value":{"entity-type":"item","numeric-id":45311,"id":"Q45311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460539$A26F59CE-0E0C-4EBA-8169-BF7865304A30","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":"Q3460539$D9D7B68F-046F-4B47-B060-E8521F1282AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a594fb3cba4e0d57827fc924602ae1b59f2d41c9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24953-7_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460539$6621836F-3A48-40AB-A19C-D8902CFA4964","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a283930d95fda534ca90b573ff0b6c035837c80","datavalue":{"value":"W2237485152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460539$2499AA6D-3D03-4AA7-89BB-749DA06431A3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"10211f47d8711ab8a179544bff20fb483a8e3f4f","datavalue":{"value":"conf/atva/Katoen15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460539$3DF013AD-4662-4E7D-B77C-C0D26A998486","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efbba39e6ee364928b26e2b7a55a1aa71532325d","datavalue":{"value":{"entity-type":"item","numeric-id":5134467,"id":"Q5134467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24bbd842566b6206454bd7830b1ebd64e53d901","datavalue":{"value":{"amount":"+0.7911500334739685","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":"Q3460539$48FB55D7-345F-4B9B-B391-699A95514787","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":"95706f2cea3ebc1782a4a0b677e95bc52495c400","datavalue":{"value":{"amount":"+0.7226888537406921","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":"Q3460539$6E865DCE-B3F7-4BCC-B964-2964C523E757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bc4433e20bbf1ca4a7bd0a5fde00fe23ab4b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1990501,"id":"Q1990501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f817ea7173007b0f3a2b83513a741046716733b","datavalue":{"value":{"amount":"+0.7096041440963745","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":"Q3460539$B6950156-B3CF-400E-B0C4-156A2901A8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a04653cda72cbeaee419ca2710118dbac45f0e","datavalue":{"value":{"entity-type":"item","numeric-id":4370247,"id":"Q4370247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d24a1beb80e971c67886ef0dad7ba73f938c29","datavalue":{"value":{"amount":"+0.6963080763816833","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":"Q3460539$FA8A7840-2872-4A24-B1E9-49F9DBAC6951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808816749787e4dbc649960571c3772ca9dcc09c","datavalue":{"value":{"entity-type":"item","numeric-id":5717305,"id":"Q5717305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9b13838e244c048070b6f8c20a6a602e7cab8b","datavalue":{"value":{"amount":"+0.6947230696678162","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":"Q3460539$CB45E2A7-9AB2-4E23-921D-FB5E8E0C4F8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic programming: a true verification challenge","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_programming:_a_true_verification_challenge"}}}}}