{"entities":{"Q918190":{"pageid":920038,"ns":120,"title":"Item:Q918190","lastrevid":65370873,"modified":"2026-04-12T02:07:23Z","type":"item","id":"Q918190","labels":{"en":{"language":"en","value":"Type inference for polymorphic references"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157862"}},"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":"Q918190$DBE0A473-A298-4DF1-B435-22433C49ACCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb4b16d9d1a64c345c9b30a586a6fc8491345b0e","datavalue":{"value":{"text":"Type inference for polymorphic references","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918190$88D5FA85-2421-4292-80B1-138FCF91226D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8609fb798e93fee26420ae250b374afd3364ec52","datavalue":{"value":"0705.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918190$1A48C9C8-2A1A-48DC-AB5D-0708DB33060C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18ba77631eede552a9dd580eed259abf094fc84e","datavalue":{"value":"10.1016/0890-5401(90)90018-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918190$CFB78B72-13E2-4717-A178-D4A3A5DFB7F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6332147b50c225be5cbe9a3e5f496e4ebb21d0","datavalue":{"value":{"entity-type":"item","numeric-id":607409,"id":"Q607409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918190$6D557770-E16B-4126-B38B-8ED177699FF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918190$C27C21D3-7C8C-4A83-9F8A-37DBDD6079D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q918190$6FC70D98-9F93-4367-BCB4-247AC7FC0C8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918190$18ACF6DF-90BE-41E6-B14F-C3FC8C578E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918190$BCD7A85E-081F-42DF-89C1-49A9C1C2D794","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"571cf17c08f477874822d46179428ace54640ce8","datavalue":{"value":"4157862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918190$C11E4239-A8C1-4061-985E-29DBACECEF60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17552d63bf3c6fa64332e77183b9581e68b0ed68","datavalue":{"value":"polymorphic type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q918190$049F0D69-0AC2-4760-A507-1ACE80B26187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q918190$9E528027-A39F-4D6F-9774-B97ECA09D288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q918190$070F97D6-6E21-4227-8BE1-AF73E6A928D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q918190$7D4E6A62-D01B-46CC-B8A8-858C22827729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ec7b3bafad3b2131da4992bbbbb676553d2210","datavalue":{"value":"standard ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q918190$1D523D0B-AEA9-45BD-BF32-6B1751A48AA8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"33c6b7c80214f6ced3ab0948a580ed7ec7534fe9","datavalue":{"value":"Q55222540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918190$0893A01A-6BC8-44D4-B5B1-EF008EE39FBB","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":"Q918190$C4A2E1C9-E9B9-4EA7-A48D-43C85EFCF909","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":"Q918190$172CC296-81EB-4C6F-B14E-5DD6FF592803","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918190$6B11B265-58DB-483A-8EE6-60537A7B07A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918190$1635A898-DB47-4B4A-9BC7-8D4153F11049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918190$A9F00D66-35D3-43F6-9406-62C5DAF43D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918190$229FE6C3-9C2A-454A-9DCB-997A6EE4E68B","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":"Q918190$E1643F04-75CF-4CC9-92EF-0D8E0151FBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918190$D4F04741-701A-472D-8495-DB62B61FF611","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"137312c3d331b2546dc54ecc0cdf1e40fdeac49d","datavalue":{"value":"https://doi.org/10.1016/0890-5401(90)90018-d","type":"string"},"datatype":"url"},"type":"statement","id":"Q918190$2C13201E-A5A8-47B1-8BA7-BE136C3BA12E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a24a120c60cf13ab2bef812ce72608294337b60","datavalue":{"value":"W2151156765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918190$6A35A185-8E0F-4F2E-90FA-CA8D472FA22C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a6ef7b29cc78c4ca0fda2c39f0e5b7ca4f76e6c8","datavalue":{"value":"journals/iandc/Tofte90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918190$32386B13-7684-4597-8777-B5105874D095","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12d2ca52435fe981ddae2934a25f5f20b1fbc13","datavalue":{"value":{"amount":"+0.7874301671981812","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":"Q918190$DFC108FD-9088-4DFC-9D85-B022573BE388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1e45f130ca02dd12a6eb6dc136b8e146dde135","datavalue":{"value":{"entity-type":"item","numeric-id":5044772,"id":"Q5044772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b526d85d1a8cafd0ff5c4b7876fa178c0d0243","datavalue":{"value":{"amount":"+0.777850866317749","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":"Q918190$F201CA30-F16A-402A-A6A8-A2628885E4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a6263eaef5dc46486cb4ca0b8651b0ad975d35","datavalue":{"value":{"entity-type":"item","numeric-id":5178769,"id":"Q5178769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21fc6f52a020e9f8ba186c988fe3b0d646418660","datavalue":{"value":{"amount":"+0.7628998160362244","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":"Q918190$9AFAB14A-10AC-4F79-97F6-A12C04E0DCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d50b0fc0789bf37d6680a8284fff3dfac089653","datavalue":{"value":{"entity-type":"item","numeric-id":3976029,"id":"Q3976029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006875b5e3a51b45b0ddc5145b9b28e97943c16a","datavalue":{"value":{"amount":"+0.7572999000549316","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":"Q918190$A77939BE-9831-4E32-BD5D-4953686BBAFC","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":"006875b5e3a51b45b0ddc5145b9b28e97943c16a","datavalue":{"value":{"amount":"+0.7572999000549316","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":"Q918190$B0AE4B12-39DE-4755-AEB9-9BD3D5C02F8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type inference for polymorphic references","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_inference_for_polymorphic_references"}}}}}