{"entities":{"Q2044199":{"pageid":2054941,"ns":120,"title":"Item:Q2044199","lastrevid":57707787,"modified":"2026-04-01T00:33:30Z","type":"item","id":"Q2044199","labels":{"en":{"language":"en","value":"Inductive synthesis for probabilistic programs reaches new horizons"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378304"}},"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":"Q2044199$463525EB-B7BA-4B00-81CC-A06468A34819","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f04edc10918b05b6acabfad14a8c05f9a1d62923","datavalue":{"value":{"text":"Inductive synthesis for probabilistic programs reaches new horizons","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2044199$76797FCA-774F-41A3-B712-9D47E3681FF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc5f9c63f29848028b4edcc288056175497d880b","datavalue":{"value":"1467.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044199$9E84F352-4516-49EF-B396-010C19EBE686","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb34cefe58d08f54e20adcee99bbced09b5d23c8","datavalue":{"value":"10.1007/978-3-030-72016-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044199$D1723020-085B-4141-A6A4-A1ED95074522","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d15570d0ef8cd57f6c5142718f441c26d575d468","datavalue":{"value":{"entity-type":"item","numeric-id":2044198,"id":"Q2044198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$B785D976-004A-4C1B-A6E4-F0F9BBA4B737","rank":"normal"},{"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":"Q2044199$8D9E9917-2DF7-4688-9307-B68C3CC965B1","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":"Q2044199$6B694F86-5F05-4681-A2E1-1FD89C7AC586","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":"Q2044199$E23D2218-F352-424E-B0B7-BFEC3A464624","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2044199$FC51ED46-239E-4146-9393-658AE783F162","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d4f6c15c1c0402bb48107520d075403a0f9615b","datavalue":{"value":"https://arxiv.org/abs/2101.12683","type":"string"},"datatype":"url"},"type":"statement","id":"Q2044199$25C8F017-4CD5-42D5-B172-952E434ECD86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044199$AB9F4981-3C77-4B06-87E8-6E442632664A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"69417b84cc431ede4e5ec12a55be58b45cd19ec0","datavalue":{"value":"60J22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044199$C3D225A0-7975-4EFC-B817-50F0C6A7D33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044199$00817CB5-B432-4F23-A346-43E300464D30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a7a6233610ae9ae093e89f79a7bb7c851ab00c","datavalue":{"value":"7378304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044199$BDA9320C-EF30-4C14-85E2-50EDB556BA2B","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":"Q2044199$1DF84ECC-8AE9-4EED-96DB-1C0496243EAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cd31c0e07124292cb792f0d541043d4d0996db9","datavalue":{"value":"W3142023506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044199$8E9C3AFB-FD2B-4E84-9237-8A2C7A843B3F","rank":"normal"}],"P223":[{"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":"Q2044199$FE6467E5-FC72-4227-9386-C56689B84E7D","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":"Q2044199$A387C041-9138-4ABA-B8AF-11901B418758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ad567a93259dec814c2a0b906f2d3876f7bb64","datavalue":{"value":{"entity-type":"item","numeric-id":2182734,"id":"Q2182734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$02B7FD1C-DE17-40D7-9A8A-C99DD86B4519","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":"Q2044199$0E90E3EA-9DAC-4923-90CB-1493A456B026","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":"Q2044199$9F2D1AC6-4BCF-47D6-8194-6005C4C990CF","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":"Q2044199$3CDC86EA-C4DE-4CB8-9779-B760A7CAED3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d1d3714be2a0890edfb49bd069fb8200f98c14","datavalue":{"value":{"entity-type":"item","numeric-id":1706149,"id":"Q1706149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$6AD05CEA-326A-4DEA-8A13-5D5C74AB54DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9bcd734c07c2c53cb7f427d80bce7edd2de2521","datavalue":{"value":{"entity-type":"item","numeric-id":2330593,"id":"Q2330593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$E026B75E-16B7-49AF-8736-9C483952D459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d3bf53e94a938d4f9a9fcdc3603c5ab6b47000","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$8BAB81A9-5950-47F2-9882-BF7B30AFE789","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":"Q2044199$8F93B00A-E286-49E8-BE27-98D422910CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfff618deb5a07d98c69588c84a5b8a22d09964c","datavalue":{"value":{"entity-type":"item","numeric-id":5039515,"id":"Q5039515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$8C7A8896-AAFD-423E-A476-40856FB7EBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932e1658ba5f2c3c316d94219b79648def27b84c","datavalue":{"value":{"entity-type":"item","numeric-id":911752,"id":"Q911752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$5DB29170-FF44-43B7-93BC-534715AE192A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd2c3a761d19e638cd0748a3bb6d31e472a507f","datavalue":{"value":{"entity-type":"item","numeric-id":1941879,"id":"Q1941879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$DEBC390B-2D3F-4631-BD9B-97F2C5DD2660","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":"Q2044199$1F69DE74-F2A0-4BB4-8440-8A428EF7602B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c23a63f6e3e7d91870cbc6a28c439197f880d14","datavalue":{"value":{"entity-type":"item","numeric-id":2959083,"id":"Q2959083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$66A6838E-7DF8-4BB1-902B-0B3BF21ED979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$BA08A07C-D195-4DD2-826A-F49F2D3C2EDA","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":"Q2044199$B6083098-6458-4271-B680-38A9BCCECFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b0343cf4a4e9b3bfb60e31eb87d5a3250a5bd","datavalue":{"value":{"entity-type":"item","numeric-id":5246720,"id":"Q5246720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$F643DBC2-3D90-4553-B19B-72B94FB32722","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":"eaa7affe9a7cbd1a41f7e2712bb34bf99d64616b","datavalue":{"value":{"amount":"+0.8486624360084534","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":"Q2044199$6653D829-F476-4484-BA63-276A77F599DF","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":"68472a4a3d188fe4cd111fcc42fff268471d2639","datavalue":{"value":{"amount":"+0.7419841289520264","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":"Q2044199$2ECACB07-4710-4DE6-AB3E-64C3A481BE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55883f4b6ed210a7057519595a9a44967b370395","datavalue":{"value":{"entity-type":"item","numeric-id":1674868,"id":"Q1674868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc77ae0c7167014183b61acd58b5fd8a7455a9b","datavalue":{"value":{"amount":"+0.7351402044296265","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":"Q2044199$35DC4C1B-4BC2-46A5-B3B2-1B160805EE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a34a78c98c762bdc7958e2e1f98ff6e4dbc7ba6","datavalue":{"value":{"amount":"+0.7331330180168152","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":"Q2044199$6BACE3FC-C222-41DC-9854-F7DC0FE51B30","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":"d03bc7ee81b9cf1c224ce8f0aac4f9a0ae99e5c2","datavalue":{"value":{"amount":"+0.7289217114448547","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":"Q2044199$55389084-523A-491B-BE78-77ED72B915D3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044199$527E8CA4-895A-404C-B50F-90D0324B814E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2044199","badges":[]}}}}}