{"entities":{"Q5370910":{"pageid":7400484,"ns":120,"title":"Item:Q5370910","lastrevid":52934294,"modified":"2026-01-23T20:35:14Z","type":"item","id":"Q5370910","labels":{"en":{"language":"en","value":"Big types in little runtime: open-world soundness and collaborative blame for gradual type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794693"}},"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":"Q5370910$E4A44033-EDF1-4A94-9A87-284EC7E0B86E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7ce32d115cc8bfd1074560b82acd118bc5b1903","datavalue":{"value":{"text":"Big types in little runtime: open-world soundness and collaborative blame for gradual type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370910$840908A1-8F91-4B42-BF87-E8458BAB268D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e7ecf6c459764b06255c8c5249b0e30ccb19ba2","datavalue":{"value":"1380.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370910$26B9E6C7-60A3-4103-8303-529CE0E634B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8684362f25b7add1891f1bb2074f516e7a56f1f2","datavalue":{"value":"10.1145/3009837.3009849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370910$7173BD98-9B36-4F75-B818-3DD6B2580F7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf11415edfdce9017ed3276648eedbe459b643c5","datavalue":{"value":{"entity-type":"item","numeric-id":2802444,"id":"Q2802444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370910$846CEE5B-E5F0-408D-8491-19B2229DE48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ba468f172bd820014c54ee805ce03c69af2c838","datavalue":{"value":{"entity-type":"item","numeric-id":2981990,"id":"Q2981990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370910$7DED8048-D411-4FDF-A82F-4DAC9237200A","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":"Q5370910$FB9777D9-2A12-428C-9890-B6CCF5485A2A","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":"Q5370910$DF19653B-1BAF-44A4-A1A2-5BEADDBC5BC4","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":"Q5370910$AAFB9EA0-9A6F-499D-9E25-C2511308B252","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370910$CE3D65E2-EBE5-4142-98C2-176E68D90478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370910$137769A9-5440-4A31-A7B3-5416F4C5C2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370910$85D45985-C1F9-4FB0-BEE3-71BF1FBF4B27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b89352acb2a0306ed1cbfa1a8d49f8483aeeaee","datavalue":{"value":"6794693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370910$B5C4B7A4-E9E7-43EF-9684-0B6CC1C04996","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370910$1F2BA89C-DF2C-4616-925C-3F17D658D381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c66e4ac2c588347a1304e6f3e85ffc4b0dd9dc3","datavalue":{"value":"interoperability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370910$59E80D2E-7A31-4C5E-AEF4-F03A43C39C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370910$49E040AA-674A-477F-AB39-7159BAAECB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370910$97E3D357-E290-46DC-8969-3FC42B681EAF","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":"Q5370910$2D219145-3455-4196-9F51-3D905D75C221","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"582c6e46d9ce510c687adcb2688ab7c4fba8c740","datavalue":{"value":"https://doi.org/10.1145/3009837.3009849","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370910$7CA1A2D7-FB5E-4166-B4E5-5AFE1E61F2D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38796e682441f81531ef858839e55e8ff2305a1c","datavalue":{"value":"W2561856298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370910$729775DE-C29F-4928-9317-4EBDA322B9C4","rank":"normal"}],"P1463":[{"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":"Q5370910$58D65CA3-8704-444F-8566-9C3AD99929D7","rank":"normal"}],"P1643":[{"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":"ce99a8e9b5b7822fb0d20e5480a07cbb2959411f","datavalue":{"value":{"amount":"+0.8032248616218567","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":"Q5370910$D279DBE0-18DA-4E2F-BCDA-1DE98E4BD593","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":"a4b9e2bd7741fb16f094ecfb457a58a06bfc4e54","datavalue":{"value":{"amount":"+0.8016874194145203","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":"Q5370910$C57A3AEF-EE62-4288-8EF6-7E03D29B3770","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":"21a17550cfced72420ad772616f4eef0ef6c2e8f","datavalue":{"value":{"amount":"+0.7911004424095154","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":"Q5370910$E507F00D-7D33-4838-B010-889A010946BD","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":"7f9b5baf419dbf41c6903490f8d563f55619c27b","datavalue":{"value":{"amount":"+0.778376042842865","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":"Q5370910$001EC834-21EF-4EAF-8DB8-FC5CAC445EB1","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":"18874725a249912566bff381d9b0ff0d156c2881","datavalue":{"value":{"amount":"+0.7733507752418518","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":"Q5370910$2AE86D49-5064-4258-B7EC-7EF43647F46D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370910"}}}}}