{"entities":{"Q2985773":{"pageid":2996498,"ns":120,"title":"Item:Q2985773","lastrevid":58087464,"modified":"2026-04-03T18:20:02Z","type":"item","id":"Q2985773","labels":{"en":{"language":"en","value":"Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713907"}},"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":"Q2985773$2E2258DB-615D-44E3-913B-AF7A70BE4AA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9670bd01fc44ff07f4c0e63eceb5597d120ecfe8","datavalue":{"value":{"text":"Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985773$316CE414-F74C-4775-A7C6-F818FC16A6A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd3f85e47e35bd5ca88148cba26013e89722ecb7","datavalue":{"value":"1361.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985773$9DAC09F3-203B-4AD3-98F4-A25B696614C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e673a9c0e701b801f05660525569701f87e2330","datavalue":{"value":"10.1145/2951913.2951915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985773$15EE90F6-C21D-4184-9A5C-34BABF2437A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28797d7e9263749b865b0243810799e9a408cab","datavalue":{"value":{"entity-type":"item","numeric-id":2819688,"id":"Q2819688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985773$6481ECCE-8115-48CE-A9AD-D7CFB51F314C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2109ea3ab29767c79eca725b68331d0c21a9a6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2225085,"id":"Q2225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985773$3147EAE4-8373-4204-A074-EA81FBDFCD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09e66114587b4090d0acd5e165d9ce2aa2b96b3a","datavalue":{"value":{"entity-type":"item","numeric-id":2985772,"id":"Q2985772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985773$48568E2B-96DC-455E-BCB7-BE14234C9409","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985773$6DB28ADA-B8CE-4285-BE05-4285C792FEE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985773$0CDD26B1-5D4B-4E37-9B0F-5DB245615754","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6603dec09ccd3fd1e60cd95abb9adf70dfb4024d","datavalue":{"value":"https://arxiv.org/abs/1606.07557","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985773$58CE8FF0-821B-4D4F-B7FC-9A1955B13991","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985773$E8C70631-708A-4B7D-AF35-D9AB423A8E69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f843122beb145a25089893ecfb431df58eabd98c","datavalue":{"value":"6713907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985773$A1622325-A5E8-4F6A-B504-FD672A38AE65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985773$5B0934C1-0CEA-4867-B918-004DC3A1C4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985773$41C2BEEC-D2CC-42D6-A709-830DF996F6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f41ee21a072b234fedc65f827a0a9e9ad0e9f048","datavalue":{"value":"type errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985773$E8B9252A-EDB9-4614-9EA0-29D9EF81A000","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":"Q2985773$3A35ADFA-DFF2-4A65-8D8D-9D1F05B825C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5e6400727b25491a03976ced33724d83eec25d5","datavalue":{"value":"W2996075572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985773$CF5D8664-AB3B-4FE1-B3DB-23408B82AFEB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cce810a15338826a505d78129597fd9d7ad5a2ea","datavalue":{"value":"Q130983799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985773$0C7721C1-7CBE-4961-A15A-13FB34A28DF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397c38a9868f465fbcf07b5234988bde88af0322","datavalue":{"value":{"entity-type":"item","numeric-id":5178009,"id":"Q5178009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"444c0b1e64f9abfe573ffb0417ab662b1278d01e","datavalue":{"value":{"amount":"+0.7535480260848999","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":"Q2985773$08E9599D-1DE1-40C3-B6E0-F30DC9445AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee8a121b4b85dce3e2f5f07b567ea59798ed2f9","datavalue":{"value":{"entity-type":"item","numeric-id":5170701,"id":"Q5170701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1245018ed39bef6f8776a9d0731d6be88b8d881","datavalue":{"value":{"amount":"+0.739055871963501","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":"Q2985773$46E70052-13D3-44D9-8DA7-A640366BFED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdaca1468b0876c390d243a6c73e1144d803aa25","datavalue":{"value":{"entity-type":"item","numeric-id":4577823,"id":"Q4577823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633c529907deac0a6d9a3b4cc0e79725c3cbcbe6","datavalue":{"value":{"amount":"+0.7378240823745728","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":"Q2985773$3EC75EC1-6F49-48EB-BE38-D2E0E3105E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce69a89bfb9d6e9ac26a02aed74fe75d57646f2","datavalue":{"value":{"entity-type":"item","numeric-id":5408451,"id":"Q5408451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802f8be0353c83565453c7c48dcc2d8f46562a2d","datavalue":{"value":{"amount":"+0.7361755967140198","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":"Q2985773$0B970300-EAC7-45D2-8E24-FBE2D80C15AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c851a38b28df699a3f15e2114528d1a6c809c03","datavalue":{"value":{"entity-type":"item","numeric-id":5423544,"id":"Q5423544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6fc9e5a90dbe9907084325997a448a2226107f","datavalue":{"value":{"amount":"+0.720811128616333","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":"Q2985773$368993B8-71B6-49CE-9D89-26437D107CD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985773"}}}}}