{"entities":{"Q2949205":{"pageid":2959925,"ns":120,"title":"Item:Q2949205","lastrevid":52360304,"modified":"2026-01-22T11:21:08Z","type":"item","id":"Q2949205","labels":{"en":{"language":"en","value":"Type classes with more higher-order polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6491309"}},"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":"Q2949205$CE5B2AB5-90F6-41BD-8259-1834B45BB8C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ab7b6f998bd575627518c68e1f4bf5d25f6fa14","datavalue":{"value":{"text":"Type classes with more higher-order polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949205$6CD1B922-F6A6-4973-950C-6B1AC6C6CE5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98f9290a4f26e744bcf6d0eaba270c98b063130b","datavalue":{"value":"1322.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949205$28C09DE0-41BB-425A-91C8-FD7A4A85354B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f50e2e8e527f4bdb9d28a25bd7843ab7d8c70108","datavalue":{"value":"10.1145/581478.581496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949205$73EB0160-8848-47FE-A9B8-38ACAA012F04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cfdbe2706a752000a253b2fe45745f578cdd58a","datavalue":{"value":{"entity-type":"item","numeric-id":2949204,"id":"Q2949204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949205$9F04D4FA-439D-4D8B-86F7-C84FF449AE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949205$98225399-259B-4823-A9CD-D19F9606832C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0ff6c8c606e0505c72a89b79dd6eac67f258031","datavalue":{"value":{"entity-type":"item","numeric-id":2949185,"id":"Q2949185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949205$DB5A1BF4-C42D-438D-8191-EAE0623F6FB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"388a42d0e99a3473a403c82b3d4a19525d2c5416","datavalue":{"value":{"time":"+2015-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2949205$1DD06F26-BA38-45DF-B6D9-8F4BF1BD1BC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949205$AFB1996E-A8EC-434C-8CB0-326D839FE194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d121593d54ba3daa6d8b315b65087b9cd19112ff","datavalue":{"value":"6491309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949205$107DA01A-B129-450F-8E41-B9AD6AA1735C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949205$8348E932-19B1-4182-827E-756A38607056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949205$25A6ABA8-674C-42E5-85F6-A5D23C79BD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff33796796e98480bd831c12f8abdaa6ed1568ba","datavalue":{"value":"type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949205$CD35E33E-2967-4BDA-A6D1-4FF26A1A7074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949205$450840FB-E592-4C06-A32B-EB75E21B0D22","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":"Q2949205$0740EDC8-7274-41C6-AD04-947750436A25","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":"Q2949205$CAF92D53-696D-49D4-92D1-9F19AAF55EEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdc9bad3a84ed72dd2d3879e1f97ba99bbd5cd13","datavalue":{"value":"https://doi.org/10.1145/581478.581496","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949205$9625868B-8CDC-4B22-83F0-509C1EABBA55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"192653c5dddb0b63e5cb5c923e8da4f8bb511705","datavalue":{"value":"W2119717275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949205$1DE3FE9C-CCCB-4CC6-8BFA-55E783AEC24C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1001b7c2981b734c45f1265641b76a86db2dfd12","datavalue":{"value":{"entity-type":"item","numeric-id":5881304,"id":"Q5881304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cafd6930c9967628483ffa518f7a063f9805394f","datavalue":{"value":{"amount":"+0.8262597322463989","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":"Q2949205$26924E27-E007-4708-8A67-C309AE2534FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0805e9ba1d87120caefaafb8bf345dd63dc71dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4850163,"id":"Q4850163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ff10837299ed5ff2fb0f2a09be7ed4bbf8184d","datavalue":{"value":{"amount":"+0.82447749376297","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":"Q2949205$8FE8628C-B87B-435B-B30F-3978F8E66518","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":"7bb770c3ee2cebe7277176824b9b88e05eb9a364","datavalue":{"value":{"amount":"+0.7952146530151367","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":"Q2949205$63103B5E-D694-4EE6-A102-96787B92B7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f91ce2ee8fc522bb95e36133fc17c5e44364707","datavalue":{"value":{"entity-type":"item","numeric-id":2814386,"id":"Q2814386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021ceb00c06765403e900ba91ae1ec5b5967e639","datavalue":{"value":{"amount":"+0.7852278351783752","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":"Q2949205$53EC76DA-F6C5-47E7-841D-50C44FBB2E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add54f2421886c2053d4e141381436dbef7dda4c","datavalue":{"value":{"entity-type":"item","numeric-id":5687911,"id":"Q5687911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23a7e4d69f3f6babe19ce12025b4b5d883f72fd","datavalue":{"value":{"amount":"+0.7653588652610779","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":"Q2949205$281C12CC-4ECC-4902-9B91-7D28E47C9AD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2949205","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2949205"}}}}}