{"entities":{"Q2277829":{"pageid":2288572,"ns":120,"title":"Item:Q2277829","lastrevid":49489147,"modified":"2026-01-07T07:14:49Z","type":"item","id":"Q2277829","labels":{"en":{"language":"en","value":"A knowledge-based approach to program synthesis from examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197400"}},"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":"Q2277829$0600057F-B079-4718-AE81-B9178F8025FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8332d021fa39dbddd2f8693a4c4ffd99544c1b75","datavalue":{"value":{"text":"A knowledge-based approach to program synthesis from examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277829$9F00F3ED-361E-42FE-8FFC-829B573E2965","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"486c14acde97faf812a1b31773b0fdd20e6788f2","datavalue":{"value":"0725.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277829$099A7AA7-18F7-4CF4-8A3A-E2FB0EFD39D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d1456f66111199420ab811dc0fd40bba02a360e","datavalue":{"value":"10.1007/BF02943407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277829$C3C99335-3D90-4682-81D3-146D84595476","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"562fd1ac726e6d7b200e56d2ebb49ca5c2702596","datavalue":{"value":{"entity-type":"item","numeric-id":214617,"id":"Q214617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277829$C2E13641-6FCA-44F5-9F81-7F3CE9EFEECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec6d4fdb17eec513bc1bd60196ccfe5fb124b14","datavalue":{"value":{"entity-type":"item","numeric-id":2277828,"id":"Q2277828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277829$80F5A60C-F884-4D23-A03A-D1E5421C517F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277829$3C83B4E8-266C-45DD-8818-33F4C809B75B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277829$FDDE0D36-240A-4E66-8CA9-9D5FA7004D62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277829$28CE43FE-7BA2-4140-BEF4-B3EDBAE7F939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277829$08DBCCBE-75B9-4DE9-B51B-E4EEF3146993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6460eb5e935de06711c92c84e63bb1088d1991a5","datavalue":{"value":"4197400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277829$FB383616-77ED-422F-A60F-418094453425","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b210a3dd398035d1baf113579f887df15bd3cb7","datavalue":{"value":"orthogonal expansion of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277829$7A6F1D6D-556C-47EF-B2DD-AC2073B65272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277829$04D983EB-EC64-4C46-9940-BC7637753673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba42b52668dfcbaa0c2f470350f615a61a3ca7ea","datavalue":{"value":"program equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277829$1163FAB1-1C63-45AE-B6FE-76E8E84A9968","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":"Q2277829$56C33311-25AF-4332-A6C5-9D4AE69EE720","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277829$E965D4C6-E6A9-4A7F-81BB-1B15BED41991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676423907243c701fde88c902e96ea3355d62edd","datavalue":{"value":{"entity-type":"item","numeric-id":3929003,"id":"Q3929003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277829$AE67AD66-7BB3-4E07-ABBD-C96E2726BBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6254b04c8e826127088d0517b6f5329fa7e31baf","datavalue":{"value":{"entity-type":"item","numeric-id":3814771,"id":"Q3814771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277829$8C23C9EF-A005-429F-9DD3-B65D4D4D3342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277829$BB5F5031-E294-428C-8EB3-00A980C2B9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa8a0e857eec54d64117a29ee081ddd6f89f07b","datavalue":{"value":{"entity-type":"item","numeric-id":756436,"id":"Q756436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277829$30BAF07B-1A21-4B18-9628-8FBE1BA004D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b0e749695597a922fa42d8c428aa436a92994","datavalue":{"value":{"entity-type":"item","numeric-id":4111079,"id":"Q4111079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277829$4754C958-6C11-47EF-9CC7-A8DC04156D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fca34043a30ee00dbdee4541153c8d8c6f9798","datavalue":{"value":{"entity-type":"item","numeric-id":4162631,"id":"Q4162631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277829$58040E80-2E13-445B-990B-7091AE2487FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5ff2e3ce5c6404df46726226236e8bddd6d058","datavalue":{"value":{"entity-type":"item","numeric-id":3761673,"id":"Q3761673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277829$562D99E5-4012-4F46-9969-2E2DF58EAE09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b9f0d979cf6236664bbb1d6180879b772d7401a","datavalue":{"value":"https://doi.org/10.1007/bf02943407","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277829$F15CA444-C620-48FD-A083-62E4A6FD8207","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15c924b64a6446733de787138fbfdb14bfdbf364","datavalue":{"value":"W2086840629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277829$6E063FDF-D9BA-4051-9946-B324A15C45BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00a2418c01d7d4c5a06cc6efa211da7d51b094d","datavalue":{"value":{"entity-type":"item","numeric-id":3814781,"id":"Q3814781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a925e8fa0c643d75e34487994896b430340d0253","datavalue":{"value":{"amount":"+0.8346470594406128","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":"Q2277829$6C35F61E-2572-4181-9B52-A7A6C30C6DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe66e9a12bc0cd0a7392a7a71d704fec50c75d9","datavalue":{"value":{"entity-type":"item","numeric-id":3730000,"id":"Q3730000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89227c7f6ee222fad5e986c232fa0a242d34e010","datavalue":{"value":{"amount":"+0.8300675749778748","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":"Q2277829$EE444B8A-7929-4900-8185-09E96FBBE5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9065019a790f9bdf0886fc545dc798ce099bd053","datavalue":{"value":{"entity-type":"item","numeric-id":3763593,"id":"Q3763593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad24b20184838cbcddbe8b11602e582e2453f021","datavalue":{"value":{"amount":"+0.8185625672340393","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":"Q2277829$89FB2D6D-FA6D-4D2D-816A-EDFA077568A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c35fd1cd697053e144389a8ba77f5c5fd4b3cf9","datavalue":{"value":{"entity-type":"item","numeric-id":3730001,"id":"Q3730001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a7f3f9e20230c541e8fc9bcd82fba9b690c22b","datavalue":{"value":{"amount":"+0.8156166672706604","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":"Q2277829$66C792D9-DC89-4343-984B-16B4C12F4572","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":"718350562f55f60fdd5f676b738b6a973b502c27","datavalue":{"value":{"amount":"+0.8142431378364563","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":"Q2277829$53D2C066-AD22-4FFA-91C9-50B96FC65F5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277829"}}}}}