{"entities":{"Q2381977":{"pageid":2392720,"ns":120,"title":"Item:Q2381977","lastrevid":43983837,"modified":"2025-11-18T18:20:30Z","type":"item","id":"Q2381977","labels":{"en":{"language":"en","value":"Mechanisms for improved covariant type-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5196025"}},"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":"Q2381977$A9DF7590-E5AE-4A10-A987-250098112C46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d523c336674a5b3fc93e7291206aaf91abf644b","datavalue":{"value":{"text":"Mechanisms for improved covariant type-checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2381977$7ADC5B8E-FC42-4C96-B5C1-D1472C294DFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f770bb355c1dfeaaf147850e5a2847e391d946c5","datavalue":{"value":"1125.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381977$DFE982DB-DDF1-4B8A-A736-4FF9DCFC96E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"873f24a7464bb557dfc9e354b0936a6f547375aa","datavalue":{"value":{"entity-type":"item","numeric-id":2381975,"id":"Q2381975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381977$E649CB89-DACD-4AB4-B73B-02C18A1C31B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6c2d71c3fd5a18a0c8467baaa30828a56a897d5","datavalue":{"value":{"entity-type":"item","numeric-id":2381976,"id":"Q2381976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381977$DF4433D6-91EF-4F1B-8997-A04E356F6A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3875110186352248618216b81fa4d2122e5be3ad","datavalue":{"value":{"entity-type":"item","numeric-id":169913,"id":"Q169913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381977$7038E56C-B04C-4EFB-8C85-874100E87D13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381977$32B96CBC-6EC1-43A5-86ED-B979B6CF3F2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f805aedaf7c0349624b9d43ddf89f2714900c182","datavalue":{"value":{"time":"+2007-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2381977$62D7BBC3-AB36-4953-8B7B-E0EC0633861C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381977$1B419227-024F-4616-B264-78F607AF5BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381977$4AC13AB8-D937-4128-A0CA-AAB550C9A8EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b77d08b1ddf6e9352462a9d8f406c350a43672d","datavalue":{"value":"5196025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381977$8CDDEC94-DB1B-411C-98C3-F262CCE033A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2af44a087e247fbfd11298b6ab93031cafba5236","datavalue":{"value":"Type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381977$022E8498-AF75-45FB-921D-756D1084B0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5673f760f9b4f3201ce61c26a65e80775d3e21ba","datavalue":{"value":"covariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381977$01E4F8E4-BC88-4C19-B47D-3546E016192B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"decc0170e0f04b17dd607ef434c60e397253451b","datavalue":{"value":"object-oriented programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381977$790DAECD-AA52-4A3B-993C-0D17432DCA85","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381977$593AAFB5-F292-4E21-83BA-4581EE9FA997","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":"Q2381977$AB950070-4DD9-4EE2-8FFE-BCC850409C30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34b16eab143c6ef44133b4dc41393a6d8f1b3112","datavalue":{"value":"https://doi.org/10.1016/j.cl.2006.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2381977$81929940-8457-4488-9044-556FD2F7D140","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c7cb4e7ae8d136e2e4b91e1b63c8838aa03c5e6","datavalue":{"value":"W2069934368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381977$365FB7D3-AB03-4CAA-B0B1-8D648A9A3044","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381977$05EA2473-A47C-4B6F-A17C-6B5068302022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381977$6A380ED1-5A11-406F-9D33-A2F44C9B9173","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"002774f5e84e07ace59fa7caaf76a7e5cb777e76","datavalue":{"value":"10.1016/J.CL.2006.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381977$3A48EC62-69BA-4CF7-A579-31399AD9CD4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c4eae07ff2869485fe2bac62ab089c479a52f8","datavalue":{"value":{"entity-type":"item","numeric-id":3702495,"id":"Q3702495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a83d0d36d13ec5d1fbe5fdc8612a78d431a968d","datavalue":{"value":{"amount":"+0.873239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381977$B0260F9E-6F64-453F-8F73-DC3EEF685985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36cb5b5376bc6b62447f9abe77c1dcfe7f018bca","datavalue":{"value":{"entity-type":"item","numeric-id":4697448,"id":"Q4697448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f11f8e3ba5061ac82ab2f5e0ab53a9b65458db1","datavalue":{"value":{"amount":"+0.8709383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381977$7A77618B-CC6B-4A4C-A7F2-3CD90EDDB5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e48ba743ffb2dfab24e80e8ca4b0923610382e","datavalue":{"value":{"entity-type":"item","numeric-id":2949198,"id":"Q2949198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e2135e9ddedb779802d3fea165bf616d12d20f","datavalue":{"value":{"amount":"+0.87068534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381977$1C1A1B50-94BA-4767-B32B-7DCA1B081401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e107f4d053dfdc137bb4895809243c4210b6f226","datavalue":{"value":{"entity-type":"item","numeric-id":5096209,"id":"Q5096209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bce59f1c7389c4c5ca9b54c28b9fb0e5fd46363","datavalue":{"value":{"amount":"+0.86731875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381977$11622213-FCDF-4EAD-80D5-7B9E6AEFD8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050d417a325eaccd3bf238c3dc6fff25cdae7001","datavalue":{"value":{"entity-type":"item","numeric-id":1854554,"id":"Q1854554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f7c440d249eb533c1f82dc6e0c89444d6fc988","datavalue":{"value":{"amount":"+0.8636286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381977$58B2E299-04DB-40E4-9966-5D566429E5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de54d5fd178410dac9afe49d960ba159b7f5294","datavalue":{"value":{"entity-type":"item","numeric-id":5244821,"id":"Q5244821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8660206bf583c2093d156809f80a5b436c32bdb8","datavalue":{"value":{"amount":"+0.8634956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381977$58CFB3EE-F9EC-4338-9B1A-0139477DA44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cd0349da31a26697885644df1d855c1e074195","datavalue":{"value":{"entity-type":"item","numeric-id":1275627,"id":"Q1275627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a477f391812dcd293b53df654829e5909d0824","datavalue":{"value":{"amount":"+0.8621107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381977$CE68E99E-B5F0-49D6-AD17-5558E530CA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11af6d69ff179f9290e188f403bcf8b563bbe1ed","datavalue":{"value":{"entity-type":"item","numeric-id":4964692,"id":"Q4964692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2996d1e98377324ba472e51df6efd2fefc27c7e4","datavalue":{"value":{"amount":"+0.85836947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381977$903854C2-114D-4212-8AD5-777703FE2448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7177964b2718630afb4cc61cebed2535794fa3","datavalue":{"value":{"entity-type":"item","numeric-id":763480,"id":"Q763480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b84ad40f93f37a6fff1cde600689000e50dd58d","datavalue":{"value":{"amount":"+0.8583379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381977$FD1BC492-F654-4542-B22E-A73426815A40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2381977","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2381977"}}}}}