{"entities":{"Q2145332":{"pageid":2156075,"ns":120,"title":"Item:Q2145332","lastrevid":57749349,"modified":"2026-04-01T06:30:32Z","type":"item","id":"Q2145332","labels":{"en":{"language":"en","value":"Toward neural-network-guided program synthesis and verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543917"}},"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":"Q2145332$3A08BAE3-7B15-4EFD-9FF0-568AF46CD939","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d10687ab44986410a712223fe4e181be75440019","datavalue":{"value":{"text":"Toward neural-network-guided program synthesis and verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145332$9888732F-253D-45A7-9364-4D01E2C16E79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"951cb234a7ab63d2b30a6869d6c43d4aed0b2d9e","datavalue":{"value":"1497.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145332$F43AA21F-6781-476D-A25D-69567F0D0BB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bf4e489157e845680b87574b9a3fe6e620698b0","datavalue":{"value":"10.1007/978-3-030-88806-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145332$68CEF4D2-E843-4DEA-8346-B30287DFE0C0","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":"Q2145332$2652CA9C-F97B-4FC4-B278-03D8EFD4FBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c0b6a24e54626a07677e6201e83b72ae9cc9e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2145330,"id":"Q2145330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$BCDFAD5A-352C-4B94-9821-E8D1437A7D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"543ce8ec5db89c5f8c54774b714f1b3fe29e4a35","datavalue":{"value":{"entity-type":"item","numeric-id":2145331,"id":"Q2145331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$CC2AF742-E529-4071-ADAB-97266182FF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad89601800dc23413dc7ca174df857b300e44e3e","datavalue":{"value":{"entity-type":"item","numeric-id":832226,"id":"Q832226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$DF61A2A1-8ECE-4B23-8FEC-496AB3229362","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145332$58F9CF7B-98FE-4412-A3E8-0867FCA0C100","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf03175b287be5d51fcd3b09300b5fd428e5042f","datavalue":{"value":"https://arxiv.org/abs/2103.09414","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145332$8B91CDDD-CE35-4AD8-BF6E-D2F9ECFC1E67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145332$C2648ABE-4245-43B5-9F50-CF8BB695EAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145332$03D7394C-FAA5-4ECB-BFD0-07C3836A7C3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae46318e03caa5f00bc476dfbe920df96de1ff03","datavalue":{"value":"7543917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145332$07373062-2684-481F-ADB8-2D703521A537","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fac9f12a57b80383023f1d0f3d27b15b8df1d760","datavalue":{"value":{"entity-type":"item","numeric-id":43078,"id":"Q43078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$AC0B1870-A136-4323-917A-6EF5291CAFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"549148d32f0439e7b014790e18353e555528aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$9387599C-CB2B-4E04-9A6E-01ABD4C85460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30bf75efb36ce548a631ba3177096a709329cc05","datavalue":{"value":{"entity-type":"item","numeric-id":34000,"id":"Q34000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$56998560-E128-41B3-8542-5BF36F113033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"108f3c849c940f1f2063b5f364f98201355131d4","datavalue":{"value":{"entity-type":"item","numeric-id":55587,"id":"Q55587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$4FF04628-437D-4F3B-A68F-E18B78BBD29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e114fabacca379e1dc21384fcc7e0a16fc37c466","datavalue":{"value":{"entity-type":"item","numeric-id":56247,"id":"Q56247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$257043E7-ED24-47E9-8B79-0BAC3ADB7906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdeb25770d3a4b51ec03e3ff8130d2fab259c66a","datavalue":{"value":{"entity-type":"item","numeric-id":1354233,"id":"Q1354233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$C1CD87A9-E839-43F1-BA4F-A6587B6B6CA2","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":"Q2145332$8DF7F1CB-D719-41E9-B3B5-6B7BCF9BB2A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcacb600477a31159869d0b909cfbbdc40b9e459","datavalue":{"value":"W3210636085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145332$40D6A6D7-8997-4246-B6EB-52FE594868B4","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":"Q2145332$C5A4F21D-5F7A-4473-9820-EDDB23C71411","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":"Q2145332$46DDD11D-BE7E-42FE-8A81-18C84AD0AD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0560d1c327ad31efacda0335b3172566e741ab91","datavalue":{"value":{"entity-type":"item","numeric-id":2151229,"id":"Q2151229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$1733F9F9-CBEB-49FA-AAA8-E8A96087088B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d76610be2db7a475aae1f8e37aec5be549c297","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$464DFDAC-B17A-4C8F-80E7-85A8AD7564BC","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":"Q2145332$94CBAA46-58BB-4D0A-ACCA-51343DF672C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ac8008fc7a5a5734156abe6133cadbaa63c0ab","datavalue":{"value":{"entity-type":"item","numeric-id":6194583,"id":"Q6194583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$958250C3-74B8-46D6-9F3A-2A948BD8AEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c279a4f816034454a7ed9bcaaef3022383364bc","datavalue":{"value":{"entity-type":"item","numeric-id":5918375,"id":"Q5918375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145332$882ED774-B71F-4718-A9D5-10015F6651BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959808d9f0597fd739fa0ba27b0fc1fa2cc66e04","datavalue":{"value":{"entity-type":"item","numeric-id":2226732,"id":"Q2226732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17e4c73d59fd1305b35fc0e53c84b888a3fd82a","datavalue":{"value":{"amount":"+0.7450091242790222","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":"Q2145332$4537E020-D9CC-474E-B880-5D2F044D23AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab96456c44ebe9575d85b07fc2910500f210c47d","datavalue":{"value":{"entity-type":"item","numeric-id":6487316,"id":"Q6487316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21a14c1a561b7b1fef44c5d5cc3e21914a90f2d","datavalue":{"value":{"amount":"+0.7222992181777954","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":"Q2145332$073B2FD9-7836-4636-BA62-57C612220BE3","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":"0614b4ed46a56d263a27c553ad84b45035998675","datavalue":{"value":{"amount":"+0.7136303186416626","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":"Q2145332$33F59135-956C-4D01-9B89-6BDDE1BE4F9C","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":"7e2676b4d472ec323222226a3f699e97ede0cbcf","datavalue":{"value":{"amount":"+0.7130691409111023","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":"Q2145332$852EC56D-104B-4A28-9673-341079CF3F62","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":"ef79710cbb234946110eb0e3f8b9bfab3b82e42e","datavalue":{"value":{"amount":"+0.7016552090644836","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":"Q2145332$C0F88833-D9F4-4C89-AA5B-CEABE0227C46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145332"}}}}}