{"entities":{"Q1762932":{"pageid":1773674,"ns":120,"title":"Item:Q1762932","lastrevid":68894889,"modified":"2026-04-13T02:57:14Z","type":"item","id":"Q1762932","labels":{"en":{"language":"en","value":"Proofs of a set of hybrid let-polymorphic type inference algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2133681"}},"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":"Q1762932$D8AB422F-1256-4AAD-BC9D-5AC527CE8B55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b6b739c3441596ab3d07ea439c5f23983219f95","datavalue":{"value":{"text":"Proofs of a set of hybrid let-polymorphic type inference algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1762932$E43F60B6-E296-4ECB-9CEB-7B8FF6C019C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48355e405db7cc500d10501a3f52c1b6ca2c415b","datavalue":{"value":"1085.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762932$BB1615B8-1BF8-49F8-96A1-E6A5AC5AC806","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcc3e1f193b3c3bcd09d18433cb6f1f5430ea048","datavalue":{"value":"10.1007/BF03037279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762932$9DE4FE04-3C15-4CBE-8925-8207275FCDA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ec0c1a2e3c7b8fafa168612be41259ebff8a21","datavalue":{"value":{"entity-type":"item","numeric-id":1762931,"id":"Q1762931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$BFCE86CE-F99F-4AFE-9B02-50A6EE4414F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3a6e1ae9813a48d6b349994f5fdcf381cfb9106","datavalue":{"value":{"entity-type":"item","numeric-id":1603498,"id":"Q1603498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$CAD64A33-D355-4905-9F89-9FEE7DF632D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb38a1bade58fa1326e98a3a8a90562c5ba74ee9","datavalue":{"value":{"entity-type":"item","numeric-id":845980,"id":"Q845980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$266CB6A8-811F-4429-9181-56FFDC058603","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$A1D2FBE3-33BE-44D7-812A-57C8167ECCF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5596d9d431c014306023aa27a7b00ce60a426d45","datavalue":{"value":{"time":"+2005-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1762932$20E83A53-F54E-4F9F-B641-F987966272D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762932$6064F4B4-9283-4D74-8597-5646F9B0D1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762932$FE33B8CF-22D4-4147-A320-8337B7796A76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fec65590124b994c90458d07e9f65d80479594f1","datavalue":{"value":"2133681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762932$A93A3026-6912-41DF-8B71-B7B6703751E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a810126099e6471beef252f7f95fcf702f1e60","datavalue":{"value":"Type System","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762932$FD9FCE87-2731-4D07-89F3-625AAD41EE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9281cfb89b2309bfbb57ea149313e7ee0cccca","datavalue":{"value":"Type Inference Algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762932$ADE1B891-13FC-4FFE-9753-00641B133F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed58a20a51924ebcb9dd04af68b697c7190eadc5","datavalue":{"value":"Let-Polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762932$537475A8-B422-45CF-B86E-A8F48F0E84BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$100798DE-E713-4EC9-9F8F-421C96F26277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$A4E3ABEC-742F-42CF-B154-916D0FEDA0D1","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":"Q1762932$63054758-AA28-4A57-AD77-76463C5D5165","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a8c934c6045e2079229bd4cc59e57fc0de0494","datavalue":{"value":{"entity-type":"item","numeric-id":5178009,"id":"Q5178009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$8FB189A8-2D30-4205-A8C2-760CC7BAE022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833f09783bd27d187fd26bdd58ef46b91fa921f2","datavalue":{"value":{"entity-type":"item","numeric-id":1919354,"id":"Q1919354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$FB79E739-D1B3-46EA-A0C1-4F49BAA5C37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$62503276-6290-4FB3-8DC3-E149C7757900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$2BC12D0D-304E-4BA5-811C-A4229F26D363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eeb125b27b0f6dc6b7af53ee4c2d9830ccc8db3","datavalue":{"value":{"entity-type":"item","numeric-id":2763643,"id":"Q2763643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$E784E6AE-40C3-4015-9BDC-B0596025A5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472e3a99b90e0d1e12c3b15cac0820458be4299b","datavalue":{"value":{"entity-type":"item","numeric-id":1318726,"id":"Q1318726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762932$7655CB98-117D-4154-92AD-569DF85A677D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1113fbeadd0b501a380b2733396ff8b6ca0a112a","datavalue":{"value":"https://doi.org/10.1007/bf03037279","type":"string"},"datatype":"url"},"type":"statement","id":"Q1762932$63ED6CC9-9605-4ED2-AE49-45A25B8A581E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2f6850ed8398f425c2a045af444d6cf7e4feed1","datavalue":{"value":"W1980574179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762932$ED5F786E-80EE-47DE-B444-07E87926B765","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1524e2bc38596abb0d01361675a5dbda671013b","datavalue":{"value":{"entity-type":"item","numeric-id":4246952,"id":"Q4246952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47d959605b4736c9fbf854610cb7bdaaf481db8","datavalue":{"value":{"amount":"+0.8135220408439636","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":"Q1762932$7A1C6428-6A8D-46AC-BA51-41AC85FF2A8A","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":"f47d959605b4736c9fbf854610cb7bdaaf481db8","datavalue":{"value":{"amount":"+0.8135220408439636","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":"Q1762932$591AA0F2-D345-4E0D-9BF1-4190A112561E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f84b3720b428a5fa7cfbdf0f49438b0e3810186b","datavalue":{"value":{"entity-type":"item","numeric-id":4447250,"id":"Q4447250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769bc6299b2bfe816cbc766d6b446d36d4d8a042","datavalue":{"value":{"amount":"+0.7921022772789001","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":"Q1762932$6287CFD6-16F5-4316-B789-975C9746B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa085ac5ba0c4b8a88a3f802d2741d0b756a39cd","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237decd7bde38a4c3d6bdcf350ce9ccc3ad9a61a","datavalue":{"value":{"amount":"+0.7713208794593811","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":"Q1762932$7EB315C7-3B5B-4A9B-8DF7-D0B54E2F2BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ffd8feacfcde15c98b27127614c68284a4a493","datavalue":{"value":{"entity-type":"item","numeric-id":1791209,"id":"Q1791209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f66b164011ef173f2f3f5e8212fed7b0cff9623","datavalue":{"value":{"amount":"+0.7678296566009521","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":"Q1762932$56B656F8-15D5-4604-8CD6-E2E99056134C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs of a set of hybrid let-polymorphic type inference algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proofs_of_a_set_of_hybrid_let-polymorphic_type_inference_algorithms"}}}}}