{"entities":{"Q3863043":{"pageid":5892948,"ns":120,"title":"Item:Q3863043","lastrevid":54555698,"modified":"2026-01-28T12:46:20Z","type":"item","id":"Q3863043","labels":{"en":{"language":"en","value":"A class of functions synthesized from a finite number of examples and a lisp program scheme"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3666174"}},"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":"Q3863043$F4FE7F95-BFA6-4A62-8D30-59D2E6708E69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff53918f0da94e7734a953710ab2b17a1258901c","datavalue":{"value":{"text":"A class of functions synthesized from a finite number of examples and a lisp program scheme","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3863043$756DF217-CF2B-46B0-9A2B-5CB099FC2D82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff756faec47c18ff6fe00d792a7174a17e5e48b6","datavalue":{"value":"0427.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863043$FA9AD1C7-6F84-4BB6-91BE-BFC05AD93574","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fa67be5fc342743b380b4bad764cd8f6e8dbff8","datavalue":{"value":"10.1007/BF00995500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863043$A262A813-E9B9-4B9C-AF85-18A96784223D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c3f84cb099b2e03bdc5787389fcf8875691276","datavalue":{"value":{"entity-type":"item","numeric-id":2771687,"id":"Q2771687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863043$DDF572C2-E6E4-4B5C-B3A1-9CB4EA35CBCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"299c62a7bb9adc9e73fd7facae1ee9d7ae362535","datavalue":{"value":{"entity-type":"item","numeric-id":2855323,"id":"Q2855323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863043$C8FA25E9-876A-4088-8687-BD963D2A3930","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3863043$B06C3472-F847-401A-ACDF-CB922D656B57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863043$3B404774-9EEC-4634-A3A5-A114D7E6AD42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e08566d3fb4a751c4cc5eeb6534146b324ee3774","datavalue":{"value":"3666174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863043$1E71D14B-3DEF-4CCD-B7A2-B4BA0953CDAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cecb70334d895c8e5a143c6e64b0f2a656c4095","datavalue":{"value":"difference equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863043$9907EF1D-86C8-483E-9190-858E02408FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36f41659f406fe5e6141df559369fc6476249c0","datavalue":{"value":"fixed point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863043$DE1F40FB-FB25-469A-84FC-AD3AD4A9E1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33ecf041eedbe3fee8d29905fed91e77f22410fe","datavalue":{"value":"instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863043$F27E1D50-B7BB-4427-AF8D-B443A259FC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35168962d4bfbec622761672fa6d99246c184652","datavalue":{"value":"LISP programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863043$F9EAEE24-DDDE-4047-9126-694A7F202193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863043$5389DE65-7222-4001-8FB0-9CB5A801CE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df198e9539af8ee1221a27fc303d184b5cc81a2c","datavalue":{"value":"program proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863043$980DD96B-FBFE-41DD-A34E-D69139B37F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863043$1CBDC2F2-C2B1-46F7-9698-4FFFC254DDD4","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":"Q3863043$A8BCA3FC-5CF7-4CDA-AABC-533514E6AFB4","rank":"normal"}],"P223":[{"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":"Q3863043$92E6E7B2-C27D-49CB-B7B9-F58D27D7A2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c7202e783b352edb1e0158278fe604f9a2b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4105761,"id":"Q4105761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863043$9220FA03-506B-43E3-92FB-FF27EA32CB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e99382c0e6c77a1c7c6150b487bfcee2740f1c","datavalue":{"value":{"entity-type":"item","numeric-id":4164787,"id":"Q4164787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863043$808BA6EC-8462-4F06-92BE-EBD5AEFBF205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97558af1147bf1da17aeb8d7f9212fe1000d9538","datavalue":{"value":{"entity-type":"item","numeric-id":3911367,"id":"Q3911367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863043$6E3DCFA5-5E73-4548-AA7A-88B93BF9E32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863043$2BA12BB5-7BE9-4AED-B6E2-B059A4C69343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea12a9d5054eb283864eb6e1e0f33182f274918f","datavalue":{"value":{"entity-type":"item","numeric-id":4404415,"id":"Q4404415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863043$58309A9A-3607-4F8F-AF2E-564609C2174D","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":"Q3863043$EB5D6611-1828-4E04-A10D-5B3CD90B9FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f757c721bf2cd017bfc4b79d90167e31b64a35d2","datavalue":{"value":{"entity-type":"item","numeric-id":4122771,"id":"Q4122771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863043$86B59ED6-C852-4561-B961-69182B03C6D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3863043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3863043"}}}}}