{"entities":{"Q6166148":{"pageid":13301030,"ns":120,"title":"Item:Q6166148","lastrevid":41213654,"modified":"2025-04-20T00:30:51Z","type":"item","id":"Q6166148","labels":{"en":{"language":"en","value":"Automated synthesis of functional programs with auxiliary functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721435"}},"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":"Q6166148$466C659F-C742-4811-8092-55FBFA24C99E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b42e357439219807ef2477d55f8ab30b066dd3c","datavalue":{"value":{"text":"Automated synthesis of functional programs with auxiliary functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166148$5BEE82D8-329D-48FD-B8E6-409DE4E1AE19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b730f365754c0fa03ff28eb3c3cb94635f1290d4","datavalue":{"value":"1519.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166148$8254CC98-BF8B-467C-811B-D407E3625EA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5530d216f306215b79c38a25f17ca4b20a30a505","datavalue":{"value":"10.1007/978-3-030-02768-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166148$26B91902-0B26-4842-97F1-511095C76E0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"415c0875aeabbcb62f3501a19dea6ba575a54477","datavalue":{"value":{"entity-type":"item","numeric-id":6166147,"id":"Q6166147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166148$1F7419C1-1618-4668-B81A-AA1DD5B47BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166148$E92ADB56-6A39-4773-9F5E-44B17727627A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166148$0BF4AABC-9451-4374-9B44-CF25A87C4FC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166148$F997E8B2-030A-469C-A61D-3FF2A8F6E0AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166148$A93D1C4C-68EF-4C74-B92E-C736F6D18683","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166148$3DC196E9-0B4D-4278-9A55-BEE9E3788D1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adfdaaec74696d8d66b10a7d894de3bed0efd393","datavalue":{"value":"7721435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166148$D03072A4-D090-4D25-B5A8-F878E9A741A0","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":"Q6166148$19DB4FDC-5AF7-4AE0-B4C1-7C2D19B7EDE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaf3c1fd8cc81a46aab99f10720cdf3155918e76","datavalue":{"value":"https://doi.org/10.1007/978-3-030-02768-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166148$1FDE426F-8F67-404E-992C-2EB3DD26064E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2426ed86750b3eed4b7d3400b30bbbbf5c769bb5","datavalue":{"value":"W2897229241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166148$9C570A11-1BA6-4EDE-A462-6C55E93A68C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501e79661272d7a83a5edc30fb1b6007948c14bf","datavalue":{"value":{"entity-type":"item","numeric-id":2457802,"id":"Q2457802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5bdd74801fbe685fde9ca4f753e51a638c5bb3","datavalue":{"value":{"amount":"+0.9286222","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":"Q6166148$6A75AC93-4C06-4923-8943-7F3D0EC446F1","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":"c684e79077a4a471af2baa4edd9e61336263291a","datavalue":{"value":{"amount":"+0.900046","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":"Q6166148$9AE31F19-90BA-4F9E-9210-CF321C2D8CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2cc059e47ae56bba7fcad04815e589048939c4","datavalue":{"value":{"entity-type":"item","numeric-id":3002482,"id":"Q3002482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed13d5fce70fc060343010dc825ea5fcec5a1a1b","datavalue":{"value":{"amount":"+0.8770269","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":"Q6166148$0E374609-6827-4D5F-829E-1E69F000D8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c3243e05fe0fd1aebb4021426442c3380da6c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5369477,"id":"Q5369477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929cb3d4bacb20eb69d0cb3899d9199391792c49","datavalue":{"value":{"amount":"+0.875953","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":"Q6166148$862D2D18-A9A4-4DE0-927A-2882016279C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f8c0241a18c62f35e475e04e61fccd5571ea033","datavalue":{"value":{"entity-type":"item","numeric-id":4851863,"id":"Q4851863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda2b0009a84406e67c7406bdd019e10373af401","datavalue":{"value":{"amount":"+0.8651923","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":"Q6166148$8C4B4A9A-5526-4102-B6B8-E9DF66191DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58028b9fbcf30c69761814332680d317f25df536","datavalue":{"value":{"amount":"+0.86484736","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":"Q6166148$6B666A1D-1CF8-449E-9E6A-13C1EFA77993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230230e0736c19317f4348a58bfd10a4b70ac15f","datavalue":{"value":{"entity-type":"item","numeric-id":4471989,"id":"Q4471989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b97a0fd2eb932d0d41c4bdb2bdf7e34c9d73ac","datavalue":{"value":{"amount":"+0.86375034","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":"Q6166148$F3B2AAD5-D026-47F3-B2A3-FB56AD51DDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb9b71b7753a29bfbcc51e9bb1e482c94fa1772","datavalue":{"value":{"entity-type":"item","numeric-id":4028372,"id":"Q4028372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fbf5045cc597de125db09c7b2e2212bd429a7d","datavalue":{"value":{"amount":"+0.8624192","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":"Q6166148$7A49364D-DC9B-49DA-8AAE-DE87F94E87B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5675dc951d882a875a0283bcca94ec4b3a6f600","datavalue":{"value":{"entity-type":"item","numeric-id":3334047,"id":"Q3334047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc55ba6e2987132e36ff78ab69ba8da519faca4","datavalue":{"value":{"amount":"+0.8581522","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":"Q6166148$D284DC8A-A644-4299-B428-F6BA2B1EDE36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6166148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6166148"}}}}}