{"entities":{"Q2819815":{"pageid":2830553,"ns":120,"title":"Item:Q2819815","lastrevid":79429184,"modified":"2026-05-06T13:53:16Z","type":"item","id":"Q2819815","labels":{"en":{"language":"en","value":"Principal type schemes for gradual programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631308"}},"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":"Q2819815$F1BDCA78-1F13-4108-B92B-BCAF38078351","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"138c206bdda99c94d687a14fb2e09e0cf125ad9c","datavalue":{"value":"1345.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819815$F9F105C3-78E7-462B-9057-89FE3E6BF16E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b53b5300898351641a6abcc5bdf2dfc545205f9d","datavalue":{"value":"10.1145/2676726.2676992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819815$D9DE6157-D018-4039-BD10-46E0A240BCF2","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":"Q2819815$E9AB4CB7-4EED-4038-AFDE-9FA5E09A25A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48d319662af7b9422c1624ab46529ca13af618cf","datavalue":{"value":{"entity-type":"item","numeric-id":2039938,"id":"Q2039938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819815$9EBD57E0-B30C-403B-B803-20C1C55E7843","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819815$9796F4FA-DEDB-4AC4-9966-B6F8E93A34BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819815$9CE82949-470D-4842-887F-9D184749D7C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819815$AE7BE9D2-DA44-4581-8884-AA77C235FE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819815$86BA7E43-EFAB-4DE7-A2C3-D48B3E23820C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"420e5c2690581c19a98277e87207746f5622927b","datavalue":{"value":"6631308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819815$BAB2D9F1-FEEF-4EA0-A15E-562F60D0C1A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819815$A463BD99-CD24-4037-BF74-3BD792EEFF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819815$82B976F4-783D-4A98-8EFA-6D95CA82B669","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":"Q2819815$33362C8B-87FF-4F28-8169-E3DE65B386F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b0bfd030468b357f79ddf3400c594a033dc210e","datavalue":{"value":"https://doi.org/10.1145/2676726.2676992","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819815$EB6B1D93-ABFB-4992-AA6C-EEBDD89571D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f009b991fde7ce0891fe95bfd5c7a0d506a938ed","datavalue":{"value":"W1970075481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819815$5D9AE5A4-F7CB-4D87-85C1-AA45DD60934F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fca5ef75f6cec115454997464b269118c0f5545a","datavalue":{"value":{"text":"Principal type schemes for gradual programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819815$F62E46B0-2072-4267-8CEF-D3BAFC431F23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73981eb38eb59fd0b5c5dc5b0422ae0a725913b","datavalue":{"value":{"entity-type":"item","numeric-id":2828288,"id":"Q2828288"},"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":"Q2819815$FF1F6CC0-4D2C-427F-A42B-9E34C24D241B","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":"6f3716fec4e0b1a0b9f1d3d6270ec65ce91b72e1","datavalue":{"value":{"amount":"+0.8084867000579834","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":"Q2819815$357A4D0A-06E3-4602-9C5C-C5A55A3DD4C0","rank":"normal"},{"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":"8a4ab1951da6de17a81b7809f3bbcc4a4f73eb37","datavalue":{"value":{"amount":"+0.7932839393615723","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":"Q2819815$A0C44458-2305-4E92-B3E8-AB6225D8DC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20c9b928d6a0fa37a8d52cffaf88dfb7a828984","datavalue":{"value":{"entity-type":"item","numeric-id":5410693,"id":"Q5410693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd92372f604729b21d8ee03859de0e6c0093ac6","datavalue":{"value":{"amount":"+0.7893533110618591","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":"Q2819815$8F53F270-AA59-4C75-B797-E4A3E0730030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d89e111d8f675368f33ca07eb4cf03f54519d52f","datavalue":{"value":{"entity-type":"item","numeric-id":5098736,"id":"Q5098736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f4024f44405ec0df3947831d132650de99f029","datavalue":{"value":{"amount":"+0.7885403037071228","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":"Q2819815$A509FADB-4855-497D-B43B-B2B78ECBD316","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principal type schemes for gradual programs","badges":[]}}}}}