{"entities":{"Q5178757":{"pageid":7208329,"ns":120,"title":"Item:Q5178757","lastrevid":94389170,"modified":"2026-06-05T06:41:07Z","type":"item","id":"Q5178757","labels":{"en":{"language":"en","value":"A type-preserving compiler in Haskell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6415833"}},"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":"Q5178757$A5315D81-540D-441B-9AB5-F5A2AD2DE7B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"999b7e68cc1924617a3b8cd32df605b2cf9bf7ae","datavalue":{"value":{"text":"A type-preserving compiler in Haskell","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178757$DEFDD020-6372-4286-ABFC-D1D84003D13B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efb4a84fafe19b88e446e70b1f3007a33578565c","datavalue":{"value":"1323.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178757$14C9F204-BEC9-49EB-A6E6-18E21DF63E8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40a5dd78aa73e07f972b4ece3e8ac0a1b73acfc9","datavalue":{"value":"10.1145/1411204.1411218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178757$54B1A11E-4B9B-44AE-8C6F-ADAB00C7BD09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c63fe581110c747170d4376c1a6b3df1e91430ac","datavalue":{"value":{"entity-type":"item","numeric-id":2866330,"id":"Q2866330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178757$382CA928-BBC3-44B9-9504-B2E2D01CF1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa5bdc8a2141af5d730d4053f7a88e47b1b74a08","datavalue":{"value":{"entity-type":"item","numeric-id":1826463,"id":"Q1826463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178757$74CEA434-F7E4-43F0-AE9C-94196012E96A","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":"Q5178757$E2BB6674-6044-46DE-B292-AA5F7E1ABBB4","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":"Q5178757$CE19E1A5-D953-4EEF-AD4D-6069764A856F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178757$4FF1C878-927B-47C6-A11E-5CC1B5880477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178757$120A07D4-03F3-496E-A063-BF30AC9CC589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178757$83601A52-EF9B-4D37-A2A2-D95CC43A750C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178757$9DF9377C-F5E6-4B10-9E10-1AEC7A9D76B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da08860b88c75266944cabf1dc3e01879d847d8d","datavalue":{"value":"6415833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178757$3F3E5F20-A041-437B-844E-8C8393547DB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30465c7253323499b5cce6c4f064def1ef2d4445","datavalue":{"value":"compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178757$2646A772-CE9C-4A61-B220-0F754CB8081B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cacd82dcdd1859763cb111bc68987e3fca350978","datavalue":{"value":"de Bruijn","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178757$FA65F22E-4DB1-4FC1-8AF4-F5A223419FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178757$23BEDF9E-F20E-4866-94D1-20A34FB9414F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385f5cbc8720521caa7fed622072e6c6cf9fdaa6","datavalue":{"value":"typed assembly language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178757$684FCB84-E0A1-4DEB-B84E-A02AF1697A39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178757$5AEF05BD-2A0A-498B-B4AC-1430D37769CE","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":"Q5178757$F0D21373-954C-4E75-9502-713F9B125536","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e179ba77c8ffa2e70b6ccf604d2f6bbef0a524b","datavalue":{"value":"https://doi.org/10.1145/1411204.1411218","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178757$BB084D1F-09D0-423B-B1FB-E381668FF455","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"765cf1ab98e41e1ec54a66bd8371a665b770ab38","datavalue":{"value":"W4246703569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178757$3791AF46-A51C-40D2-8260-531D6540946F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e6f0f17bf8204af621ae14fbd69592d7a0b53835","datavalue":{"value":"Q130871021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178757$B92BA207-4614-4C0C-8FC5-65A48315CF30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd3b90b1f20eeab16d7d49790233e64ae79cf1d","datavalue":{"value":{"entity-type":"item","numeric-id":2866331,"id":"Q2866331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d431120d3faa90b1d7d663bf7a341495a58d4e1a","datavalue":{"value":{"amount":"+0.7752978801727295","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":"Q5178757$BB0B1CDC-4BE6-46D8-A00F-3EA193D803BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee810cd1ca3ee8d3e27add81649689a382c313e2","datavalue":{"value":{"entity-type":"item","numeric-id":5195262,"id":"Q5195262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4524ae82be77d80c0428063ef322d611c031e1","datavalue":{"value":{"amount":"+0.7430521845817566","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":"Q5178757$9228FF45-0172-44F9-9A2E-4E118E23380A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b9e195847bcbea8ebc4eef91409c29671308c8","datavalue":{"value":{"entity-type":"item","numeric-id":3163410,"id":"Q3163410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8478e330083c582b2b287343fd239d2d57e0d643","datavalue":{"value":{"amount":"+0.7420846819877625","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":"Q5178757$5D54351D-429A-4BAF-83E8-25E73DFCDC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f3c1fe003a366768482df8348527688e194b62c","datavalue":{"value":{"entity-type":"item","numeric-id":5051989,"id":"Q5051989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd70a1725674df1e352bb8fa56ff324e6e8bca17","datavalue":{"value":{"amount":"+0.7331780791282654","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":"Q5178757$083E0A02-2C3A-43EB-9194-B4017B77A8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbedd6ab3dfe1136ec5ec551c70488fa195c1012","datavalue":{"value":{"entity-type":"item","numeric-id":4673424,"id":"Q4673424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0eee4b6cf51fb5d067fe8f220d9916eeabb6b4e","datavalue":{"value":{"amount":"+0.7171267867088318","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":"Q5178757$29855279-0475-4D1F-A56E-73D44DAA56A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A type-preserving compiler in Haskell","badges":[]}}}}}