{"entities":{"Q6535355":{"pageid":14146498,"ns":120,"title":"Item:Q6535355","lastrevid":57601611,"modified":"2026-03-31T14:03:53Z","type":"item","id":"Q6535355","labels":{"en":{"language":"en","value":"Neural network-guided synthesis of recursive list functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777307"}},"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":"Q6535355$2B320F25-173A-485E-A233-F6E73473F205","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9a0c930c480208966058491e323a8c1aee499fc","datavalue":{"value":{"text":"Neural network-guided synthesis of recursive list functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535355$4AFC8512-7139-4EF2-9671-3384190451E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e95ad1dda9bb8ee174613e86bd6436a31bb5db4","datavalue":{"value":"10.1007/978-3-031-30823-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535355$EBF9B11F-BCA4-44FA-9DEC-AE74753B7AC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535355$3AD46ACA-4825-4111-B2A4-B29D106294A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc763e2b57fbbac9d48da18f7f760623205de858","datavalue":{"value":{"entity-type":"item","numeric-id":2673305,"id":"Q2673305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535355$F530E0C5-3C53-4CAE-930C-A0BD653A35E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"370dd048328bd35e66746fcb16650fb884273700","datavalue":{"value":{"time":"+2023-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535355$B82A3FD3-2DC4-4C9D-AAB2-D78CE7B327A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535355$5D3D3E91-51AF-4296-B6C8-94BC5008151E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dd6e8f6ecca834bbec589339e881dac4cb53d4e","datavalue":{"value":"7777307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535355$0E5F08B0-EBC7-489F-98C9-789EB1991A49","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":"Q6535355$A7488E35-2189-40D5-ADB9-FAC8B8294532","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535355$5E052182-7A26-4137-8736-ECE7CA57034A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db65470a7463e2b5434913efc5d0f584c1f934d","datavalue":{"value":{"entity-type":"item","numeric-id":5919002,"id":"Q5919002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535355$5E40ADF3-548B-46EB-9F15-9F2C28BBC38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894f6ee0bf3080e28c32f227a238a0e6284dbd5c","datavalue":{"value":{"entity-type":"item","numeric-id":5038940,"id":"Q5038940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535355$1BA01ACF-68E5-45EF-8425-140B36FD709A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd164a9365d0b56b26397794a343749f485a4186","datavalue":{"value":{"entity-type":"item","numeric-id":5408553,"id":"Q5408553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535355$97AB1C9F-EEA2-4428-AC69-7804C4F24118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cd654301c4de31d9aee21915a3b505e987c977","datavalue":{"value":{"entity-type":"item","numeric-id":2145332,"id":"Q2145332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535355$9F1241E3-0A1C-4EBE-A031-9096A674E6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535355$5B1F1D08-A587-4F47-8A5E-7EA734C8A82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3cfbfd4b8c85f90612d63dd6f626890492854f","datavalue":{"value":{"entity-type":"item","numeric-id":2145347,"id":"Q2145347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535355$4909A7CB-0777-43C3-B436-3EA1161773C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f6c2a1210474af15244364631b2c95f63c37cf","datavalue":{"value":{"entity-type":"item","numeric-id":2044212,"id":"Q2044212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535355$AEBE7945-5080-4E61-8D78-3074275DBA37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da609d20dbdbe2bfd6c5168a4c9a04e0787c3e5","datavalue":{"value":{"entity-type":"item","numeric-id":2145332,"id":"Q2145332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a15b92fd685b26d3b12495f953c9ef42eb173b","datavalue":{"value":{"amount":"+0.8042877912521362","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":"Q6535355$A9FFC174-5A42-4D84-86B2-9EBE0A9710FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a6177aa920b46e67711b0d857846df95488667","datavalue":{"value":{"entity-type":"item","numeric-id":3093353,"id":"Q3093353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada1207bfd1dbcf9b9b90c34be45d1233b0d78f3","datavalue":{"value":{"amount":"+0.65716153383255","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":"Q6535355$8D7BC2DA-1D13-424E-8C34-16120E4312E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6070ec1fdaa2d5cb8e1b240012881df2505c527b","datavalue":{"value":{"entity-type":"item","numeric-id":3303902,"id":"Q3303902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d2a104bf1249f91bc6ef29ac04e912e4578ccd6","datavalue":{"value":{"amount":"+0.6558046340942383","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":"Q6535355$5108D761-EFBB-4C86-9300-3F3A86D67012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db46351b49e31e524b780d30801740bf678703a9","datavalue":{"value":{"entity-type":"item","numeric-id":6045014,"id":"Q6045014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4692d224d023136ece943f18ea81e3930a4aaf6","datavalue":{"value":{"amount":"+0.6551768183708191","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":"Q6535355$DB793EED-E1AE-4A2E-84DD-C33E961081F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3031398bf340826aa5ffdb29079bb97cc13548","datavalue":{"value":{"entity-type":"item","numeric-id":6045015,"id":"Q6045015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9edaaa241d836a57d3e029d9c19fe893d588be0c","datavalue":{"value":{"amount":"+0.6539484262466431","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":"Q6535355$236D66E2-CE57-4B46-B2DA-F6BF37236694","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":"Q6535355$F847B2D5-15FB-4F6C-A45C-478E571501A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535355"}}}}}