{"entities":{"Q5168929":{"pageid":7198501,"ns":120,"title":"Item:Q5168929","lastrevid":52044761,"modified":"2026-01-20T20:02:25Z","type":"item","id":"Q5168929","labels":{"en":{"language":"en","value":"A type directed translation of MLF to System F"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318898"}},"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":"Q5168929$761DB8A9-FB69-49CF-8AC5-A20D9AA5AFC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb24cd621b2647460465ccdd556a8eed486fca02","datavalue":{"value":{"text":"A type directed translation of MLF to system F","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168929$1671CC2D-66BC-425C-93FC-F031AA780782","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2947c72b2f2b237d4a4bfb4815ee4b6fb6c48638","datavalue":{"value":"1291.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168929$35373C41-EBDA-45FB-850F-ABE72FCD4D02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1a695d6547c2481432f4a65219089c360efd4a6","datavalue":{"value":"10.1145/1291151.1291169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168929$6368337A-C985-4D21-8CB2-059F253CF1DD","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":"Q5168929$E218A1BB-AB3E-4427-9469-5B18FFC1F2D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8a97c3b573e5dc33c87a084ea7e842f0d1a64f07","datavalue":{"value":{"entity-type":"item","numeric-id":5168919,"id":"Q5168919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168929$DB04F5CB-886F-4CDE-AC95-631B5E34D525","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168929$D90A67B3-C719-4095-A5CC-02A69C2F2F59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168929$8829D0B6-299D-4052-B131-C4F25C7D4764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168929$64C6F496-34C1-4B02-98E8-98629D4D3DBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45bbb403a89abe7f2ce779046309fe0434b3d6ba","datavalue":{"value":"6318898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168929$49812BAF-1F89-4D35-8129-4E8B44170EDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69edfe7b448f673fa32cc0ee2aed171c91b67acf","datavalue":{"value":"MLF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168929$FFAD5E9A-7104-4823-97CA-A156B2ACD0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed71d23eb7f604e503602d55ee45523a2f3174c","datavalue":{"value":"first-class polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168929$890CC271-2603-47FB-AEC1-92897AE2E10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168929$BC29D0FE-392E-4D20-91A5-4F25FA2AE60A","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":"Q5168929$572AC4F0-5544-4802-B319-2F0AC6AF8D09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"118ca9e557ee33e10bdbb9ffa630b221ce7ce265","datavalue":{"value":"https://doi.org/10.1145/1291151.1291169","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168929$DE622481-3CF6-42AE-A8E4-AC270A8E59F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b735d08e3cdd1eb70e3d4190ce93dfb2bd1c011d","datavalue":{"value":"W1974831460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168929$678F952E-850F-4D05-B988-308DC1A24C54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa1bba65a74f3c7babb83e9d3f648259fbb9876","datavalue":{"value":{"entity-type":"item","numeric-id":2936777,"id":"Q2936777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94773e9b201e6c5d69f8f2c62eff622c81ec8a8","datavalue":{"value":{"amount":"+0.8016790151596069","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":"Q5168929$FBC7DAA4-4D56-406B-BF95-B79FF256AB22","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":"5e0319cd52a99603c5b0b390a8db43e4c1e0810b","datavalue":{"value":{"amount":"+0.7904248237609863","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":"Q5168929$EB88FC7E-F73D-41D1-90E2-D584482DB9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"570092a5136a53a205cca73c6d795dacfde5345f","datavalue":{"value":{"entity-type":"item","numeric-id":1023287,"id":"Q1023287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be6b53c460844d77c9dec6276d7b934539e7824","datavalue":{"value":{"amount":"+0.7858080863952637","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":"Q5168929$AF7F2D72-D29A-4F64-AC9D-049B858BFE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8f68295af8374330f3031f9e7415766bcbd707","datavalue":{"value":{"entity-type":"item","numeric-id":3586110,"id":"Q3586110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334b4e3a6208a5462afabc56532ca8942c1c26b0","datavalue":{"value":{"amount":"+0.759071409702301","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":"Q5168929$64B123DB-D10C-49D4-BBDE-7AB048422003","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":"9347929f34d83d804ed60ecbb9537ae36a52b54d","datavalue":{"value":{"amount":"+0.7523214817047119","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":"Q5168929$61608556-CB22-46AB-A896-0918E063B9A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168929"}}}}}