{"entities":{"Q2828288":{"pageid":2839026,"ns":120,"title":"Item:Q2828288","lastrevid":83391719,"modified":"2026-05-07T07:30:11Z","type":"item","id":"Q2828288","labels":{"en":{"language":"en","value":"Abstracting gradual typing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642969"}},"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":"Q2828288$567F53EA-A825-4B98-87B7-A19F48B4E185","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55187aec051f427c9e2ebfdd6311c896a78fcd90","datavalue":{"value":{"text":"Abstracting gradual typing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828288$29C9CE8D-64D4-4DAB-9F15-4B99A0DAA1A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3596e1e7a6a957bb43126ed978d456e3d2edac0","datavalue":{"value":"1347.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828288$309AA876-AE4D-4AA2-9CF2-0A06F1522F4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ac0fe5a8f3d7e1696bb69405e964666e70109e6","datavalue":{"value":"10.1145/2837614.2837670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828288$F4E3486B-13D4-43E7-8E69-238E1C8BC282","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"927ccc7e665a8cc0398647fee4e5c589c7932e89","datavalue":{"value":{"entity-type":"item","numeric-id":2802446,"id":"Q2802446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828288$49659D04-E5DB-4BED-B97D-C5D062304299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f615e354c9dde8d88371c712ed467393ba02e6b4","datavalue":{"value":{"entity-type":"item","numeric-id":2828287,"id":"Q2828287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828288$9B7B2DF1-1705-49AE-B620-83C6BC677FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19fabfa06536443b38e263e6eb9f1c99dcd7a5f0","datavalue":{"value":{"entity-type":"item","numeric-id":608344,"id":"Q608344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828288$951D0274-FB37-415E-9096-015C64CC78FF","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":"Q2828288$B6505391-D0AF-4B31-9CDB-8EC0A0C8523F","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":"Q2828288$1EFA7B58-8566-433B-AE19-1C5D1660C274","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828288$43ECBBD0-9E3E-4930-9211-E0A4CE999EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828288$B6723BDB-A787-403E-B546-BAE4E38975F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb522ee9a12038ccfcef9264d15958af13057232","datavalue":{"value":"6642969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828288$7DD272D7-1D59-4C7B-AA82-D8CCB55492F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828288$92657369-D6D2-4D0F-A83E-C2CC1FFF4174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828288$E1751784-4F94-4B0A-BDB8-63BA8BB74CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828288$BE16009E-BB2D-4D48-B565-EA9716585027","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":"Q2828288$7D70674F-8759-443E-86B0-B0474276BD07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06927c1676cbf8d3c57983515a9c67ee7d4bd7f5","datavalue":{"value":"https://doi.org/10.1145/2837614.2837670","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828288$1631D526-D065-4509-A189-4363BF97A29C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83410699312fed56cc46336c7db7211bf44b2dce","datavalue":{"value":"W2295283668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828288$64B68A02-6E05-4AF0-A888-C909CA42747B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d562c7168370a90bfa8dfd3309d82801b7bf975f","datavalue":{"value":{"entity-type":"item","numeric-id":5019016,"id":"Q5019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b31015b05478d6fe704a64e680a9430cb0c50bf3","datavalue":{"value":{"amount":"+0.8430569767951965","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":"Q2828288$5D892CCD-841A-45DF-B22D-AAD4A7971C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cffe7062c6bcfd0f6bfaa47f0513ff55c71362fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819815,"id":"Q2819815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86475b3a0953bcbb2fbe9e9a7ec8aee21c3e8fcc","datavalue":{"value":{"amount":"+0.8197301626205444","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":"Q2828288$1014BA2E-CB09-4FDF-A756-54D74320F901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b060ffc3333c7abdd32b45dfc21007f54dfe9c","datavalue":{"value":{"entity-type":"item","numeric-id":5233253,"id":"Q5233253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e51fbb68cb43c67271915d7a2fb8b4cafb3efd2","datavalue":{"value":{"amount":"+0.8096013069152832","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":"Q2828288$78A2BAD5-E17E-4C61-9899-0D2CF18370AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae68f9029a5e4c910681b12ffe21e6d6bbbe7450","datavalue":{"value":{"entity-type":"item","numeric-id":2828289,"id":"Q2828289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a377ba23b146cd7c9502937d85acfe1c472e1eec","datavalue":{"value":{"amount":"+0.8077366948127747","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":"Q2828288$5579E07E-6E96-4AE0-9084-C346119CCE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77000022ba49c0917b29992ab14dffacafa37e64","datavalue":{"value":{"entity-type":"item","numeric-id":656856,"id":"Q656856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6018af8942a2ff54ea4304f0907cd74e5adf23","datavalue":{"value":{"amount":"+0.8074578046798706","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":"Q2828288$A686FF73-3DF4-42FB-A65E-376FDAA61B6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstracting gradual typing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstracting_gradual_typing"}}}}}