{"entities":{"Q2802447":{"pageid":2813185,"ns":120,"title":"Item:Q2802447","lastrevid":83307017,"modified":"2026-05-07T07:10:18Z","type":"item","id":"Q2802447","labels":{"en":{"language":"en","value":"Monotonic references for efficient gradual typing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573712"}},"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":"Q2802447$EC57A6B5-23B6-465A-B726-F2B6975BCFEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e10a21f6df0ae9636afd4f14d7ab7fd940c94e58","datavalue":{"value":{"text":"Monotonic References for Efficient Gradual Typing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802447$D84A78C8-4E71-4B10-9BA0-BCD5FEF639DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cb38693bf0fd74b531f6e17c03cf0bbe8e9bef8","datavalue":{"value":"1335.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802447$DE04171E-E625-4E98-B7F5-27D44D6D70A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf259065a5340243a3d363cb927a714a7bbb20d9","datavalue":{"value":"10.1007/978-3-662-46669-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802447$E3F82395-5627-43BC-BB6D-D25D4428BE53","rank":"normal"}],"P16":[{"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":"Q2802447$41E6F2DE-EC67-4D0A-B37E-BE817922E948","rank":"normal"},{"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":"Q2802447$316D6A55-7F22-42C6-BA85-3141E8D27D06","rank":"normal"},{"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":"Q2802447$7B58B093-C45F-4B77-8813-FBADF4BE5313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857f47005d5cd088f15dcdea31478d1f48895b38","datavalue":{"value":{"entity-type":"item","numeric-id":2802445,"id":"Q2802445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802447$E073DCA2-9A9B-4C54-A70E-85F5AF0A1653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"927ccc7e665a8cc0398647fee4e5c589c7932e89","datavalue":{"value":{"entity-type":"item","numeric-id":2802446,"id":"Q2802446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802447$AA063359-ADD4-4C73-82CF-F2E2B87D3FC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802447$333ABF1E-5941-4F1A-8F51-0BB36DA89142","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-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":"Q2802447$A9504786-FAB5-4639-AA65-3B75CA70E009","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802447$9EAD5129-B1F9-4B40-AB06-162D236C5DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802447$2288A4CE-85B4-47EB-A1FC-B8D833215C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802447$86393981-4A0E-44BA-9741-ABFCC758FB2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57bcea9c5657c93aea8bd48a6a1fdcdb65fbf7fe","datavalue":{"value":"6573712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802447$86274C6B-DA60-45F3-AFF2-CA20438078C2","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":"Q2802447$A31C28B3-3E7E-4548-8C13-E7721B0C2BED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7befae1d53cea6b7643a899e3f67ff0d2ac2cc74","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46669-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802447$0B827827-178F-4965-896F-12780FC289B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc1c0ec5f0610688421cbf27a836d13943ec7bfd","datavalue":{"value":"W753900477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802447$BBF2C77B-9D04-40FF-B40E-47CC66A00606","rank":"normal"}],"P1643":[{"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":"e24eee9fd563793b3199db2d0cdf40441257194d","datavalue":{"value":{"amount":"+0.7906314134597778","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":"Q2802447$1877A336-E98D-437C-844C-A21D03375A74","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":"c4222ac1e74e079c8fd8ca5fbe1c54c285de52ae","datavalue":{"value":{"amount":"+0.7853819131851196","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":"Q2802447$36FA13A8-12E6-4D34-B2AC-19EF5E34D2CC","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":"9766081296851cc017dbd2c4b91c1a795a99f168","datavalue":{"value":{"amount":"+0.7853533029556274","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":"Q2802447$99638385-6C82-462D-9B55-EE09029663B2","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":"cac701cd69a32002cde424992cf129c58a222e00","datavalue":{"value":{"amount":"+0.7702463269233704","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":"Q2802447$A0A3A43D-7C12-471C-BEE4-A94AF93C4BEB","rank":"normal"},{"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":"f8e2df5d0b476b8b7aaacc4a005b744235e78be4","datavalue":{"value":{"amount":"+0.7654196619987488","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":"Q2802447$93AA2045-CAF9-4992-9B22-8EFB832914FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monotonic references for efficient gradual typing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monotonic_references_for_efficient_gradual_typing"}}}}}