{"entities":{"Q3454117":{"pageid":5233517,"ns":120,"title":"Item:Q3454117","lastrevid":52405994,"modified":"2026-01-22T14:06:14Z","type":"item","id":"Q3454117","labels":{"en":{"language":"en","value":"Program synthesis using dual interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515527"}},"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":"Q3454117$790E7F17-39D9-4A73-9BE3-A512303C9B0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc1632c356943c6385fd0f106d30179ba991dce1","datavalue":{"value":{"text":"Program Synthesis Using Dual Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454117$20B6774E-C49E-46A3-867C-B9FFFA0A0C3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dd9bc5033b8a82cb2043126a4adf6dcce267754","datavalue":{"value":"1465.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454117$BD22928E-7B08-4D0C-85E5-D39DA28E3172","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2aaf1036f4976c417c0dcd4223f4cf5559e503c5","datavalue":{"value":"10.1007/978-3-319-21401-6_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454117$CD03EB77-BB7F-4A75-987E-BD083770D5C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2fa382e71217a50c0f4fe1ba1af2f57a2bcb70d","datavalue":{"value":{"entity-type":"item","numeric-id":1041588,"id":"Q1041588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454117$E022C4FD-6ADA-4BB8-85E1-3BC247602A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51678fc635b6d13e5bfb50dff43810a3a02420a6","datavalue":{"value":{"entity-type":"item","numeric-id":832267,"id":"Q832267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454117$183DCBA4-F8D2-41ED-BBCE-9EB4FB00635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454117$589E0403-4744-4CEF-A2E5-77C50FE9247B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454117$702D2698-7673-4858-A83B-9F7032A54E8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-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":"Q3454117$1C3E4C07-AEFE-4661-A4F6-77E2F0C2095B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45a783dd0ed9844528694e92ea87ff246280e838","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/24676075/cade2015.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454117$F191F93F-EBC6-4729-B3AC-573C4B3ABDFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454117$40FBE250-1662-4D2C-AC40-5EAD96EB43A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454117$40A8D94B-224B-4C1C-92EA-9F67E070ECA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60edf345a11acc91f69f4ce18ba57c73a9f70d48","datavalue":{"value":"6515527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454117$CC5C8A98-DF3E-4AD0-8F0E-5E8A1B9621DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454117$BD0E4180-6D63-4710-8DA6-8218B9C769E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb06252eea3fc1acdd54ecc8afe7b2066e2cf645","datavalue":{"value":"syntax-guided synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454117$311C2CA1-6F9B-4E48-A818-FFE5941C3C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454117$424ACF87-33CA-42C7-825A-7EF0ABD5DE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02b80c2847a486b7b7a3e208de90f06ffb8afe61","datavalue":{"value":"encryption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454117$71B5DA6F-1050-4075-B226-5A877A3F8A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac36a0d5bcef050bd5c5ec480998b0eb01458a6","datavalue":{"value":"SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454117$60375EA6-819B-405E-91C2-D207EDF94417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ff6d310fc392555f3139957796768dc8dd51860","datavalue":{"value":"exists-forall solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454117$90EB6145-0846-431B-BA9E-EB18A82A6962","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454117$CBAE1CFF-4486-4D06-A7B0-B24A2D7C3A98","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":"Q3454117$CB7FF0A0-D258-4A12-BB7E-F6B7B4026FB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9f85506fafba6122ee6ce1e6a79c4b2b130772c","datavalue":{"value":"W1614061774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454117$24AAB630-A184-46D5-A6BD-69A6015B9AF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fdb51d791b1f89faf9b234c9f350bce2924c56","datavalue":{"value":{"entity-type":"item","numeric-id":4365732,"id":"Q4365732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454117$CDA3D6A8-7005-408B-8004-DD7FC79809F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d9a22af8386f11a8cf81664afd9276ea8c13c6","datavalue":{"value":{"entity-type":"item","numeric-id":2889811,"id":"Q2889811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454117$C8499CC3-1E05-43C7-973C-D790B359CFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3632786669af8b0dc3e0bd7166aee3ee70e8ff","datavalue":{"value":{"entity-type":"item","numeric-id":923889,"id":"Q923889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454117$D79D4A26-D14E-4CDE-B407-F03AB9858DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468692debccfc910cfc1eb32fa65c236cfc17516","datavalue":{"value":{"entity-type":"item","numeric-id":1199933,"id":"Q1199933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454117$7E5A6234-A247-433F-8B01-13ACE0A4DF3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f21a4bce8b5aad8b2c77731db6e587ec6150e6","datavalue":{"value":{"entity-type":"item","numeric-id":2164214,"id":"Q2164214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8827b14b3dc04334f163d91bb6e148289459bcf0","datavalue":{"value":{"amount":"+0.8042080998420715","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":"Q3454117$D36D1ABC-DEE2-4B8A-8553-07399C2E50CD","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":"6e2ec7617989a76c6a2a43dd7afe0a67836faad0","datavalue":{"value":{"amount":"+0.7877750396728516","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":"Q3454117$3AB0368D-B118-49F9-97ED-10F4B7BB229E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb5d09ffd9a02dde277e01a3bcca82543dbed56","datavalue":{"value":{"entity-type":"item","numeric-id":5370893,"id":"Q5370893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3653ddbff12c992e9f6aa165cbd90395f6f9eaf6","datavalue":{"value":{"amount":"+0.7585397958755493","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":"Q3454117$D720A93B-A41C-4745-9783-4FF6565D8883","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":"07e298f6607890dd6aa94fd4a220617244b28958","datavalue":{"value":{"amount":"+0.7583058476448059","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":"Q3454117$FF4886AE-D5BD-4187-80BC-E1C599F6651F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00a2418c01d7d4c5a06cc6efa211da7d51b094d","datavalue":{"value":{"entity-type":"item","numeric-id":3814781,"id":"Q3814781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd3ff80ed836003ef35c6360703169a89512a56","datavalue":{"value":{"amount":"+0.7537375688552856","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":"Q3454117$C66ADFA7-1904-4728-B42F-7D52327AA639","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454117","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454117"}}}}}