{"entities":{"Q3763593":{"pageid":5793499,"ns":120,"title":"Item:Q3763593","lastrevid":51797924,"modified":"2026-01-20T02:25:26Z","type":"item","id":"Q3763593","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4020482"}},"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":"Q3763593$4A944BB4-546A-4FA1-9D3E-F3C524588B48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e88b2af2b9bbc71efec31280e2889e327ccf843","datavalue":{"value":"0627.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763593$C36F4E68-6CD5-4EC9-A12E-30D779BD13A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07e083a9c84ce44546596ac735a33577e30388d","datavalue":{"value":{"entity-type":"item","numeric-id":202184,"id":"Q202184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763593$1C50C729-49DF-4960-AA95-70492E0E0008","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3763593$6C0C8EEA-FCBF-4568-9B26-B76882D7C76F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763593$35D77704-8633-457E-A4B6-D795F0EBE634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763593$B75740A2-2058-4342-BEE0-ACBA31C8BFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763593$4A97687B-557C-4A47-AFE3-8AA77AED5666","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"502c7fa441f8bf4350e21850aeeb2db6da319a92","datavalue":{"value":"4020482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763593$4C202281-921A-48D4-9E90-85E6036C1F91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763593$9A8F33BD-0D09-443B-BEB4-676D4313D699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d6ccedd2ae757821ee9f07551ecf25be146159b","datavalue":{"value":"enumeration strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763593$2086812B-00EA-4B78-8EA1-C5864837E325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b754d010b9ad30a7692a64c3518e2b26df392756","datavalue":{"value":"synthesis of programs of recursive functions from input/output examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763593$53396529-2281-4C83-AACD-563DE81CF2EC","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":"Q3763593$5724D502-0A99-4343-9E9B-F332725E71E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819feb3a288616685e522fb27b106104ad0886a8","datavalue":{"value":{"entity-type":"item","numeric-id":3785924,"id":"Q3785924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a2f54deee5973a31772b5bd61391f8ea9908ed","datavalue":{"value":{"amount":"+0.9006171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763593$E1B80A87-3935-4687-AEBB-A0F3697CEEBA","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":"70bc2f487acfe16a43e3aaa5a80e70fd9037b8b7","datavalue":{"value":{"amount":"+0.8972449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763593$FE5A1CAF-4A0B-4225-823A-9B39CFA32B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e244160dce73db351277f99587227e635880e2","datavalue":{"value":{"entity-type":"item","numeric-id":3809251,"id":"Q3809251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56545016ae3aa5e2b04e73323b54ded2ba862e3e","datavalue":{"value":{"amount":"+0.8837862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763593$341196BD-1A0B-4FF9-A64C-FD1ACFFBB8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887b93f9c2e73b72ffc9f4a79da7b683dc92bac0","datavalue":{"value":{"entity-type":"item","numeric-id":293131,"id":"Q293131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b8dbc23d90eb8dd7fb1b66645a4719bb39b181","datavalue":{"value":{"amount":"+0.88216686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763593$C71EA762-8336-4737-9257-25A007C5D4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df83f0edeed53dca420b3429addb4f4303709b07","datavalue":{"value":{"entity-type":"item","numeric-id":5233251,"id":"Q5233251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a657e82c40386b7de2a281b1d6f1adf5f44d5006","datavalue":{"value":{"amount":"+0.87952536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763593$BC0112F3-3E8E-426B-BD52-A78C67659078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c901b7e7f12a3791a0e2e4cc642e15474dbb0b6","datavalue":{"value":{"entity-type":"item","numeric-id":3706479,"id":"Q3706479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452822b61dcdedecb7f10262e84d944ef441b1d3","datavalue":{"value":{"amount":"+0.8767714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763593$B69C4611-2192-4719-B8BC-EBBD758D44F8","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":"90b22c8fe17578883ea8aa2e488c330a82541911","datavalue":{"value":{"amount":"+0.87214965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763593$5CC07AFB-E5DF-4552-BA7C-E10893933D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcbfa10c51a9c70912e92adba6a0a76644b0d28","datavalue":{"value":{"entity-type":"item","numeric-id":3314967,"id":"Q3314967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83245cb54418ae4d13d3b67beaf4dca6670bee55","datavalue":{"value":{"amount":"+0.8685427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763593$DF1FE05F-3E06-45FB-857F-A079E0299385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9d4d4ea9e74ad509505c8749e5daf07ce773ff","datavalue":{"value":{"entity-type":"item","numeric-id":3766813,"id":"Q3766813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a4164851949c8a5cfc764796ec766132a36094","datavalue":{"value":{"amount":"+0.86434305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3763593$E18FE5F1-8720-435D-B38C-4438F0CF117B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3763593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3763593"}}}}}