{"entities":{"Q3761673":{"pageid":5791579,"ns":120,"title":"Item:Q3761673","lastrevid":51786824,"modified":"2026-01-20T01:04:52Z","type":"item","id":"Q3761673","labels":{"en":{"language":"en","value":"A methodology for synthesis of recursive functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4011904"}},"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":"Q3761673$C7BB7E5A-947F-424F-BB78-1A92FCCC01B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e06237dcfabe2a58a7d1f41b6e5070b088fad9c3","datavalue":{"value":{"text":"A methodology for synthesis of recursive functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3761673$EECE9769-B3BB-45AF-99D1-9366313108CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bc457ab856efee379660136fe52d8ea2a824189","datavalue":{"value":"0623.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761673$2650DBC1-9A83-4F03-B5DA-3265C55087B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f3d9ab7fcfa9fa10cae78ce1b1cb40b097b86d6","datavalue":{"value":"10.1145/24039.24071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761673$A56B7CF6-C4E1-48FE-9970-A531C6EDC3BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9b4aedbb40f4b70d528dde518d642978916b002","datavalue":{"value":{"entity-type":"item","numeric-id":1199834,"id":"Q1199834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761673$947C3B94-58A7-4AC7-B9FF-62C97D306CBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761673$87549203-EA7B-4E88-A1F6-8B7B9B3DEE88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3761673$D870416D-0F7C-4E5D-92EA-B4E15B2042D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1364c7c6e5d7e745d579e8a78324bf44a5fc74b0","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1987-9/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3761673$C56686AE-0E40-48AE-B3DF-AAAF5304ACFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761673$970F263A-5C7E-4541-A6C5-541ED6674F2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aae7fc1e5ffec7d44fb014bfc69d4879f28ba7d8","datavalue":{"value":"4011904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761673$ABCF2243-22F0-4D29-B2F4-A49233A2456F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e0da4152f9ca3fc1db1742ba3fef2679984d639","datavalue":{"value":"example specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761673$550E2ED2-84B3-4722-99BC-19DD41C78883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dba8efd60bcb4b091dde6c1e38ff7d961839ab4","datavalue":{"value":"least fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761673$54ED8805-586A-4E41-91DF-ED28B6DADD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3580fefb9f9a05b9104da92afdd215835bc22","datavalue":{"value":"transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761673$AD046A7F-A843-4415-BC3D-D15EBFCF4C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3dcd1b372f4fa68bb20fcfe1b687899a65995e","datavalue":{"value":"Functional Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761673$3ADA179E-DA61-4145-8C82-FC71EC20CB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4b32c3545e15184907a7757d0ac00169973cf5","datavalue":{"value":"reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761673$D8218E15-0641-446A-844F-B6DB3B8BF531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dadd704ca8cbe26420c88f337619a039ccdac425","datavalue":{"value":"recursive FP programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761673$96B801EB-A061-4494-9B57-B6698892C011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f30f8c921f7e00a3dc724806fa685f474c02221f","datavalue":{"value":"FP program synthesis methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761673$64649500-F279-4D2B-BE4E-D8CE35A2E0FE","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":"Q3761673$EDDD5F05-FEF0-406B-BD99-9B4B439223EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"449b49562755fba7e9aa6b1b15b945ddf0121374","datavalue":{"value":"W2089009297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761673$6606FBCF-3F1E-4CCE-836D-0190AAF30915","rank":"normal"}],"P1643":[{"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":"07f7a30e2ad8f0853f4d6422d4a8e06109cbc44a","datavalue":{"value":{"amount":"+0.8042526245117188","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":"Q3761673$3BB66F65-15E1-4A39-A8B6-B36C89B7B523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5e7136ee2724c05935be9c621faebd8133d359","datavalue":{"value":{"entity-type":"item","numeric-id":3741016,"id":"Q3741016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb55f887b6987b3e6807ce898d1bf24d03a13645","datavalue":{"value":{"amount":"+0.78733891248703","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":"Q3761673$D03DA6EC-559B-4D83-9900-307264FD63DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70ce928603bd569a0979461ae01bd3742338bea","datavalue":{"value":{"entity-type":"item","numeric-id":3332225,"id":"Q3332225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d59eb5fb4a60dc1c342f8b308fb1d5df2549b4","datavalue":{"value":{"amount":"+0.7835099101066589","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":"Q3761673$C85880FB-AAF7-40C7-BEAF-B4530EE44AA1","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":"c48822b3940d3d0029884750d5d7593e4579d4ed","datavalue":{"value":{"amount":"+0.7675954699516296","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":"Q3761673$870A1C4D-EA00-48EF-862D-174D1B767C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba92b240c67f837697cea5b234c38f16f91a4f3","datavalue":{"value":{"entity-type":"item","numeric-id":3325009,"id":"Q3325009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c092217a52a7bb010ed69c4b60440f975cfc256d","datavalue":{"value":{"amount":"+0.7638033628463745","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":"Q3761673$28DD5AD7-387F-4F49-8F08-502A3C0641E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3761673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3761673"}}}}}