{"entities":{"Q2287072":{"pageid":2297815,"ns":120,"title":"Item:Q2287072","lastrevid":53644703,"modified":"2026-01-25T11:57:43Z","type":"item","id":"Q2287072","labels":{"en":{"language":"en","value":"Lazy but effective functional synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157042"}},"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":"Q2287072$6E467F7E-B4D1-44F2-9486-1C0D80B6EFB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8aba6fd58f5bbe57dfa3095ebf7b39beffc550d","datavalue":{"value":{"text":"Lazy but effective functional synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287072$56BD9A68-5233-4B84-A204-AABD4E708730","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df8c487becbff47f5818ccfde89f642ab91f6c11","datavalue":{"value":"10.1007/978-3-030-11245-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287072$92E0BA46-25EE-48B4-A114-F3B194B91EAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"138e91d832e835b45e439ed8c45f97cc7963138e","datavalue":{"value":{"entity-type":"item","numeric-id":784130,"id":"Q784130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287072$6C968259-33EE-42C5-88C4-B05DDAB9B6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287072$6CCB40D8-F477-457F-A590-0A0B5D82A3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287072$7F5E2D97-08C1-43FA-9E92-7A09269148DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e303adb2b0a1f1bcfef4359b3361358b8f766d","datavalue":{"value":{"time":"+2020-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287072$80337379-507B-4FC5-A3E2-BAD16311F342","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287072$2B1D8CF5-F592-48A1-B261-652DC754EAD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaca1115646b3bd6e47930913ab5555aff3f8611","datavalue":{"value":"7157042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287072$066494D4-2CA5-46DA-B958-806BBADBD4C5","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":"Q2287072$AFD3546D-3D2A-48EE-859C-C2EBC08864BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e1b80292098c4e01c419648f630622bbd93b725","datavalue":{"value":"https://doi.org/10.1007/978-3-030-11245-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287072$5B708586-950E-4DB1-A577-B4A37DC743A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d5ed66149cfd5d4db9a30a062ad15e4c98013b4","datavalue":{"value":"W2909616620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287072$4D2CBF91-2D16-4D25-88E6-123522C11642","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8ed4dcaa57c1472d5eb1febbb31c1bc9bfacc1","datavalue":{"value":{"entity-type":"item","numeric-id":2891413,"id":"Q2891413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36b59ca9d76f7ba546ec6f4cf26ff72c4e5d0c5","datavalue":{"value":{"amount":"+0.7813353538513184","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":"Q2287072$D6F8A0EC-C914-40AE-B381-D17587E525CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be946f02e692896d7a0e357d6887a420cde4b641","datavalue":{"value":{"entity-type":"item","numeric-id":2050108,"id":"Q2050108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd7b43ace18aa895d7da974075ed5d7548cc4de","datavalue":{"value":{"amount":"+0.7721508741378784","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":"Q2287072$87641E8E-A783-40AB-B367-D6C5F7AC4E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4dc29971954425bc7712e86b4962700f69939dc","datavalue":{"value":{"entity-type":"item","numeric-id":6045007,"id":"Q6045007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0174ddd299b38ca6e50443361d3e12a31acb72bf","datavalue":{"value":{"amount":"+0.7696521878242493","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":"Q2287072$2955D7B7-FB9E-42B6-82A4-EF6923A3FB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb42c4ef10ac9e969c090494172d73496dd4d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3303903,"id":"Q3303903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920b13e793a7a357b993c5161bb7e0caca6aa53a","datavalue":{"value":{"amount":"+0.7538809776306152","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":"Q2287072$F2D1A0CE-5C02-4395-A674-264E9654E172","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":"59d458da2247bc6f58a17c8f26cdc91b5b01bc43","datavalue":{"value":{"amount":"+0.742952823638916","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":"Q2287072$EF0FB90C-0CB2-4C4E-8C2A-08DED5C3E74A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2287072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2287072"}}}}}