{"entities":{"Q5051992":{"pageid":7081569,"ns":120,"title":"Item:Q5051992","lastrevid":57221406,"modified":"2026-03-27T12:45:07Z","type":"item","id":"Q5051992","labels":{"en":{"language":"en","value":"Migrating gradual types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7620650"}},"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":"Q5051992$5C419C7D-1F9F-495D-9D14-D3F1AC8A491A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53c3442710e51cc2fb5d3225f27fb76130d7de2f","datavalue":{"value":{"text":"Migrating gradual types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5051992$D5B43D54-8959-4D3E-91F5-CF8DF11A5A28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73acb43470e49048c460270176756b8c528a7ca5","datavalue":{"value":"10.1017/S0956796822000089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5051992$5129F9E9-480F-43D6-AF0A-BF996D0C4354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6445772e1698391bf4fa87202fd6c8a2fba8709","datavalue":{"value":{"entity-type":"item","numeric-id":5051991,"id":"Q5051991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$ED6A43D9-C468-4546-846C-14ECF60A4FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5c28d5d9a694f27c60a3c86bf86978c39e71973","datavalue":{"value":{"entity-type":"item","numeric-id":2819662,"id":"Q2819662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$A87FB423-195B-49BC-B094-86CE154A1580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53c5b991087c1fbed079fe8d65b7dc7f71226beb","datavalue":{"value":{"entity-type":"item","numeric-id":997229,"id":"Q997229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$6C7768F9-15D7-4CFF-84BB-8F93203BE693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b326a104ee1d130ff0105d2630fc72328a406f63","datavalue":{"value":{"entity-type":"item","numeric-id":3648352,"id":"Q3648352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$963BD363-C3E2-48B1-A2C6-44C36C0CE1E6","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":"Q5051992$615F7DD5-3B6D-4D11-9F5D-4C182FB77254","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0574a4bff222e9fd97c080fbc50c618f266d2baa","datavalue":{"value":{"time":"+2022-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5051992$DA74805F-81AC-4DEE-9EE1-02D078CF91E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5051992$74976DEE-52F2-4EF5-9E54-1937E40643C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9b2a67282ef76301811db170465e23bebe67279","datavalue":{"value":"7620650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5051992$7688A704-82E8-42C4-A33B-C1B7B43C6AF9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65003e806d0207901b47e38b13875ab3442abde1","datavalue":{"value":{"entity-type":"item","numeric-id":33504,"id":"Q33504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$F32CBB27-0B87-4D7F-8D02-5600E028FBB2","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":"Q5051992$13903BC8-28D3-4DBD-8E71-B29944176FE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d3f3fa20a0a5d842ef81b186cf696e48ab7e61c","datavalue":{"value":"https://doi.org/10.1017/s0956796822000089","type":"string"},"datatype":"url"},"type":"statement","id":"Q5051992$23954D7F-C978-4C01-806C-E5F30523EB1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"696ac0a417b8950ee4d7b631e95620ebce2cfc7b","datavalue":{"value":"W2899089688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5051992$5AD681A4-D892-4BF1-882E-AF38744966D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbc3b89e3e5f225b83ff2636cb0562d13e70eba","datavalue":{"value":{"entity-type":"item","numeric-id":5408544,"id":"Q5408544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$4D4AF885-906A-4F00-8959-C50FFD8CAF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$AE5D7290-D36C-4520-9657-5061928AE44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f47e10979700050d8c5ba85e04aa3f4dcecbaa7","datavalue":{"value":{"entity-type":"item","numeric-id":5051992,"id":"Q5051992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$56291C11-EA4F-43B3-A491-703741F37A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53de92f7826b6f612ed3fad5b4fd21cb8ed2b22e","datavalue":{"value":{"entity-type":"item","numeric-id":5408451,"id":"Q5408451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$F8EE5C4F-16EB-4FD2-8C75-A4962DEDDD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923f668195cfa9d6819f36bb4baf9ea41968a9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5170701,"id":"Q5170701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$2F403403-03CB-4D44-ACEE-8C21C05ABDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2804ead87503ca714cbf3dec44efdefc00f6f038","datavalue":{"value":{"entity-type":"item","numeric-id":2828286,"id":"Q2828286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$7954FE80-BC1C-481C-B34D-FE4EC71EA48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c047034a7dbd7b0d22752bd895aafb08b1ecb13a","datavalue":{"value":{"entity-type":"item","numeric-id":5168880,"id":"Q5168880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$2E9440B1-3550-4C48-917D-4EDF3F34237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939a6610d3899c9cf2285a0bd6e1b0abab8ce66f","datavalue":{"value":{"entity-type":"item","numeric-id":2942876,"id":"Q2942876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$1FCBB742-2B49-4B8E-9948-32D058A51A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce32b195ef56223eae35abc6fe1194e800bb9f4","datavalue":{"value":{"entity-type":"item","numeric-id":2828289,"id":"Q2828289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$6059912B-212F-49F9-A457-4371D6F50E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0b3b467ba921411b581ce413e35022c70138af","datavalue":{"value":{"entity-type":"item","numeric-id":5370913,"id":"Q5370913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$091DDBE9-7CBE-483B-ACB6-55E0075AFDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f6495473a185f83f33187673a86fff4297b57b3","datavalue":{"value":{"entity-type":"item","numeric-id":2981951,"id":"Q2981951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$AC6E1835-2F8B-4F0B-82DA-FB5FE4B2F65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60ac0401efe8861694690ffead803c8bff923c0","datavalue":{"value":{"entity-type":"item","numeric-id":3648353,"id":"Q3648353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$112FB3B5-ACB6-44A7-81C8-BF0693B8E18D","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":"Q5051992$47BE54C2-B29D-48B6-8F04-71A05B4A4857","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":"Q5051992$AE75A337-72EB-4004-9EE6-B3971B0D531E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffdc3f075a8a5a716c52bfac399bc2092d53a952","datavalue":{"value":{"entity-type":"item","numeric-id":3000584,"id":"Q3000584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$62663EB7-2C43-4943-A225-261774F0E287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc84a5a4843458022a161fa97dc41cf1704047a1","datavalue":{"value":{"entity-type":"item","numeric-id":5370915,"id":"Q5370915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$7DED5B20-EC3A-45DF-B329-DE7A670A67F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5404f54b5080d985d02bc43fda9074545348d87","datavalue":{"value":{"entity-type":"item","numeric-id":5370912,"id":"Q5370912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$EE891540-047C-42CC-A26B-9F50F66AD7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b714f494791ad0b25dba73998f58f478daac7ae","datavalue":{"value":{"entity-type":"item","numeric-id":4737971,"id":"Q4737971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$C315A0BB-FC96-4F03-92A3-92E5154C3173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$0699BB5A-7179-48E1-86AC-3986AB035AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97cabc942b3586367dfae9482d864800497f9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2892752,"id":"Q2892752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$399634EA-0567-4E86-936B-9B7F6D175D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb1b097f18134814f2e4627fdb5082b2571d081","datavalue":{"value":{"entity-type":"item","numeric-id":3188297,"id":"Q3188297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$BC101D87-9CE5-49D0-909D-5EC72C77826A","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":"Q5051992$A97A7782-076F-4CE1-807D-0D04863DCAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2689088e0576397b80171e7b78689bb5623111b","datavalue":{"value":{"entity-type":"item","numeric-id":5233253,"id":"Q5233253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$6702A9A4-5159-40EC-AE20-8B599D3FE917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726a045bfe5bcf27b308fa8553c106d6b5ec2d30","datavalue":{"value":{"entity-type":"item","numeric-id":4918240,"id":"Q4918240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$6836DB15-A202-4FEF-99DD-DF1C3487CCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7c029f60dd8fb863b45f48e88e0f72112f016b","datavalue":{"value":{"entity-type":"item","numeric-id":3617686,"id":"Q3617686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$4E079769-3FFC-4317-A028-DE6AD2FCC017","rank":"normal"}],"P1643":[{"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":"5d2d5a0caf5c29064c88eb4a5532134047b4f36d","datavalue":{"value":{"amount":"+0.7256902456283569","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":"Q5051992$2ED9FBF1-5F53-4CBC-B81F-5A1FDB97C311","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":"5617509237bd60861fa07b1551c3da78c0b60ad6","datavalue":{"value":{"amount":"+0.7212813496589661","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":"Q5051992$75F34CA9-BD33-4A97-BE86-834196B2B3A0","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":"aa2139da388c2b1ab1f11fa126ff3e253a8a8ba7","datavalue":{"value":{"amount":"+0.7161030173301697","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":"Q5051992$7C7F9D1A-0D38-42EA-9BC1-52F38058CAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5e94a974ead77f0a3fa2571ab3cd2444b6b787","datavalue":{"value":{"entity-type":"item","numeric-id":2802447,"id":"Q2802447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e3a2eaa43543c17f535bcde3de385ff83fb3b1","datavalue":{"value":{"amount":"+0.7124271988868713","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":"Q5051992$2C36ADC2-481D-4CC4-A3BC-7CA1AD4505D7","rank":"normal"},{"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":"f52ff1c486a37bb11303c41f1cb69baa8194bb6e","datavalue":{"value":{"amount":"+0.7046749591827393","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":"Q5051992$6ACF5A72-8500-4041-BCC8-5B8DF711A583","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5051992$C70D6DCC-C578-4C52-98E0-18CB10BFD0F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5051992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5051992"}}}}}