{"entities":{"Q3522067":{"pageid":5551971,"ns":120,"title":"Item:Q3522067","lastrevid":90246245,"modified":"2026-06-04T19:40:15Z","type":"item","id":"Q3522067","labels":{"en":{"language":"en","value":"On Polymorphic Recursion, Type Systems, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317381"}},"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":"Q3522067$C2D457CB-A916-4CC1-B743-0D6EBBCBD0C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4de1795a7944a3e5176a5526016be68c2b1d90af","datavalue":{"value":{"text":"On Polymorphic Recursion, Type Systems, and Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522067$58027298-8E5B-4ADA-868F-B0791FB5744E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c74ac85c8f77679235f7b149de15275da36873ae","datavalue":{"value":"1149.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522067$E8DF2522-35D5-44E9-B635-86C4FAA01EA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"629337385d9302d9208a431d8d3f64f5860da155","datavalue":{"value":"10.1007/978-3-540-69166-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522067$879E8FDB-8E28-46B7-8002-5224E31185BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22141819ed6ddc6c391802e000d0404fc62d4317","datavalue":{"value":{"entity-type":"item","numeric-id":235603,"id":"Q235603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$5F25B42F-9242-4020-B4D4-0C50890FE162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9daad1a92965517b03f3a741a1596cc167f438c5","datavalue":{"value":{"entity-type":"item","numeric-id":3522066,"id":"Q3522066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$FF4C7027-3C57-4C0C-A969-7C5AAF1796DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04735811f5f70f629ba4342ebdac125a1959371","datavalue":{"value":{"entity-type":"item","numeric-id":1274453,"id":"Q1274453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$CE26CD55-19B4-4A4E-B7E5-EE6DEFEFAFF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$9659D472-EA8F-43F7-A9B6-7D7EF2575240","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522067$0BAE7A82-F709-47B9-82E9-BCE46E73AB0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522067$F717CC17-7FE6-46CF-82D5-9AAC0CB5A89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522067$3FF8DC70-C775-4294-80BB-51F9A539972C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39a865f13a2c3d11ca5669af06c2a8a4bd81be34","datavalue":{"value":"5317381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522067$D9FCC720-C7B0-42E8-84D7-796FD5CB2BFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c51cf925ba6fa31daf1d9ec9d2cd203492fb59b","datavalue":{"value":"principal typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522067$81CB308C-F74F-498C-A551-A5B48CEFE025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c236c9b3856289153fc7c494ec5edf4abbba58","datavalue":{"value":"type inference algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522067$8EEB066F-1010-4A80-A5C3-C88B4CD7DAFB","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":"Q3522067$058A2CF6-7D4E-46E4-B47B-D904BE5118B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb1b88dd0c065dc502b0e41c5a7c6e45af9662f8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69166-2_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522067$8725AE51-1BA5-4052-973F-72CD6B0F5282","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0261c403f05358d6b9aa35c41a6cb462c9d67ae0","datavalue":{"value":"W1754134429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522067$278C4DEE-B3B7-48E8-99B5-6E572CF75B16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"332c68f3a42c7c99b32c6ea30209a0bbb0bc9a9d","datavalue":{"value":{"entity-type":"item","numeric-id":3893285,"id":"Q3893285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$0E09F904-B614-41CF-85D8-741390B810FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e877af069c3b38294f11f91260a82114a48b45","datavalue":{"value":{"entity-type":"item","numeric-id":3593500,"id":"Q3593500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$45789614-662B-4710-86F9-842D8F3E7BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eb79d13c2707611d0836686696cd6a92c9da41b","datavalue":{"value":{"entity-type":"item","numeric-id":4736999,"id":"Q4736999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$8D0EB006-47CD-4BFA-AC1A-06B4EEAF7394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dd270b56808458e5c39cddcc50b8a719ab5097","datavalue":{"value":{"entity-type":"item","numeric-id":4414385,"id":"Q4414385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$8C6BF0D8-4974-4319-A836-A51C91046893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$ADBCEA77-9644-4F08-B34E-D07D6A10E74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbac71c6d92500dbf536db2f24add53c05adc73f","datavalue":{"value":{"entity-type":"item","numeric-id":3340118,"id":"Q3340118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$7838C458-39F4-49A1-B0BB-6F6CD9C97700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a8d50e2ac3112c2b5beab9a321e48e86e40e67","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$43115AA8-93D3-48E7-B93A-582C16B9C7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a2ded364cc88fce2ea077a5ded73db95a95620","datavalue":{"value":{"entity-type":"item","numeric-id":4737219,"id":"Q4737219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522067$EEFA55CD-BCCB-488E-B2F7-C77435653924","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe10b4338adc3f6df2505066c49f4cccc3c759e","datavalue":{"value":{"entity-type":"item","numeric-id":4414385,"id":"Q4414385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ca615afa76cd5fd2a3bc63f5f47fcf4f41fb0d","datavalue":{"value":{"amount":"+0.7770829796791077","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":"Q3522067$B2D4FCCC-D51A-435A-8FC4-BC8FDAEB110F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6b7de8c9ad0dc6c2d68ec5c7827d4d180f9483","datavalue":{"value":{"entity-type":"item","numeric-id":4208863,"id":"Q4208863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ca615afa76cd5fd2a3bc63f5f47fcf4f41fb0d","datavalue":{"value":{"amount":"+0.7770829796791077","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":"Q3522067$F2A7E41A-65D5-4CED-9AE2-BC11B9F4AAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89755fe0749d629d3053e796f71b6f9a3079bdf2","datavalue":{"value":{"entity-type":"item","numeric-id":3340118,"id":"Q3340118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91c1a55eb54649eae45cfd9dc017b74219e3102","datavalue":{"value":{"amount":"+0.7660836577415466","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":"Q3522067$9325BCE7-61E0-4EF8-8C12-314DD7C3E194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cd0349da31a26697885644df1d855c1e074195","datavalue":{"value":{"entity-type":"item","numeric-id":1275627,"id":"Q1275627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc115a87f15945a1878743ce9ab3f6db21bce6ed","datavalue":{"value":{"amount":"+0.760714054107666","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":"Q3522067$2B2C85BC-058E-4D38-B788-06DE5F20DDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84fd695eeaebd7d482db9a4c7928e707d6d6d2f","datavalue":{"value":{"entity-type":"item","numeric-id":5704006,"id":"Q5704006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6bb67a9145e5402c85e235e357ca64216e5f38d","datavalue":{"value":{"amount":"+0.7530483603477478","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":"Q3522067$B0A85A10-5F47-431C-8FDA-D32BCA1E7B28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Polymorphic Recursion, Type Systems, and Abstract Interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Polymorphic_Recursion,_Type_Systems,_and_Abstract_Interpretation"}}}}}