{"entities":{"Q6535945":{"pageid":14147088,"ns":120,"title":"Item:Q6535945","lastrevid":55604935,"modified":"2026-02-17T19:35:54Z","type":"item","id":"Q6535945","labels":{"en":{"language":"en","value":"Counterexample-driven synthesis for probabilistic program sketches"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817367"}},"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":"Q6535945$4B04264F-EA0A-4C62-AA45-CAB30F38B5D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc06dd5954c8bde5027401c676e246fbde519ee9","datavalue":{"value":{"text":"Counterexample-driven synthesis for probabilistic program sketches","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535945$027B10AE-B88F-4C45-8822-B5A83A81A72A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bab5a044718b3ff73da75781f64f9d52f084b1a","datavalue":{"value":"1539.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535945$E9001DE5-73C7-4046-85DB-A240BD92F8F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cbec096482e0a332d731dd79a715391877f0c00","datavalue":{"value":"10.1007/978-3-030-30942-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535945$88D63686-FEFC-4538-8418-DB1F9BC8955F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c6b8ec8130ff9aedec0af96f2fb34ae07f3ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1702920,"id":"Q1702920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$955742F1-7DA1-4DF9-9B7C-6B54D4FBE9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a14aadaba3ee1c49c7c97749d47f2495cce17eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1982640,"id":"Q1982640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$F1D03739-3BBD-4180-9306-91B18DAA9064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ef31944b5821ac2278e65baa6cb79a07bb5617","datavalue":{"value":{"entity-type":"item","numeric-id":832289,"id":"Q832289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$7D6569EE-09DB-432A-B9E6-9422DAF6EBA2","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":"Q6535945$6360AF5B-1632-4807-8965-4762F6B580DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535945$E3C2E9C5-E586-4D95-9ACD-B47A40322DD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535945$061E81A4-629A-4E75-BC87-3EE03F7A25E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535945$191445CC-0C07-46AD-9E4E-3117E6A38988","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1a03434b69ba178c2d1c793853e91171e5f3f81","datavalue":{"value":"7817367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535945$BDA6F2CF-C3B1-47CD-8DFC-33A8FCBD8198","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":"Q6535945$8168DDF6-DDA7-4173-A773-07EAACA4A208","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787c7f3cb61acca16f17ad60318f0f784520c26a","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$00D36E76-D705-429D-978A-33DF03A2CBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dafab4d122931ce8cf42ed94daf61a8156bd27d","datavalue":{"value":{"entity-type":"item","numeric-id":5175773,"id":"Q5175773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$E8C513ED-2DB3-4F8D-BE00-A4E4D03EC783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f70262b2de3784ad85111ea4ec26a1867cb6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3396636,"id":"Q3396636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$10D781A8-DEF2-4D88-814F-39B4843F8F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc0d79a331330cac5e0e7d3248ad5c3b9b00cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$E26E5BA2-563E-4A40-A4EF-07ADC1075E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$43C44EDC-F4E7-4CCE-91E8-932142867020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487448dd707475ff2ae733502dd4fc7b7a38882c","datavalue":{"value":{"entity-type":"item","numeric-id":3000664,"id":"Q3000664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$BB67A172-7370-4924-9F05-B5E42F596985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16259c2036a38d4629490c6dc10818752ded7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2340259,"id":"Q2340259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$CCB594AA-3A6F-47B5-9C99-9071B9C1F093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4016355dc91a73e855099b80289db1882a9e207f","datavalue":{"value":{"entity-type":"item","numeric-id":2891444,"id":"Q2891444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$7D5527D6-F27D-4BE9-AF1A-6801D685F873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$1EC3A929-32F6-4542-943E-BE700437D2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1300633675acf07b44945ebc8ec3d38f6555915b","datavalue":{"value":{"entity-type":"item","numeric-id":2828321,"id":"Q2828321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$58C1555D-B07A-4682-98FD-0FC5230DEBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbc85c5e34518094114c0c93d8847435b57abdc","datavalue":{"value":{"entity-type":"item","numeric-id":2164238,"id":"Q2164238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$D57A4525-6222-47C9-84EF-71C78FF21925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205393c6b9cc5afcfbf253fc2c43643c0de62075","datavalue":{"value":{"entity-type":"item","numeric-id":2407983,"id":"Q2407983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$D2F521F2-12B2-4AF1-9AB5-B6FFEB759EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef83b15af192f9015a698c4a957855879037349","datavalue":{"value":{"entity-type":"item","numeric-id":6091408,"id":"Q6091408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$B20F9532-5382-48FA-AD7A-9D2FA1E9F6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441f3f01218a26e5f8faea40de8a76585314f931","datavalue":{"value":{"entity-type":"item","numeric-id":2946618,"id":"Q2946618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$F9A3295B-7A3F-4DD4-8A6B-5F457F5C9B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f761a1386a89c22108c0ccebb6d96e6f172e9a08","datavalue":{"value":{"entity-type":"item","numeric-id":3457786,"id":"Q3457786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$38B7D4B6-4D19-4CB0-BAA9-524D7E036BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9a500c1f797797d23082afa4bdb7183d4cc08f","datavalue":{"value":{"entity-type":"item","numeric-id":386011,"id":"Q386011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$1493B855-A4DA-4F74-A46D-46D625269BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbdbc7a9071875aac437c4544c1a225a570a3964","datavalue":{"value":{"entity-type":"item","numeric-id":2324218,"id":"Q2324218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$942CB8AD-0F04-410A-A809-10499AF0AF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b9d9579952d5cb20c7eee1e484c5ede7b57668","datavalue":{"value":{"entity-type":"item","numeric-id":72343,"id":"Q72343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$D3000FBD-CD46-42EE-BA44-57F5678B9385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a18a9c9e02870b4edba726d3f27a3bb12acd3c","datavalue":{"value":{"entity-type":"item","numeric-id":5217296,"id":"Q5217296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$DE7926D0-23A0-4AD2-A219-1708A6C5C437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bb622635946cfb27ae1c76c821d1fd0a6bb622","datavalue":{"value":{"entity-type":"item","numeric-id":1006650,"id":"Q1006650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$0CC36D09-A78D-4A40-865B-7359E47903E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f001299dcf0081380eda5bff2c6b8fedca418f","datavalue":{"value":{"entity-type":"item","numeric-id":4382665,"id":"Q4382665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$1FB6753F-67F8-4382-B52B-8F20C68F4EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c2f6c744899c9b7e2b29ad4c31bd02c8854aee","datavalue":{"value":{"entity-type":"item","numeric-id":1990499,"id":"Q1990499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$9272758F-23DB-467D-AE6B-AF0E41877FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffeeab1a882018ab2fd9a3350311f16e8b1c7734","datavalue":{"value":{"entity-type":"item","numeric-id":3617561,"id":"Q3617561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$BFBBBFEE-434B-4576-A294-2D19EBF6A748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4dd2629af49f7cb984af9b88e4c86988f25de1d","datavalue":{"value":{"entity-type":"item","numeric-id":2947572,"id":"Q2947572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$95AA8DBE-E6EB-4C60-8A3E-D50D64655B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973a93bc2bfcf23a9279f1712d06f044b6308dbd","datavalue":{"value":{"entity-type":"item","numeric-id":2894278,"id":"Q2894278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$AA1A179D-232A-4544-B8A1-52D29159345C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64500073f4568fa832760e38bdced5255a2807ea","datavalue":{"value":{"entity-type":"item","numeric-id":1392272,"id":"Q1392272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$3BFE2503-5C39-4290-9550-4442538B809A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c144fe0ea4f130eba7b82d3ce7d7278a6cdfe6","datavalue":{"value":{"entity-type":"item","numeric-id":6041137,"id":"Q6041137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535945$2F60D794-A5A4-4599-BCCF-E435B4478893","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e080e441dee080cae44b5b0a91c25e505e2f95","datavalue":{"value":{"entity-type":"item","numeric-id":1982641,"id":"Q1982641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0800c9be3cf4fe8dea2a307ba70f5ab4d86876e","datavalue":{"value":{"amount":"+0.9071010947227478","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":"Q6535945$E0AE85F6-5950-4A96-89AC-789692AFC1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987f675b01259c70e914f3d5c29a1257da0df046","datavalue":{"value":{"entity-type":"item","numeric-id":2044199,"id":"Q2044199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9f088c49dcf616a892c35d95181cb9e2b93c72","datavalue":{"value":{"amount":"+0.8408138751983643","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":"Q6535945$72E71C08-7C1D-458D-A40B-4A93C059A2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0f378b2afacd7a1fd861407e4e760c2135520a","datavalue":{"value":{"entity-type":"item","numeric-id":6194578,"id":"Q6194578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a80319c83467afbf205e18f77227940f9812af","datavalue":{"value":{"amount":"+0.8160837292671204","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":"Q6535945$DF7F42F2-2CE5-4681-92BE-61190950444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f01e58eb21452e110165306d1310d72b73e865","datavalue":{"value":{"amount":"+0.7822799682617188","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":"Q6535945$7B249AE0-F6B8-44A5-B94B-03875326961D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09a316bec52853f04d2fae1e3123c6dfe69c655","datavalue":{"value":{"entity-type":"item","numeric-id":2151257,"id":"Q2151257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9013152cd3bae7ccc92835af8eca0ed104bc75d","datavalue":{"value":{"amount":"+0.7786931395530701","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":"Q6535945$1B732955-381B-447E-89DE-6FB1EBC74AF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535945"}}}}}