{"entities":{"Q5178769":{"pageid":7208341,"ns":120,"title":"Item:Q5178769","lastrevid":52225793,"modified":"2026-01-21T05:00:16Z","type":"item","id":"Q5178769","labels":{"en":{"language":"en","value":"HMF: simple type inference for first-class polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6415852"}},"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":"Q5178769$92694FC8-3D98-4500-B772-BFB99FF03E03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6c129f210c6d4995e7af032746d84be553e2ff3","datavalue":{"value":{"text":"HMF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178769$3DF000C9-82D4-4C55-BD92-7F4941E75FEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a74a9e28a22c8b1f2f65f772bad0daa46a07a7d","datavalue":{"value":"1323.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178769$6FF1E867-907B-45EF-91A1-B5417CB60CAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"916c31aa84b803d36d9c597fb4ac2bcdcefbc7f7","datavalue":{"value":"10.1145/1411204.1411245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178769$034A4525-EAE4-4D5C-A650-B21503EDE3A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27f36de70590d4de7c5b1b245f4e3dfeb746f76d","datavalue":{"value":{"entity-type":"item","numeric-id":2892720,"id":"Q2892720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178769$28ED63DF-8EC8-4BD0-B387-A3E2A6C13F03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6fcd26fe34a7006f4256abb2f15c1ce3abe759df","datavalue":{"value":{"entity-type":"item","numeric-id":5178747,"id":"Q5178747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178769$A24DCAFA-5982-42D8-AF40-2541700A0076","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f27bc284e85649ed8ad3a0b04193a152f9707a9","datavalue":{"value":{"time":"+2015-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178769$2A12CBC4-0738-4256-80D1-88110A82AF19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178769$A9CB3C6C-EAC0-4454-9C2D-93917E00D991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178769$4E3A5273-901B-42A1-AC99-6B7B186B4F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178769$098DB285-F0D9-4E91-97DF-DF934C1AC076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0c5e1aa0e1f36201fec59d0c127de8e4b2f3332","datavalue":{"value":"6415852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178769$9BC12D3E-32CF-4D61-9524-B6ED0184A625","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed71d23eb7f604e503602d55ee45523a2f3174c","datavalue":{"value":"first-class polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178769$FFC3E872-BB51-4064-97AC-F4A0F5BE956D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178769$FFA37AFB-90FD-49CC-AC44-50A51A05D629","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":"Q5178769$578E3079-3D01-4DF0-A134-54D75B25B7D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1eda8b14f2ab920a8e237cfc0e8f4b03f37ce3c2","datavalue":{"value":"https://doi.org/10.1145/1411204.1411245","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178769$F3895DBE-0F91-49EB-A7E1-5D0154FCE1F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3ebb4edd47c5800ca1282dcdd1374514b879244","datavalue":{"value":"W4248324061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178769$2A1900E9-F386-40F1-8A50-7B1CF89353EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d42c49af6ddc9caa53ed6f82867a544e8f3ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":5261506,"id":"Q5261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e529e3fca398c399335a2113a1eb815ca2211f46","datavalue":{"value":{"amount":"+0.8725098967552185","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":"Q5178769$383F3B42-157C-4511-9FA3-5D6F3E22A583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603a8233e28dd52bf31cb2e4d48ac3583bc31b17","datavalue":{"value":{"entity-type":"item","numeric-id":5178770,"id":"Q5178770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d77669575ab8dfb26c4426944b3febc41958430","datavalue":{"value":{"amount":"+0.8411254286766052","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":"Q5178769$1D2BCDED-2628-4346-9E87-EA5F82EA776B","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":"ad3a30840e1325274d06f402c3c21204c21f00e8","datavalue":{"value":{"amount":"+0.7944766283035278","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":"Q5178769$6FC5EA06-DCD8-4E29-81EE-85DF1B00737B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7b1864e391056ab81c10e5c68a1249d17e06b8","datavalue":{"value":{"entity-type":"item","numeric-id":1854319,"id":"Q1854319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f10975c50c5d214585432d5089cd9f9c4e50fe3","datavalue":{"value":{"amount":"+0.7776384353637695","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":"Q5178769$25D44FB5-7933-468A-BDD1-C6CED8A46D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b686d02a59caaef29804645b31adf05aedec8f","datavalue":{"value":{"entity-type":"item","numeric-id":2763643,"id":"Q2763643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7e587ac553a7a21d61ab968847b7d97e029d93","datavalue":{"value":{"amount":"+0.7770949006080627","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":"Q5178769$77A3B97F-B0A1-4E82-B0A5-483FA9ECDA00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178769"}}}}}