{"entities":{"Q656856":{"pageid":658705,"ns":120,"title":"Item:Q656856","lastrevid":63374013,"modified":"2026-04-11T12:25:55Z","type":"item","id":"Q656856","labels":{"en":{"language":"en","value":"Space-efficient gradual typing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5997561"}},"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":"Q656856$E38BE37D-4DEB-4B85-BD46-BB983A3F8CF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"084d67b5edf1e5884dd87c39cf21e0010b086991","datavalue":{"value":{"text":"Space-efficient gradual typing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q656856$A791A126-E8AC-41A9-9E05-3A9A902EAAF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fa01d65690e6cbf33a88460eca656f0fe100bb3","datavalue":{"value":"1232.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656856$0C1E2949-E149-499B-82C9-B8BA21B3C39A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a57707e5b4b177604fdacb6c51e55ff098cbc030","datavalue":{"value":{"entity-type":"item","numeric-id":656854,"id":"Q656854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$2EF2FC5A-5DDB-4C4D-B879-B1BB7066C33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b937516710d5c83c860ca1a151eb5c461b8a05f","datavalue":{"value":{"entity-type":"item","numeric-id":656855,"id":"Q656855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$C5346E7D-048E-4A7D-A63F-9C27849FF9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38126dc183098febb961ba3435b28eb28edd09c1","datavalue":{"value":{"entity-type":"item","numeric-id":557791,"id":"Q557791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$7CC54382-FBDF-4A91-8B0D-D6302D95E57D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$FF7988A5-B531-4769-AF88-EA7B578E07F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"838e4cd92c3bfbf203f9466fab8ca1f8d1cd6888","datavalue":{"value":{"time":"+2012-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q656856$5E293A42-6CA2-46B2-815B-1F92F19F4577","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656856$9DD2ED27-1315-4DF9-8C23-AB3D054148A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656856$23CC6313-CE71-49AE-B9CC-E288476941F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a929d2265e29fcea66ba31578bae41e86de216d","datavalue":{"value":"5997561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656856$55C98723-F9C4-4685-BE01-8E3CE6A28DE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q656856$F6A200C9-AB4E-4E2B-8524-F2F1EBB4C1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4a3a4856ff0f721c9e983a9d6f49265a4861ac","datavalue":{"value":"coercions","type":"string"},"datatype":"string"},"type":"statement","id":"Q656856$E2797C1A-A230-4DDC-90EC-8961E2508DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9511f5035cae85c34dcae020dc325c5f92de41","datavalue":{"value":"casts","type":"string"},"datatype":"string"},"type":"statement","id":"Q656856$EDAEC85A-9814-4719-B638-CA297E49BC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e57f6dfd1aa184e0a1925b5300967af12d34aa42","datavalue":{"value":"type dynamic","type":"string"},"datatype":"string"},"type":"statement","id":"Q656856$2F5183E5-2C41-40F0-9979-8E5EDB04282B","rank":"normal"}],"P1463":[{"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":"Q656856$B9D402E3-68DC-4B7F-9A08-4F7A36E984EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6722510c06a79717dbb5a2aab1dc4972ff891c59","datavalue":{"value":{"entity-type":"item","numeric-id":22090,"id":"Q22090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$0458CAB4-382D-470A-9160-0142BFABFFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d0e89c904b4336aa9c702b0f719264b030c9d8","datavalue":{"value":{"entity-type":"item","numeric-id":14086,"id":"Q14086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$5F0AAEBD-A8C8-4153-9E0D-C19CD3B9C191","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":"Q656856$7783C7C7-BAAD-4EFB-9AF8-0B453B35DEB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f5a2b9e4f15feaf504afe54139be71ca820b7f3","datavalue":{"value":"https://doi.org/10.1007/s10990-011-9066-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q656856$100D172A-5E8B-455E-8DB3-B1A5F916F90A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"811fdae590f47a22dbe6de633233614b63679a46","datavalue":{"value":"W2003969655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656856$EA5D32D4-75FE-4FB7-9185-E14E504B80C6","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":"Q656856$23ACC17E-020F-4B33-B54C-6CCAD722BE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56188135bb9ed6fba343f5aa46de02db5f8005b2","datavalue":{"value":{"entity-type":"item","numeric-id":5482278,"id":"Q5482278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$2CAE9F58-A5E0-4F10-8431-D27A3D41AF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666f6c4b95b228f7f7863896a3d81de5061e0a95","datavalue":{"value":{"entity-type":"item","numeric-id":3771589,"id":"Q3771589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$797B2A6E-60AD-4579-AD42-AEAC3498AE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d6ee73e09ca4c3fa420bf83abac0066d39f9a6","datavalue":{"value":{"entity-type":"item","numeric-id":3434635,"id":"Q3434635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$3F40F0AE-ECB6-43D7-94C6-F88AFD531183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b20214f4c047144aa0c807c908e134787a9081","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$ECF79A05-8FDC-4878-BEB0-82B203FC2A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af25c1afcb0304276ab23b3647d0be676759ab65","datavalue":{"value":{"entity-type":"item","numeric-id":5348927,"id":"Q5348927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$B9BF73DC-BBCC-4ABB-B092-2DCAD03C0522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11906cb85be3bad104d98a976a2fe9510dae25a5","datavalue":{"value":{"entity-type":"item","numeric-id":2817711,"id":"Q2817711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$298A085E-1BF3-46C2-A5DC-B3CF73601B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c4a5ba538113e776e922542f26f497fdd2f7e1","datavalue":{"value":{"entity-type":"item","numeric-id":5255093,"id":"Q5255093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$15AD2FB3-178F-4409-8A6A-4F0C87D6A26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddc19db3a580a1f11bd661df24f3defde199f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1330433,"id":"Q1330433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$E602C05E-4114-4C95-BADA-A12B3D249089","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":"Q656856$229C10DF-248C-4AF6-AF26-41BAE09C520C","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":"Q656856$6EE3B32E-FA0A-4AF8-BFAE-AE9377C27B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8df277ec88502d180b1e713ae3bc3f8071e988","datavalue":{"value":{"entity-type":"item","numeric-id":5348883,"id":"Q5348883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$157E1DA9-28CD-4D60-8E21-73788E82CCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43863c528a6980cd8a9f2cc7bb3b0610106254e6","datavalue":{"value":{"entity-type":"item","numeric-id":4673424,"id":"Q4673424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$B7E61B9C-6A68-4F50-8537-99D45302B83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a64b1d16f8db00b6635272fde5f4e98b06c2423b","datavalue":{"value":{"entity-type":"item","numeric-id":3617687,"id":"Q3617687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$EC7810BF-40A0-4264-B05E-FB5564C7CB1C","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":"Q656856$8D81DC37-7D4E-41DC-9E73-8E4297C4A5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296d77b4fdcf0e960596a91f471af065b562b6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5261504,"id":"Q5261504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656856$91E51C4F-543B-4132-8AE7-AC1AC083FF57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae51abf3360d736e6ede8582abc6ffa810596715","datavalue":{"value":"10.1007/S10990-011-9066-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656856$10F88622-2F92-47E3-94B1-D5982AE9D6CC","rank":"normal"}],"P1643":[{"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":"4e6018af8942a2ff54ea4304f0907cd74e5adf23","datavalue":{"value":{"amount":"+0.8074578046798706","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":"Q656856$17F758E1-2554-4471-A8FF-9489E540CA98","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":"8e69c36c94e8c805abcaa3b7b0fe6fc73adee470","datavalue":{"value":{"amount":"+0.8067244291305542","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":"Q656856$D6EAB1E8-48B2-4506-8306-B1EE1B9FA655","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":"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":"Q656856$26E6D47F-855A-4D6E-B98C-62EAA6674DEE","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":"d702b684223a8f895daba088f7e872df50280a7f","datavalue":{"value":{"amount":"+0.7971104979515076","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":"Q656856$9BAB62A1-8EEF-40E3-9CA5-D336882B9C35","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":"3bb5fda6c14173d32315f9865bcfb6a0a1d6b303","datavalue":{"value":{"amount":"+0.7871463298797607","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":"Q656856$8A41E6E5-CD62-464A-A9C7-6B19717111F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Space-efficient gradual typing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Space-efficient_gradual_typing"}}}}}