{"entities":{"Q5370846":{"pageid":7400420,"ns":120,"title":"Item:Q5370846","lastrevid":52933649,"modified":"2026-01-23T20:33:22Z","type":"item","id":"Q5370846","labels":{"en":{"language":"en","value":"Polymorphism, subtyping, and type inference in MLsub"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794643"}},"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":"Q5370846$A9E80D9F-E866-425E-A753-B3FC6712BCD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee13e0b972f063fdcb64678a6b22990cf4380ed6","datavalue":{"value":{"text":"Polymorphism, subtyping, and type inference in MLsub","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370846$B1C1DCD0-DD09-409E-822B-6F0674E57027","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"091e593e25e61f7eaec6ae30cfe2eeac53f4b44e","datavalue":{"value":"1380.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370846$8E2C4942-66AF-4E19-A693-C59CDC4DA97A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"189644d6003f1ae42e5c694e33bd54d01597dc87","datavalue":{"value":"10.1145/3009837.3009882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370846$93CAFAB1-7B7E-4A52-8F06-DA0B27CA3703","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b177cdc62c55d7fe0870fb5acd730f07a8c57cd","datavalue":{"value":{"entity-type":"item","numeric-id":5244792,"id":"Q5244792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370846$38624A68-08D6-405B-A47F-DCEC4BB4F6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9eeea77fa294e9bccf24578b7f90fc51f99d2d","datavalue":{"value":{"entity-type":"item","numeric-id":796311,"id":"Q796311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370846$1E5E1DCD-B85E-4849-B7E6-E73B912FD61D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370846$ABFDB2B4-7848-40BD-9A5A-2323C8FD8606","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370846$92B7ACE5-BA3E-4AAB-BE71-9822B3D54994","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b53df5132cba1cb2c3fceedb83b141394fe9eb90","datavalue":{"value":"https://www.repository.cam.ac.uk/handle/1810/261583","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370846$9901B5D6-0FC9-4DDA-AA2B-C7C8DEE07D9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370846$FDF75AB4-CA27-42CF-B799-E652A1935DFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0be0f39d81cfac45bc990d33aa41e5620045af25","datavalue":{"value":"6794643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370846$753DBB23-DF6D-4E75-AEEC-D82A5918DFDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370846$52C997DA-C84E-4F11-9636-B4F0254509C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370846$D9C4770D-2222-4678-8C3B-562AC2623A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370846$40A56C9F-E005-421E-9A32-AE5E660EBA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370846$93016D3D-EDE5-4BB5-B59E-25FCFBEF21CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e9f709bc1b1e4d6fd1d0fbe6c8c9c257dc954c6e","datavalue":{"value":"Q59505535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370846$7F2D6A84-6420-4EF4-8C8D-A6D71C2EF482","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":"Q5370846$B69F6513-668F-4608-9B79-240BCD90B274","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7491ce0e885153d8960fe58742de221012d81472","datavalue":{"value":"W2563592207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370846$2F1D390D-61DB-446D-808C-54946FDC7AC4","rank":"normal"}],"P1643":[{"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":"cadf9ba3fddd229b690aecabb4d155ed6f02b8fa","datavalue":{"value":{"amount":"+0.8449379801750183","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":"Q5370846$7E8476CC-F98E-4642-943F-65B27CE8F71E","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":"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":"Q5370846$05AEC0EC-FFEA-48F2-AB16-78244C5D8762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3819559a6f492af72eefa247e6543fb555414db3","datavalue":{"value":{"entity-type":"item","numeric-id":5348898,"id":"Q5348898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a3c8847dcc3c645982839600cb6cfcdf1c958d","datavalue":{"value":{"amount":"+0.8320606350898743","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":"Q5370846$DBB947DC-7EBB-49A2-9FDD-9D7E159317D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5bec8eb9c72a133e62b4ca9464ec935dd19de4c","datavalue":{"value":{"entity-type":"item","numeric-id":5234269,"id":"Q5234269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9148385657518a09cadba57e85ed30e312ed7641","datavalue":{"value":{"amount":"+0.8320401906967163","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":"Q5370846$B0BC59ED-D638-4233-9880-83E2668F6D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356139808c2309546ffdce508796fac4d40527f0","datavalue":{"value":{"entity-type":"item","numeric-id":2151281,"id":"Q2151281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60658c9f95e52dd404dac5871446386ce110d49c","datavalue":{"value":{"amount":"+0.817534863948822","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":"Q5370846$FA4BA20E-76F4-415D-AF62-0E9FA99B6C0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370846","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370846"}}}}}