{"entities":{"Q5370913":{"pageid":7400487,"ns":120,"title":"Item:Q5370913","lastrevid":52934300,"modified":"2026-01-23T20:35:14Z","type":"item","id":"Q5370913","labels":{"en":{"language":"en","value":"Automatically generating the dynamic semantics of gradually typed languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794695"}},"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":"Q5370913$3062ADBB-69B4-484F-9A1D-B55196C0C376","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"110b81ffa2023de0b51ba5900f2b1a7045c16599","datavalue":{"value":{"text":"Automatically generating the dynamic semantics of gradually typed languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370913$8D1DFF39-FCDB-4E2D-A8FC-DF5DD3C116C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cc172e6c12072693b1798a2ae7509257693c2ca","datavalue":{"value":"1380.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370913$1E6ED240-2B08-4A24-BA35-5798FA278414","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb6dd1f15b7565ce2c416ce0dd328e2c208d2adf","datavalue":{"value":"10.1145/3009837.3009863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370913$01543915-73D7-4E00-814A-AAD5D5BBE3E8","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":"Q5370913$DF79CD87-FABF-4C44-B8D9-CABFA864E78E","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":"Q5370913$7F6575BE-592F-4DF2-83FD-4846A90C3CBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370913$75E29F7D-87B7-4D1B-978F-F8401BDA7F69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370913$07A03EAF-32EB-4D14-A3D4-2F236A9597F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370913$FA40BDD9-35DD-48AB-9CD6-EBC492E0385E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370913$11E6D4EC-4FCD-4575-BF0B-D689EB6EB155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370913$A8C74B4D-DC94-4970-BED1-6D9CC1DA6394","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e68e7a6f62ff2e48373d2c94cb98ad8c8f2a6e2","datavalue":{"value":"6794695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370913$A0F958EF-8DB2-4B6F-93F2-2D1197B645FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370913$C26371CD-BA64-4D70-969F-ABCFC2D62D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"187de2fa034dc23e31b8e802c06f7768605bd22a","datavalue":{"value":"methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370913$419733FF-2605-46F2-B275-5321981A4BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370913$08429E39-F9CA-407F-85B5-2D11C9389135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370913$C525BC34-0DC9-4A18-B065-6F92D83959CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370913$88D0FF68-9C26-465D-AC6B-E461D1A9B432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370913$5B2058DB-4F1F-45A7-BBFE-F6F1B5178ABB","rank":"normal"},{"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":"Q5370913$E62274BF-4453-4E0D-9649-BA8320526C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fcea803c1d997f36dd7a9b0f4409f2bb2a150fd6","datavalue":{"value":{"entity-type":"item","numeric-id":33503,"id":"Q33503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370913$91E554CB-8DA0-41DA-B2FE-7048087CB5B1","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":"Q5370913$5D024A3B-21DD-44CE-A6A6-1B182B477C34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59649425fe28cccbd6bd34155f810ba8bb5e98ce","datavalue":{"value":"https://doi.org/10.1145/3009837.3009863","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370913$F51BF698-42AB-4B86-A497-5A8DDECB1714","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58f8b4b26afdfa2dd004460afddb810c3757e335","datavalue":{"value":"W2566906701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370913$DE016D7A-F988-4EF7-80C5-673B65D37C1A","rank":"normal"}],"P1643":[{"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":"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":"Q5370913$D526C1EB-A8FC-4B8C-974F-72E3837D37F1","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":"59a0d26f137918ebe072d02072501370930d9ea7","datavalue":{"value":{"amount":"+0.7590054869651794","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":"Q5370913$D1FAE5A3-C2C5-4D70-93EF-F758E85AC044","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":"a5793208720daf62fc1350efd9548149f4d31646","datavalue":{"value":{"amount":"+0.7580052018165588","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":"Q5370913$34664FBE-CBF5-4BFE-9CDF-BEC813FE3A29","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":"e78956664e2cd99aca72655edd34890f6084b241","datavalue":{"value":{"amount":"+0.752024233341217","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":"Q5370913$1FAA9A9E-A980-45E3-A0C2-784CE11AFEF9","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":"8aa66c27f15aae9e0226dd71a14617912e9bcadc","datavalue":{"value":{"amount":"+0.7402533292770386","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":"Q5370913$506464AD-A652-4A05-84D2-63676C368EF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370913"}}}}}