{"entities":{"Q3586110":{"pageid":5616014,"ns":120,"title":"Item:Q3586110","lastrevid":51070937,"modified":"2026-01-16T12:19:18Z","type":"item","id":"Q3586110","labels":{"en":{"language":"en","value":"Harnessing \\(\\mathrm{ML}^{\\mathrm F}\\) with the power of system F"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779316"}},"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":"Q3586110$A938AE17-E2AF-4D21-B1EF-3E2A4421233B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f887ec1c355b1506ade1084a828e117fb90afb6a","datavalue":{"value":{"text":"Harnessing ML F with the Power of System F","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586110$CCE2B75B-2819-4180-A368-CE8809BB8002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"214b7919c971aa53c94709ea7e5a9e67cbea1d23","datavalue":{"value":"1287.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586110$95D204C8-BD63-4F74-8030-415368368E9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef2082771cb4112cdb098a4e0c9451ded16bed56","datavalue":{"value":"10.1007/978-3-642-15155-2_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586110$40FADDF7-70B2-44BC-848F-42AACACFBAEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586110$D5CF09FE-8B4E-4F8F-9B51-C878A5CE5B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb827a90dd4b83e4f417410b623fc9083c7fe71f","datavalue":{"value":{"entity-type":"item","numeric-id":534706,"id":"Q534706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586110$CFB5C954-1D05-48B8-A707-F2C595D5B590","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd8e99eb8d03f31b2844a0082c9e665284ef7272","datavalue":{"value":{"entity-type":"item","numeric-id":3586065,"id":"Q3586065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586110$19070CEA-5D13-4705-BF03-5862D88CB858","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586110$7131A604-4282-413D-A120-E70CB00AE65A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586110$9E959A58-73D1-4EEE-892D-894B24C8BB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586110$F79523EE-6DB2-4C51-864A-1D8754C68FAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1699febc601cd67b13e19bb38f49fbe9c10ccfaf","datavalue":{"value":"5779316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586110$441D833A-7C42-4E52-9FBB-4EC5F9009FE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92311fb3fb11675af2ca4578aa68b4f30a0fda0b","datavalue":{"value":"\\(\\mathrm{ML}^{\\mathrm F}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586110$256D7E96-AA3D-4EEB-8264-5D6FF10F024A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586110$B1775D62-D52B-45BA-B968-82844D803CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4a3a4856ff0f721c9e983a9d6f49265a4861ac","datavalue":{"value":"coercions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586110$D5C46554-253E-4043-8CF4-202195684C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586110$E7F71DD3-BD0E-400E-BB3C-72A07D5A89D8","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":"Q3586110$ADDA4143-8360-4BFB-873C-3FEFA2A0EDBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20ae8778b6a11e8de99745c4a7249829675c6b89","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15155-2_46","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586110$FBFCF798-D484-4688-ACDE-20FFAD3831EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73872f267ecb61874b56863825a7b86aeb22114e","datavalue":{"value":"W1538843523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586110$C10A1805-893D-4E8E-A304-2614F0EADBEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44ced352cf62c450df922b1800a37c47c67ccf7","datavalue":{"value":{"entity-type":"item","numeric-id":764331,"id":"Q764331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10655583c6ca4a421650a7d503d3c9653540537","datavalue":{"value":{"amount":"+0.922024428844452","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":"Q3586110$AD14CDF3-EA21-4F97-87E0-EE22B3BBDC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d6b65b9a92a12668f7678132d155efd2602cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5261264,"id":"Q5261264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83aa06147edc88010bad9e856ab14c590ef54fb","datavalue":{"value":{"amount":"+0.8147814869880676","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":"Q3586110$AFC60414-E916-408A-9A2D-518D26FAD79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c69c984026464bc3ed3212594c1ddf307a8382e","datavalue":{"value":{"entity-type":"item","numeric-id":3035254,"id":"Q3035254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc65623906085589920a06784c6aa050dd566f6","datavalue":{"value":{"amount":"+0.7756583094596863","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":"Q3586110$0441ADBD-A98C-4F72-8E13-4EBBB39D85D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81687b63ee04b4d5b3d7408428fcafd50bae5c4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281462,"id":"Q4281462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e241353a6e7c0dbc2025e14e871c50b7b1e6aef","datavalue":{"value":{"amount":"+0.7696434855461121","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":"Q3586110$60936666-A7A4-477D-AC36-021D34018274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043a0af638ed41cd9c5d09029bcbe6e6964591ce","datavalue":{"value":{"entity-type":"item","numeric-id":428892,"id":"Q428892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e241353a6e7c0dbc2025e14e871c50b7b1e6aef","datavalue":{"value":{"amount":"+0.7696434855461121","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":"Q3586110$6E4052CD-FBB6-415A-ABB6-6DD93AE3097F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586110","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586110"}}}}}