{"entities":{"Q2828289":{"pageid":2839027,"ns":120,"title":"Item:Q2828289","lastrevid":83387996,"modified":"2026-05-07T07:29:37Z","type":"item","id":"Q2828289","labels":{"en":{"language":"en","value":"The Gradualizer: a methodology and algorithm for generating gradual type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642970"}},"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":"Q2828289$246A0710-5FEE-464B-968F-A91240ADAF2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13b729c91dfd1631865c573e654345504a242488","datavalue":{"value":"1347.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828289$22931563-C760-4E33-9279-8550A856A655","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce3cf57effaafa63cfc7234e2716e605047da8dd","datavalue":{"value":"10.1145/2837614.2837632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828289$D46F6D63-3526-4753-AFA1-870C0BD05956","rank":"normal"}],"P16":[{"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":"Q2828289$D3B330A2-FE5F-406A-9F11-116150B4264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa4e1d5a7999a316ec4d8e4d1d121dc2f939f7cc","datavalue":{"value":{"entity-type":"item","numeric-id":532407,"id":"Q532407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828289$F169DDA3-3E82-4996-B338-846B77F14B4D","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":"Q2828289$E660054E-7B7E-4BCB-8756-B7D401679A83","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":"Q2828289$FD09AD82-453E-4832-A042-7B096DAED2E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828289$89BD63B3-D9C0-42BF-89AE-01CE8268826F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828289$A4B88F77-FE49-4269-864C-5A5B1133FF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828289$0F3AD6B9-1131-41E4-9F41-6B3850867F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828289$AED9945D-E409-4217-A8F9-B31B2B28097A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828289$354EB3D1-7DF1-484A-9EB0-D90E609DA9F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9979df16b6dd5c3f56122fe3fb358ca1db1dfcd","datavalue":{"value":"6642970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828289$B21493CE-F404-4903-B836-83CDE6704D33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828289$5B97C5BA-091D-45C4-9BC8-D3934F0F160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828289$84B2B5E5-1B52-4420-BAB2-4B1E843F5B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828289$D89C294F-3A9C-4603-901B-265692037B00","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":"Q2828289$99C820C2-AA39-486C-B28A-974EF75EF77D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e3276b51ea7e44c53162616de7d8ffa41f5febd","datavalue":{"value":"https://doi.org/10.1145/2837614.2837632","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828289$0B0C8FBD-3F64-4373-A457-7CF0AA507C63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99cf203fbea630ead494998a8ff0e29066657a6f","datavalue":{"value":"W2296599395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828289$073CDF86-6945-4112-AEF9-609EB21B2F05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31521114d01004a4f55596d3272f84ee09b92c55","datavalue":{"value":{"text":"The Gradualizer: a methodology and algorithm for generating gradual type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828289$B067B967-EE80-4AD5-AC52-E04A0E0854B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb54ae62ca91bce6aea41dcc8e7f4fb0608245b4","datavalue":{"value":{"entity-type":"item","numeric-id":5370913,"id":"Q5370913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4108324a74b925d41650c2763d707f90e47d3c46","datavalue":{"value":{"amount":"+0.8496124148368835","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":"Q2828289$D41FCE06-CCDC-4FCC-BE55-35905CD336BC","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":"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":"Q2828289$61395944-A91C-4435-AA4F-BC037F9A20E9","rank":"normal"},{"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":"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":"Q2828289$89457BDA-3CB0-42A7-8E6F-A43B75F74A81","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":"d702b684223a8f895daba088f7e872df50280a7f","datavalue":{"value":{"amount":"+0.7971104979515076","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":"Q2828289$44A47047-C8F8-425E-9888-C1B6CEE547A0","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":"48bf41e8ecc4881ae8f006e9d2abc00e48ed0aa0","datavalue":{"value":{"amount":"+0.7931328415870667","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":"Q2828289$92F8E446-BF97-4377-B926-3A01AAFA508E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Gradualizer: a methodology and algorithm for generating gradual type systems","badges":[]}}}}}