{"entities":{"Q3093353":{"pageid":3104068,"ns":120,"title":"Item:Q3093353","lastrevid":86463059,"modified":"2026-06-03T21:56:08Z","type":"item","id":"Q3093353","labels":{"en":{"language":"en","value":"Inductive synthesis of functional programs: an explanation based generalization approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5957334"}},"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":"Q3093353$F1C11ECF-383D-4E9C-86EA-A5AF3AB39120","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf561f68eece7b9e08edda89042d8da0c5fab27","datavalue":{"value":"1222.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093353$E60CE797-AE86-43E9-891A-98F4CFD6EC22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c95eadbf326d38a14162a8a4e324657a8c33b3d","datavalue":{"value":{"entity-type":"item","numeric-id":2864517,"id":"Q2864517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3093353$D255B216-BF16-476E-BD76-ED12A49E672F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31265a0f61a8db94bd3eccd5a33834c5641878f3","datavalue":{"value":{"entity-type":"item","numeric-id":1405986,"id":"Q1405986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3093353$648729A1-4CB1-4F86-AC3B-B036B02BF9E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53e5977456f9e82b29d305bfa5b38675c5a9310b","datavalue":{"value":{"time":"+2011-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3093353$55ADBBEB-A962-48B1-939F-D651CCC48117","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a25d1fc187bd606ad4b9916076bfb9ff7a2a49ae","datavalue":{"value":"http://www.jmlr.org/papers/v7/kitzelmann06a.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3093353$195A3034-B8D6-4DE2-8C9A-A49B38519289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093353$1331F04F-BBEE-4658-9BD0-278042B339AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d421c4834a7557e367af4dad14e03a10d12d6f03","datavalue":{"value":"5957334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3093353$3A137E8E-3040-4521-8164-798D61C06848","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ad8eb579c3bc757455f843dc521fafd8dd0604","datavalue":{"value":"inductive program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093353$AA750722-929D-42AA-8901-EEB3B5AA423F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c26b5183eb08cc34f9abbecfa46e5bff0c20ee2","datavalue":{"value":"inductive functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093353$626F06BB-8635-4F0F-9352-09FB8A49BBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9fefe75e1e1db2a6cc86ece299bb61315d48aeb","datavalue":{"value":"explanation based generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093353$221F38E3-30A8-4553-8345-80C0ABC5C5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d773c9dbefcfee441e11b3927eb483de24f807a1","datavalue":{"value":"recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3093353$CABACD23-CFAA-4813-B899-4425E48D2FE1","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":"Q3093353$911278E7-A5B5-44F1-ABBA-3695E6745034","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf862734d6779f6630f658dcf3dffef9c9606f6","datavalue":{"value":{"entity-type":"item","numeric-id":3617432,"id":"Q3617432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5dbc12cdcbd38e278a746330bd7fbf8a7a7a10","datavalue":{"value":{"amount":"+0.8501077890396118","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":"Q3093353$9868D5B2-AFB9-4C0F-BE75-9593E28FD336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"958956c094707ce6a1d98ca4cc95f313f1a71ba4","datavalue":{"value":{"amount":"+0.834345817565918","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":"Q3093353$B0409616-F31B-4577-A3F0-18934ACC836C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71453e33b80d7a06f62e5f0a260a43a89a2dcf05","datavalue":{"value":{"entity-type":"item","numeric-id":4808703,"id":"Q4808703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c8077bf1c3fcdac5c67c9502880b4059a8acbc","datavalue":{"value":{"amount":"+0.8322511911392212","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":"Q3093353$2F229369-419F-420B-A6DD-3140B903748A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322b27a20091d26cfc6e88b88456330829109892","datavalue":{"value":{"entity-type":"item","numeric-id":2277829,"id":"Q2277829"},"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":"Q3093353$D7B252A2-581D-4591-A579-946D7E5EF608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36e285e30b4c09659636e601b8aaee581ccf333","datavalue":{"value":{"entity-type":"item","numeric-id":4939536,"id":"Q4939536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfad45ee677f5e9e16edff115114c06ffad87dd","datavalue":{"value":{"amount":"+0.8094817996025085","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":"Q3093353$F949D095-0548-48F7-AB4F-D295DBC87187","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive synthesis of functional programs: an explanation based generalization approach","badges":[]}}}}}