{"entities":{"Q6164431":{"pageid":13299312,"ns":120,"title":"Item:Q6164431","lastrevid":102657710,"modified":"2026-06-06T05:05:33Z","type":"item","id":"Q6164431","labels":{"en":{"language":"en","value":"Bootstrapping library-based synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719735"}},"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":"Q6164431$B38BF1A1-4827-4203-8577-DC56D34562AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68c4f78bacde41545726ca1249b9cdd8050fca64","datavalue":{"value":{"text":"Bootstrapping library-based synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164431$A0E69D88-0EF6-4C64-9521-50A5C9AFCD6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fb89e83611053f31fc754f7a82ffbfb021fe7ee","datavalue":{"value":"1524.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164431$E4E3A8CE-A230-49B9-BEA5-411E8495FE97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f57a335194b483378054e1d96a57317c2f2a2fb9","datavalue":{"value":"10.1007/978-3-031-22308-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164431$69A642CA-6550-4BDE-BE8B-4F26F831F985","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f96f9806a8f772bed12813511c2f622079db62b","datavalue":{"value":{"entity-type":"item","numeric-id":6164430,"id":"Q6164430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$F12B5876-1D11-41AA-AFDA-2855471F343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6814453d9688f9150912c1688f6069baeb94e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2287093,"id":"Q2287093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$294AE870-849D-4002-AA50-7155E133A81C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$3F1CE20E-A4AA-46C9-89FA-4B37A1E73907","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164431$2D1E7C82-A97F-4643-802F-49AF00AC87C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164431$C0726267-734A-48ED-BFFC-F2ACC1DC2AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164431$9F3FED64-9086-4F73-9282-8D9F5D4300C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a52a01532c9cf8414bc44f8ba57fe33abac3d77","datavalue":{"value":"7719735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164431$BDD18AA9-E238-4F8B-98C3-F629E6D174A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164431$E23F334C-4A09-4874-8A78-708C47267090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ad31346a373e79e9298d066e7d26bffd6c7fbf","datavalue":{"value":"libraries","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164431$85D13F3F-9FF7-4243-A4BF-D1FDB64A92C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164431$97A68E67-D3B6-46AA-B319-A6F483B12AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87e596cd3c16af5777f4b22f83f2e1dd71b05fb4","datavalue":{"value":"program sketching","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164431$DEF6A693-A1A8-431F-8538-DD7DAD870826","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":"Q6164431$A20F2558-EF91-40F3-A102-A4AF37C0E305","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5557e309257b86628836399c6e159ec785039d0c","datavalue":{"value":{"entity-type":"item","numeric-id":5178894,"id":"Q5178894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$8D101F94-DDEE-4851-BFA3-B632710FA347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625e0e5de412a21146b8c2ed4528568e00e3ea5a","datavalue":{"value":{"entity-type":"item","numeric-id":2819840,"id":"Q2819840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$6B59A8F7-F60C-487F-985F-7C8077BA2570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b488ee3bfccbcfb498ca3e4b39888f105d8f60","datavalue":{"value":{"entity-type":"item","numeric-id":5255092,"id":"Q5255092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$A55EFBAA-FA9E-4BAB-B986-C48318D37C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00709307b956d4ce82a34c3f584fab8ae8a2e61a","datavalue":{"value":{"entity-type":"item","numeric-id":784110,"id":"Q784110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$BC9F368D-AECE-4673-9D11-F56C5B6A32EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89594204a2dc3c58c834b5a8e9a37ca270048fc8","datavalue":{"value":{"entity-type":"item","numeric-id":2819861,"id":"Q2819861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$1CA98ECB-D18B-435D-A221-D74D3C085C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$0A694F67-21B5-4326-BFD8-A4E2809C7FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83466e113131362bd7fe3fe8e99c12e4eec25bee","datavalue":{"value":{"entity-type":"item","numeric-id":5370893,"id":"Q5370893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$3F93955A-67EB-448A-8AEA-1DAC5B3D7D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d8f82c493ecf71b1895a2fbc262dc6af404064","datavalue":{"value":{"entity-type":"item","numeric-id":5532796,"id":"Q5532796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$9E043183-7742-4370-803A-9C315027F162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c835f262dd729e4d25739ceabf5360755d8646d2","datavalue":{"value":{"entity-type":"item","numeric-id":2164214,"id":"Q2164214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$AC938FB3-88E3-44C1-86D2-F267751F563A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1268092828526e888d6fc386d45d2be4499600c","datavalue":{"value":{"entity-type":"item","numeric-id":3617743,"id":"Q3617743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$18A7F482-B189-4D24-812F-98BEE381B540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e45a4598dc722b970f6e1470e9a235ee6ba2792","datavalue":{"value":{"entity-type":"item","numeric-id":2152655,"id":"Q2152655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$21484A09-5263-49FA-A087-EC2B837C3325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea33e32d178ec006d738b2376b1237e5604efe7","datavalue":{"value":{"entity-type":"item","numeric-id":2828319,"id":"Q2828319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$011A8625-E8E0-4DE9-A26D-9DE35DE0B914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a20c0db59c4abfc0da0f61bac4d6ae8dab37af","datavalue":{"value":{"entity-type":"item","numeric-id":2938080,"id":"Q2938080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$245D2B81-CF6D-4E3B-9800-503960984BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b60f8e9e9ea433dfd668062c1fe6791c8745052","datavalue":{"value":{"entity-type":"item","numeric-id":2287069,"id":"Q2287069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164431$C1A2F4D4-89E1-45CB-A3EE-056445BD0831","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bcff4d0535dcf2f7085e5acb2f991ccf4ec85b","datavalue":{"value":{"entity-type":"item","numeric-id":2938080,"id":"Q2938080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e0fe0a0e2ffa2eded896031652f15d90c4075f","datavalue":{"value":{"amount":"+0.7690849900245667","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":"Q6164431$8709CDA0-AE60-4F99-83D0-B0BD88EE9A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e192925c222d83a53d6167b13ab9fd3cb10ffeef","datavalue":{"value":{"amount":"+0.7430891990661621","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":"Q6164431$E7B3A252-B3DA-4150-BCF2-9964E69A18D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb6abd899f94a93a028687eca2ba3b0ecb53f47","datavalue":{"value":{"amount":"+0.7427265048027039","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":"Q6164431$E158EDE0-594F-4F47-8C9D-2E767BB02AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1047f0af17db3ddf4e0b51230c359bacf7209c52","datavalue":{"value":{"entity-type":"item","numeric-id":832155,"id":"Q832155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d725f6187634234728940a9899dbad30abfcc453","datavalue":{"value":{"amount":"+0.7279266119003296","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":"Q6164431$0C402B72-C4C5-4CDE-B5F9-F54809206941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3031398bf340826aa5ffdb29079bb97cc13548","datavalue":{"value":{"entity-type":"item","numeric-id":6045015,"id":"Q6045015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce2c8479f6507ee94fec0648c671f61dd9c396a","datavalue":{"value":{"amount":"+0.7094638347625732","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":"Q6164431$ACC08D4B-7357-4900-9112-9534F0C4BC76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bootstrapping library-based synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bootstrapping_library-based_synthesis"}}}}}