{"entities":{"Q5044772":{"pageid":7074349,"ns":120,"title":"Item:Q5044772","lastrevid":54433802,"modified":"2026-01-26T19:44:51Z","type":"item","id":"Q5044772","labels":{"en":{"language":"en","value":"Polymorphic type inference with overloading and subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611296"}},"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":"Q5044772$37252633-A627-4017-B90A-C898921574DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5018b8069e5f283049c797096fa978caf15ff64b","datavalue":{"value":{"text":"Polymorphic type inference with overloading and subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044772$46B3FBBA-2EE7-4B23-8F43-C3F83B425BEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55310f68f206f628d5c06eab1ce9cc016fe941cc","datavalue":{"value":"1497.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044772$AE105AB2-FD48-491D-8D07-D379EDACBC99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1162da67c7c3fcb475f764d5e2cffadcf7cfb206","datavalue":{"value":"10.1007/3-540-56610-4_97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044772$13689F1E-B8A1-42F0-9297-76735AE22860","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34228e507cad1946b1be07f2e874b87fcabdecb5","datavalue":{"value":{"entity-type":"item","numeric-id":1346683,"id":"Q1346683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044772$5FB06F7E-81F2-4AB2-920B-75025E6B0953","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044772$795B9B8F-7FCB-4FAD-BC25-2E1D79B8D3F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044772$1AD5D9E5-D8EB-4F6B-9D03-050FB96B5765","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044772$11BB3B92-4E0E-44C8-A166-85B227C07228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044772$1CF241E4-7400-4EC3-BB96-0A5EA139F45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044772$3E6CF528-41C1-4B0A-B113-2F974E3900BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4913788145ffeebeb5e62eef01ddf56a2bf4549e","datavalue":{"value":"7611296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044772$55E41889-198A-4D87-B071-334FB7EDAEC3","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":"Q5044772$DC5A35E1-76A6-42CE-BC75-4E9FBC43DF60","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":"Q5044772$3F164932-7ED6-4756-A2BB-D8BE1231BF80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5496403d6121c08c44d3e0616f9178d6f413f033","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_97","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044772$8DE7A3AA-3CE2-412C-88D2-EB6CEDD7B706","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13d84a3c1df123ef46defff87d024549d336ca1e","datavalue":{"value":"W1595983599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044772$FD36F211-0A2F-46D8-93AE-9213F467E928","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"040f5839a8a0832570521f20d279b9902d1d22f5","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044772$B7446B45-0421-4931-B3F5-9746283D1F77","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":"Q5044772$BE479186-D37C-416B-804E-FE6F11554EDC","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":"Q5044772$82C8C798-6986-45C0-BAD9-EB0EABCEB7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044772$A5D98A6D-5C63-4247-A3E3-A29BE42EF7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5abb06f902f9ed0fef96835b4d42cff003f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3677139,"id":"Q3677139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044772$2BE65640-860C-4AD1-A055-B4C86E9815C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd512fa13fc6ee6e4d29baa2c6f833ce6663c99","datavalue":{"value":{"entity-type":"item","numeric-id":1346684,"id":"Q1346684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d61f17eb6deef5e920a76c3a9adcb067298581f","datavalue":{"value":{"amount":"+0.9304015636444092","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":"Q5044772$47084F35-00E6-4179-A7C7-48F5942951E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e29f00b58f9aea69fa2a9f07a80619aca7e08de1","datavalue":{"value":{"entity-type":"item","numeric-id":3216117,"id":"Q3216117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0583f343bd5800718b9a537efd8ece45426d590","datavalue":{"value":{"amount":"+0.849532425403595","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":"Q5044772$DFC9DEF1-F5A2-4016-BB68-36A4A1936035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2eb347944524b8aa00e5a342d6ec1648ed430f","datavalue":{"value":{"entity-type":"item","numeric-id":5370846,"id":"Q5370846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e266cc7f1164294d3175b6854db046e7b7937a7f","datavalue":{"value":{"amount":"+0.8435564041137695","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":"Q5044772$90545965-08F3-4073-A88F-E4F490F134F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0805e9ba1d87120caefaafb8bf345dd63dc71dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4850163,"id":"Q4850163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131a28c1e17726d0905a529d1e669135aec408cc","datavalue":{"value":{"amount":"+0.8370060920715332","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":"Q5044772$37DDB7DC-56C6-49D3-99A5-5E3EB1863FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e4ed5da66b9b8d0c38fc30aadf7bbe8801ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387caa82cdb606ccfed6708550e3e0d55ba489e9","datavalue":{"value":{"amount":"+0.8279305100440979","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":"Q5044772$A1D16ABD-3C8B-45F2-A71D-04DEDE83A33F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044772"}}}}}