{"entities":{"Q2828323":{"pageid":2839061,"ns":120,"title":"Item:Q2828323","lastrevid":52656425,"modified":"2026-01-23T05:06:57Z","type":"item","id":"Q2828323","labels":{"en":{"language":"en","value":"Example-directed synthesis: a type-theoretic interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642996"}},"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":"Q2828323$396885BB-2EEB-491E-86DE-A696C84FF862","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed6d0d853a047fb442bedaf4fdd82171d2dab633","datavalue":{"value":{"text":"Example-directed synthesis: a type-theoretic interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828323$8AFF81B7-F5C7-492C-BA80-AFB9A6FB5302","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"989173724f98fcf82238e3aec32d2927830f3ef9","datavalue":{"value":"1347.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828323$C9190F4A-7B42-48BF-BC54-8FE6A9F700C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e07f97e690bf3d20d014348cf96c8ec1a45e494e","datavalue":{"value":"10.1145/2837614.2837629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828323$2D600DD7-D339-488F-A7FD-47B2CE637AD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828323$292AE7D2-745D-471F-811D-8B19AEE5809C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828323$18D11386-0908-4825-A825-0BDE52817E1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828323$8154CC0A-188E-4428-A8CE-155F6DCE06AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828323$8BF33ABF-490F-4488-B843-3118A484A526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828323$264CD559-F980-4F13-8382-A6CABBEDED36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b7ab9bb7c7cd1130d83410faf93fe6d8ec82aff","datavalue":{"value":"6642996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828323$6AD83526-9E87-4A94-AE0B-F4695F2BAA62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828323$03ED7E9C-1E0E-4FD2-AF98-6860B5B46DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828323$5B6D0FA7-872F-4911-B9DF-DDC033C3EA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828323$26904231-D2DF-412C-9220-F97E2709844A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828323$D2F5B349-3CED-49C0-8910-DEDF08DBAD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828323$DAC7E02D-BFE6-4194-9E35-15AAAB316AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828323$75B67AAA-31AB-499D-A077-714D5315B84E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828323$AA49700A-2806-439E-BE9F-48308599DB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828323$6998F4A8-14E1-4042-B96D-A258D5D6AC7F","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":"Q2828323$0B71C374-A05B-4E92-8AE3-05BF9E25C36F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bec00ccdc59fac81f69b592450d70f063f8310a1","datavalue":{"value":"https://doi.org/10.1145/2837614.2837629","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828323$2E63985B-7894-4334-B1D5-71B1149172F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12673101f760cb63eef857ad3a7a21b95e13c69f","datavalue":{"value":"W2263738566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828323$315227F9-5CA6-4C0D-8D78-E7B51698E17F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d6644dd46d06a47876db876127b9a36377b102f","datavalue":{"value":{"entity-type":"item","numeric-id":6772197,"id":"Q6772197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828323$1329B235-3A5A-40FE-B8AC-D300BAE1AA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af20330b6cddf3756b1da4788884a3f3df7d7b33","datavalue":{"value":{"entity-type":"item","numeric-id":6076677,"id":"Q6076677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828323$0206137E-6228-4F74-B194-10FC04689E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04225ecff97e059889c98d3d837d5c0044f885bb","datavalue":{"value":{"entity-type":"item","numeric-id":672593,"id":"Q672593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828323$0A6DC997-9AED-40E8-8405-92B0560DF52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"009b7b8cbfea2fbcb395e57ee3935b49b0504fc8","datavalue":{"value":{"entity-type":"item","numeric-id":276493,"id":"Q276493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828323$7C87971F-B181-4632-BD65-0F137F37CE9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e1607a8f63bdf410541c509fff702f3ebce1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2303879,"id":"Q2303879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e0af5fa86379d681a4e0788798883b3fbd2ec7","datavalue":{"value":{"amount":"+0.7997994422912598","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":"Q2828323$0C39E469-7E42-4F89-905F-2EB31D07D3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fb59a5efa31479e08d6ed1c301805e6732c43a","datavalue":{"value":{"entity-type":"item","numeric-id":2151254,"id":"Q2151254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8798994d99e60dc2a684a1bd5784ff36c1ac47d0","datavalue":{"value":{"amount":"+0.7882859110832214","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":"Q2828323$D33FCB63-37C0-41E6-8F57-C03C19C624CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f7a0e16a9f569fc744c4c6428a565462d3c670","datavalue":{"value":{"entity-type":"item","numeric-id":3296340,"id":"Q3296340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9362c19d05f696e79f6106fa16f0dce3e562d616","datavalue":{"value":{"amount":"+0.7853652238845825","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":"Q2828323$A9ECD16C-BD2E-4065-BE85-41EF322E1344","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":"c1aa0bd94a8bac1b45d0446861075670b463ff3a","datavalue":{"value":{"amount":"+0.7671800851821899","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":"Q2828323$FEF16074-E302-4B91-9B77-2C4BE44F3037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55811afa0a472bc8d33eb54267edaf9db4e852f7","datavalue":{"value":{"entity-type":"item","numeric-id":6488562,"id":"Q6488562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616a42ad87f5d61d8d319da9bf8e8560ac13310e","datavalue":{"value":{"amount":"+0.7603201270103455","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":"Q2828323$F5908073-84BB-4701-B8C4-272C0ACD5D67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828323"}}}}}