{"entities":{"Q4972071":{"pageid":7001650,"ns":120,"title":"Item:Q4972071","lastrevid":53600519,"modified":"2026-01-25T09:50:40Z","type":"item","id":"Q4972071","labels":{"en":{"language":"en","value":"How to evaluate the performance of gradual type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135420"}},"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":"Q4972071$5A328980-AF7F-4D94-B28E-8DC0D32BA4BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b19c25cfdd9567aa1a45e7bd2b5cec3e520dcd9c","datavalue":{"value":{"text":"How to evaluate the performance of gradual type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972071$A78B5205-8F59-4B43-A4A5-941C779B6CD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c12c18b1667827a2030c5d2e3dc5432d445e6cb5","datavalue":{"value":"1493.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972071$26695E95-2F15-41CB-8AB3-DE3419D08AA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e00d97d2c6aa164fe68dd78582bce5ed977a6759","datavalue":{"value":"10.1017/S0956796818000217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972071$38AB94EB-6625-41C7-9443-4ADBB560FB95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6aa8c9f8a7bb1491d104e6e48c55203e4621575","datavalue":{"value":{"entity-type":"item","numeric-id":4972069,"id":"Q4972069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$F09B886D-0B3C-4462-AD28-3D00ECB39154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fd4a4d23ecc13e6f1907423cc816f2841585d18","datavalue":{"value":{"entity-type":"item","numeric-id":4972070,"id":"Q4972070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$A592E09B-DCF3-4AD9-B068-4C60C1EC14D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9023456920f3725fc5e923a1a4f7ca676bf7411","datavalue":{"value":{"entity-type":"item","numeric-id":1652974,"id":"Q1652974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$7E4ADC6D-C4C6-4FA6-BFE3-7F00733F652C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c048277ef883717688a78b517702fd67d107377","datavalue":{"value":{"entity-type":"item","numeric-id":2798270,"id":"Q2798270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$FF426F92-A3B3-4BF7-AEA8-2B417FFF5337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fc9d3172fe75452b314c51310bbc562cf6b0e7f","datavalue":{"value":{"entity-type":"item","numeric-id":812079,"id":"Q812079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$2889D99B-7B87-436F-8488-6A67E13B1023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5d56590b9e1f81c9a1dbdd959f0a581962a4fb","datavalue":{"value":{"entity-type":"item","numeric-id":995819,"id":"Q995819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$9D544E42-B65A-42D8-9701-E7D952A844DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfe7eec3db288eadfe34f00a6ac258323c994e5","datavalue":{"value":{"entity-type":"item","numeric-id":608230,"id":"Q608230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$CED9C533-34AA-4392-B9C1-11FF16A1ECD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$2058D915-ADA6-4024-8B58-8E4E8DFB10A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972071$6AAB5889-0985-4422-978A-A3E3F2ED49A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972071$E98FB8FB-1BF8-43C9-B9EC-6879BAEBEAD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc46375f20327b50fdb41509d6ddf4847616cd09","datavalue":{"value":"7135420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972071$7538E9C8-72C1-4A77-8223-8A7ED3EEF7A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44bad889325630fa1fe7bc3b0aa9ed968ecf47fa","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$00FA8C5B-F578-40F0-9C02-A9673B076514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28b165bb5804a7a61e608fe9b0a0e515a145274e","datavalue":{"value":{"entity-type":"item","numeric-id":31824,"id":"Q31824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$970A29E2-BC25-4225-A519-F6BF4BF7A89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd34514e84888ebd3a69f0b8c6ef044188293db4","datavalue":{"value":{"entity-type":"item","numeric-id":35404,"id":"Q35404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$C52F4C22-9D9F-4FAE-964B-05DD31942584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44a200eb09a03834a824652510d08c8ad1b55f82","datavalue":{"value":{"entity-type":"item","numeric-id":5972403,"id":"Q5972403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$115BD745-38E8-4A03-8F93-1608B6B39BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d1137a9f93900458069484544ebbc37cdeff538d","datavalue":{"value":{"entity-type":"item","numeric-id":5974398,"id":"Q5974398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$66262A85-4851-4384-8794-4282F178E0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65e534626abcb0d5c7df7c1e4c33439b9344cd22","datavalue":{"value":{"entity-type":"item","numeric-id":41787,"id":"Q41787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$89D98173-26FE-4D74-80E7-9E3364B738DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$D5E784B0-0204-4898-9341-AA4C298B8C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$9F1C98C5-D947-4F3A-822E-FA0C60CE0D5C","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":"Q4972071$ADEFF1B6-4176-43A1-A5CA-FD810A38689E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a30ba293c7c01d1a7f737e9198cbb411d9871f","datavalue":{"value":{"entity-type":"item","numeric-id":2892729,"id":"Q2892729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$34DC28DA-47D9-4D4B-A599-1A4BB6B3669D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fcee9e8717d4bd94d60a730b9815c52c825ebc","datavalue":{"value":{"entity-type":"item","numeric-id":5830926,"id":"Q5830926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$C58F3585-E77C-498D-B626-917B3B194FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727dec515e3245b4dd839725341eb4ed4c4b3e45","datavalue":{"value":{"entity-type":"item","numeric-id":5244820,"id":"Q5244820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$DC5642D2-DD23-4A50-BA12-05D3F6D90D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a922a9eeeef85c802fa88a10fa97579bf697de0","datavalue":{"value":{"entity-type":"item","numeric-id":2819815,"id":"Q2819815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$95B73EE1-D8C1-4D50-BB78-1E37E62CD33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc19332e98e54875e1f504e123420bff5e44b6","datavalue":{"value":{"entity-type":"item","numeric-id":2828288,"id":"Q2828288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$137079FA-7FBA-48BC-9C3D-1E642BE8EAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e9fe86044a1ae9dcd1d656f7c3841b1a5833c5","datavalue":{"value":{"entity-type":"item","numeric-id":2819803,"id":"Q2819803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$B5F6C029-C027-4E9D-8607-800F5415F3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2907b18e05de3af9cf4b14b4b124ae231a28b7c","datavalue":{"value":{"entity-type":"item","numeric-id":656856,"id":"Q656856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$F592BE15-9F06-4D94-BA0B-B60AA561F639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6162a2234cfa6691725745a365b75d4d43df7e","datavalue":{"value":{"entity-type":"item","numeric-id":3189775,"id":"Q3189775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$DC5C4319-9909-4B61-92FA-54CEC9647829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bda0fccf3ff2b7740a15c6489fd19412a4c17b0","datavalue":{"value":{"entity-type":"item","numeric-id":2819673,"id":"Q2819673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$1AFDE306-F45A-45BB-AE31-6A645D9A1EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae31cbd107a3fff045ec3ec6d0a2471856019d7","datavalue":{"value":{"entity-type":"item","numeric-id":2819802,"id":"Q2819802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$249AFA6B-618E-466E-96BD-F942AC951D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db371d8d25afa02ce1da350bd7dd61a25d640a83","datavalue":{"value":{"entity-type":"item","numeric-id":5019015,"id":"Q5019015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$E92F4430-5A50-44CE-9C83-70FFD0131A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dcf971773fa03577ffa02a9eebe37898e0403b4","datavalue":{"value":{"entity-type":"item","numeric-id":2802447,"id":"Q2802447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$9555B49E-96D9-4045-BEE9-4DDF4D625E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667264333fa5eb950251f22ecbe17fcc89bd1319","datavalue":{"value":{"entity-type":"item","numeric-id":5255094,"id":"Q5255094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$D432C37E-7963-404D-9412-7C6EAD3C6A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$840952DF-2E59-4750-8395-C6FE63F4F4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b39cc6e048f25506da92666689e386257c033c7","datavalue":{"value":{"entity-type":"item","numeric-id":3617689,"id":"Q3617689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$DF120BFF-F293-41F1-A3A9-CB84101F311F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abfbfc8c220db77036b08ebdbd3c5a3a5a5ba319","datavalue":{"value":{"entity-type":"item","numeric-id":4972071,"id":"Q4972071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$A1E27959-37A1-4134-88F9-E816867DF06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f19bf180f5f6899a16e251dd1aa51957313ed4bf","datavalue":{"value":{"entity-type":"item","numeric-id":5326288,"id":"Q5326288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$DEA7EA14-EA61-446F-A817-CAF55804A235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dccdbb6fa19cb81346a7b093ebc4768c7c2f275","datavalue":{"value":{"entity-type":"item","numeric-id":3189858,"id":"Q3189858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$090E7C74-D14E-4F20-8C69-C8C96748F784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3238c7fb7daf8aa711f78cafa1a480e53ebb81c","datavalue":{"value":{"entity-type":"item","numeric-id":5370910,"id":"Q5370910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972071$C827B2A5-9EC8-44F1-B3BE-90EAA56EC3DF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e82bfc2985bda68675ea35b92b626655ab0c4004","datavalue":{"value":"Q128358614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972071$6CAC07AC-CB73-42FD-8A34-FDD1395669A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f0f5f6bf5221caa55efed0c168408ea89e1aa6","datavalue":{"value":{"entity-type":"item","numeric-id":5370910,"id":"Q5370910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32cb3fa38f88fb02faf1fc54e9023414610ce5e7","datavalue":{"value":{"amount":"+0.7667443156242371","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":"Q4972071$3E7DA0FB-9A36-4CC3-9F32-CB0F43EB456B","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":"d527054b4da6c7e85c71bf662ab08b0911ebb2a1","datavalue":{"value":{"amount":"+0.7540397644042969","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":"Q4972071$53D9EFFA-B29C-4727-A122-701E1F6AB3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0d82369ded2744ab3262c41ab34f4fd6601854","datavalue":{"value":{"entity-type":"item","numeric-id":2819802,"id":"Q2819802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f32bdb2b68c9176202c5b48cfd8b7dee696de2","datavalue":{"value":{"amount":"+0.7390381693840027","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":"Q4972071$13D65A3E-9F3E-466E-B179-647C64B4290D","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":"23c8332d7ed62e4c2f9cced19e30afa95746da00","datavalue":{"value":{"amount":"+0.738629162311554","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":"Q4972071$A078DF98-CB1E-4C45-8768-17CD81D9424F","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":"2fd7b77c9bdc341fc2fbdc237db0c98083042d15","datavalue":{"value":{"amount":"+0.7342619895935059","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":"Q4972071$D25E8575-E316-4CFD-A5C6-715C2A178C81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972071"}}}}}