{"entities":{"Q2226760":{"pageid":2237503,"ns":120,"title":"Item:Q2226760","lastrevid":82669373,"modified":"2026-05-06T21:27:29Z","type":"item","id":"Q2226760","labels":{"en":{"language":"en","value":"Program synthesis using deduction-guided reinforcement learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307984"}},"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":"Q2226760$CAF24CE5-4DBC-4FF4-8705-AA244C6BF9F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5837777d89044afa2145c7b6ca8616c470728ae0","datavalue":{"value":{"text":"Program synthesis using deduction-guided reinforcement learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226760$A241E5C0-6DB4-41F1-9F38-20E087620290","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf28f61f1cf0fcb9253d866ac27829526935431d","datavalue":{"value":"1478.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226760$CF16866A-3ADA-446B-94C6-DF381E7BEBAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bc7efdd903251131bc0fd103718cf0e5a3ef9c4","datavalue":{"value":"10.1007/978-3-030-53291-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226760$0FA3C8EA-DB0A-47B5-B5C3-D61AC33A2349","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef1dbc7dfe024c727b6b2eefec0d79cc66c4c298","datavalue":{"value":{"entity-type":"item","numeric-id":693391,"id":"Q693391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226760$0BE04DFD-9119-4677-9FE1-1B088B199ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"030ac50c86408e14b390b6f96d74aa92f546ddd0","datavalue":{"value":{"entity-type":"item","numeric-id":1629605,"id":"Q1629605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226760$111B3919-C908-43C6-800C-FE0D7F7740ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9281b57a8823ac3887c4c94a17041a4335efb2db","datavalue":{"value":{"entity-type":"item","numeric-id":2226759,"id":"Q2226759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226760$576AA883-B19F-446A-8A2B-5EC00AD19A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cca20e34a5ab58eea56fd5acd872992151f6d7a4","datavalue":{"value":{"entity-type":"item","numeric-id":453502,"id":"Q453502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226760$1D42AC27-E577-4845-ABBC-20A2CF8851B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c29014819f67acfc4dd94f29996c3a598e487bb0","datavalue":{"value":{"entity-type":"item","numeric-id":254608,"id":"Q254608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226760$2D113367-284A-4A5D-9A31-17E3977D5F83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226760$1A1DD70D-168F-496A-8580-4597D93622C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226760$8289DE64-CB95-4330-8CE0-48CC0B48FE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226760$DB4E8E64-B0A5-4F45-8B54-5B8F2EB107F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226760$28EB3DAE-6B6E-45FB-BD7D-F5231973CFD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68ac16ef2e6199c7950a229f06fa81c1784daa50","datavalue":{"value":"7307984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226760$85E906AA-D979-4495-B631-D6BA2BA9CA4C","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":"Q2226760$7D69A123-ACED-4FF2-98E6-30E231D0754F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05130b7f13426032f4424a34c5eea9b3aa311396","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53291-8_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226760$D50A2812-6217-4E7A-B273-59776BDB20DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"363e12fc669e2160848054001e261c89551520f0","datavalue":{"value":"W3043557120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226760$B7F6D960-7AB2-4DD8-A579-4B5604DA148C","rank":"normal"}],"P1643":[{"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":"37e30fcc4c83ee916f86cd84bcecd5c009734bc0","datavalue":{"value":{"amount":"+0.7628217935562134","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":"Q2226760$42DA2CCC-A5DA-4A7F-B297-47B74474D1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df83f0edeed53dca420b3429addb4f4303709b07","datavalue":{"value":{"entity-type":"item","numeric-id":5233251,"id":"Q5233251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb6ebc85f52a82f578a67ba005662f9784c86aa","datavalue":{"value":{"amount":"+0.7426157593727112","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":"Q2226760$6BBD5711-45EC-4BED-9ACF-E393D1613AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a522abc1d0facdf5ef53f3e0d69cb49580d40703","datavalue":{"value":{"entity-type":"item","numeric-id":2287069,"id":"Q2287069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cecf9bdd7ec1c489bd96eb0d926d5dc604f2407","datavalue":{"value":{"amount":"+0.7357960939407349","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":"Q2226760$E3135F97-44C1-400D-8841-F8746A87F4D6","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":"3b107aa66ca87961c10649eb63f500234d5026f5","datavalue":{"value":{"amount":"+0.7312995195388794","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":"Q2226760$07BD596F-159A-4892-ADCB-C4BA17B07DB9","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":"5219a4457c11dcf06c775a96f6aa1e5f72ffadc0","datavalue":{"value":{"amount":"+0.7226470708847046","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":"Q2226760$AAC9F29C-9D5B-4358-99EE-6AD584CFD711","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":"Q2226760$93ED5EB1-2261-4DAD-862B-DB72F5EEBC79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program synthesis using deduction-guided reinforcement learning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_synthesis_using_deduction-guided_reinforcement_learning"}}}}}