{"entities":{"Q6903891":{"pageid":20922592,"ns":120,"title":"Item:Q6903891","lastrevid":75551659,"modified":"2026-04-19T10:51:04Z","type":"item","id":"Q6903891","labels":{"en":{"language":"en","value":"Towards neural-network-guided program synthesis and verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8117692"}},"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":"Q6903891$A184D2BA-377B-4AC7-ACD6-6D010547E8A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9509d34765ab84d9aefe0ccd1fbf19026597beb","datavalue":{"value":{"text":"Towards neural-network-guided program synthesis and verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6903891$5066F900-B8D2-405F-A9A4-8EF4D7739EF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67bc91376bd8aeb0e2b0211adc33df02706ce7bf","datavalue":{"value":"10.1007/S10703-024-00468-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903891$AE289FD5-02F6-434E-8ECB-B9D4F9E5A05B","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":"Q6903891$A73B0036-5C64-457E-A5E4-BEA81E849260","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":"Q6903891$5BC3E889-FEB0-4FEC-BD4E-B2F818EFDFCA","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":"Q6903891$CC41A7DF-3A59-47A7-AE07-75EEB4BE5037","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":"Q6903891$B4E31E71-5399-4FA4-8A12-386CD64BFBBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903891$DE072C1F-513E-4E09-AFE6-8B6C875C64ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb362a705940cd90fcce9cff27386cf2e571803f","datavalue":{"value":{"time":"+2025-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6903891$D345A7C1-02EF-494F-9394-A2957A1E8DFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903891$35DFCB39-8594-4D7D-A3E2-E81A757F939B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903891$5CA47574-F26A-49FB-AF41-33DA659D29F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903891$ABA45C67-C565-418A-BDEC-5EA9F7D17E33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b0f8235351365546a297c6ac0803a277df6c586","datavalue":{"value":"8117692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903891$4286C998-0A2F-4E1F-A614-83E1B6BA6F5C","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":"Q6903891$2609015C-A5DD-4BE6-A366-EEBFB855B535","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903891$75A2BD5F-3B09-4B2E-8CFF-84B8DBA3105B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903891$C01807BB-8546-4EAF-8565-9F32152C7AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"694eecdc2f71e4a898283c6db5c2b7894fc662da","datavalue":{"value":"neural network","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903891$D75D0B24-A23B-4E49-902A-B4D8773C2C9E","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":"Q6903891$D3F0B974-C3F5-4EB4-8584-099845FEC40E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards neural-network-guided program synthesis and verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_neural-network-guided_program_synthesis_and_verification"}}}}}