{"entities":{"Q6045015":{"pageid":13179171,"ns":120,"title":"Item:Q6045015","lastrevid":93746525,"modified":"2026-06-05T05:01:49Z","type":"item","id":"Q6045015","labels":{"en":{"language":"en","value":"Learning abstractions for program synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689221"}},"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":"Q6045015$64343677-3B91-4EA6-98C0-BDB70A422683","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1f910e277d4ed1bed0e89a3e106eaf240c8ab8c","datavalue":{"value":{"text":"Learning abstractions for program synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045015$4E115DEF-C9FD-47CC-8CA6-28244229F922","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bbda5e00dd1294dd024b3b5276f8d0dfe4bce4c","datavalue":{"value":"1511.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045015$7344B34B-F65B-4A0E-AE36-EDE67D354007","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd639bd852cbd82e0d2107faf7fc63af085d4b77","datavalue":{"value":"10.1007/978-3-319-96145-3_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045015$14A48067-EBE9-443B-BE57-870115CD5F2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045015$AB4DD0FA-26C5-4800-93C6-1E292AFC7ADF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045015$A89DCDDD-7BCA-48FD-B301-B836E176D72A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"209e396fdfaa332bb34168df1d8d2cf7f2012309","datavalue":{"value":"https://arxiv.org/abs/1804.04152","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045015$8DF9C53F-9146-48B9-AFAC-15BC036DDC9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045015$D43A213D-EA66-4B56-B1CA-6F2735E8D49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045015$544D9A1C-E97F-4CB2-8EEF-C79F7171237B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d13558a3b944e9af97431e14fb83316e026fc9d","datavalue":{"value":"7689221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045015$3A84A610-B034-45E7-9363-450EAFD046A4","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":"Q6045015$DE723A9A-C0D5-4718-B2B2-244FF9CC90BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fb59a5efa31479e08d6ed1c301805e6732c43a","datavalue":{"value":{"entity-type":"item","numeric-id":2151254,"id":"Q2151254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27818b17dd423bb5c18353dd76b93edaedafcf4a","datavalue":{"value":{"amount":"+0.7963600158691406","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":"Q6045015$C2A6A8FD-7131-425B-9D80-DE5BEBB09C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f7a0e16a9f569fc744c4c6428a565462d3c670","datavalue":{"value":{"entity-type":"item","numeric-id":3296340,"id":"Q3296340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e75b86afc7dc074daa8893d886938f816dc1e45","datavalue":{"value":{"amount":"+0.7722311019897461","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":"Q6045015$32C8ECC5-69C4-4632-B3C5-FD082174B1E6","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":"bf50de6f9ee0ebd17373e79fea3db0c9e5f06f73","datavalue":{"value":{"amount":"+0.7603534460067749","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":"Q6045015$C4D9F13B-2654-425B-857B-8FBB4900C706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1047f0af17db3ddf4e0b51230c359bacf7209c52","datavalue":{"value":{"entity-type":"item","numeric-id":832155,"id":"Q832155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e125d7d26e7ba6a3f5f4403c126e394a0c82b5","datavalue":{"value":{"amount":"+0.7561088800430298","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":"Q6045015$22BF4945-F41B-4788-B336-FEBA5CCEBF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e1607a8f63bdf410541c509fff702f3ebce1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2303879,"id":"Q2303879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49eb142dc8329c9b10f72efa80ec79237e950100","datavalue":{"value":{"amount":"+0.7519444823265076","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":"Q6045015$941F3C6C-6E33-493E-B0DE-7E311962066D","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":"Q6045015$343E8544-4CD8-4EB1-BCF2-3697881C2CFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning abstractions for program synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_abstractions_for_program_synthesis"}}}}}