{"entities":{"Q1405987":{"pageid":1416727,"ns":120,"title":"Item:Q1405987","lastrevid":68630163,"modified":"2026-04-13T01:03:03Z","type":"item","id":"Q1405987","labels":{"en":{"language":"en","value":"Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1977348"}},"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":"Q1405987$05240F2A-A66E-4B5C-ABB8-E90C3ABB3611","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df685ef7272d4dc67b180c883e61b194860ba48e","datavalue":{"value":{"text":"Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1405987$FA6DB0D9-1B2F-480F-A42E-483ADF4AD16D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86a65952b83644d8bce2a86825c9a50d27c743db","datavalue":{"value":"1035.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405987$53842630-59C5-44B2-A7D2-24E8EB98C955","rank":"normal"}],"P16":[{"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":"Q1405987$0F23E5BA-FF6B-43DA-96EF-73657FFCB6C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405987$C817FD25-488A-4E7A-BE21-5711E2314576","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0050397e71b267dc726595b0d386375319de60bc","datavalue":{"value":{"time":"+2003-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1405987$DA29259D-444E-4AD3-9DAE-CC637A9BE209","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405987$0171B24E-0516-439E-8AB7-44F802C81F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405987$4E185BAC-6E07-46EB-9A25-9C2CCE85C91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405987$28380CDC-2DE0-47DC-94E4-CE946E798C71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1734addf1a08698793bb33db67cf1aa1f01fe43e","datavalue":{"value":"1977348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405987$C12BC1E8-94A2-4568-B32D-54C84CCA12AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405987$C935DDB5-536E-4129-9C68-A5699A71261E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05663d589d170e14911d7843065b083434f4f829","datavalue":{"value":"automatic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405987$7D56BD06-F4C8-4A71-ABBD-636935B3B84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405987$CB35904A-B0E9-4F6D-B3A1-E3EE2B1E5D14","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"503825d68ed5a35842f88c1c76dc6088e21c1efa","datavalue":{"value":{"entity-type":"item","numeric-id":19763,"id":"Q19763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405987$65643ABE-8114-4B3B-A5D4-BB38143C1BA9","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":"Q1405987$C4687414-7B41-4B14-BAAE-9A3B607B3B41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"129540909d7d5b899c446ccdc70c751e9e36ad19","datavalue":{"value":"https://doi.org/10.1007/b12055","type":"string"},"datatype":"url"},"type":"statement","id":"Q1405987$1004CD0B-C659-460C-94CC-259D30DAC02A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e558281a0ac1c5075c7ac4ff1feb2d6ca4171681","datavalue":{"value":"W263344851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405987$2998CA0A-BFD6-4CC1-AD3E-AC93E1682D27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12558c21527549c1e0d67cd5feebdf19875ebca2","datavalue":{"value":"10.1007/B12055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405987$E96401E9-AE87-4E51-8B7C-032A43C7215A","rank":"normal"}],"P1643":[{"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":"03567d8e36353a81fb3184958e04e75e0a9f5f69","datavalue":{"value":{"amount":"+0.8215200304985046","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":"Q1405987$133CE11B-D9F0-4A0D-B347-2AB4FF9DFDBA","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":"e1ad91f26ac2ad911db5fd551feac63dbeb69a94","datavalue":{"value":{"amount":"+0.7845094203948975","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":"Q1405987$AF8089F9-104C-4EF6-BEF7-935DFFC12CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c27dfb183a9baf5d44f4286c172ea94fd80aff52","datavalue":{"value":{"entity-type":"item","numeric-id":1128483,"id":"Q1128483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79a06ff608f315555a3b6eba7238898e5c81d09","datavalue":{"value":{"amount":"+0.7657670974731445","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":"Q1405987$E96FDD45-F69C-400E-8790-F17510849923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85823e37809ed4a542ccbab70e666ee626fad42","datavalue":{"value":{"entity-type":"item","numeric-id":4205070,"id":"Q4205070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59f0bc15d73cbe55eeb14d448113616ddc4a4afe","datavalue":{"value":{"amount":"+0.7588962316513062","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":"Q1405987$96DC17F1-23B8-4FD4-BD71-9D3E44FAC5B0","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":"091c34976c00774ab148fb94cd08610fad0f82c5","datavalue":{"value":{"amount":"+0.7549548149108887","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":"Q1405987$E6602C82-0DE2-461D-8573-A79A3606D55B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_synthesis_of_functional_programs._Universal_planning,_folding_of_finite_programs,_and_schema_abstraction_by_analogical_reasoning."}}}}}