{"entities":{"Q5178770":{"pageid":7208342,"ns":120,"title":"Item:Q5178770","lastrevid":52225796,"modified":"2026-01-21T05:00:16Z","type":"item","id":"Q5178770","labels":{"en":{"language":"en","value":"FPH: first-class polymorphism for Haskell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6415853"}},"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":"Q5178770$A9B35E51-8724-4CD5-B307-C7CDDB22F46D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41498f0cc26be8f1bbdee2f5d0c3e08934acbc92","datavalue":{"value":{"text":"FPH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178770$73B7AE2A-8358-4DDC-BC31-6152B32C6594","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f26f5cc1a380631f4dbf7f96016cc10be049fce","datavalue":{"value":"1323.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178770$65FE3818-129F-41D3-9E91-006C9FF4F4E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cb273823d88cb8816ee92fe97b0b08f65d711e6","datavalue":{"value":"10.1145/1411204.1411246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178770$A65A397B-18C2-4A6C-9FA1-D1BDEA41D074","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4ed8098789870ad70d41231e22c66ea8deb02e","datavalue":{"value":{"entity-type":"item","numeric-id":2819689,"id":"Q2819689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178770$CC541DEE-40E3-42EB-BD99-8AE41B700EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe52ffa1b7468cd548841738a45dc4a65b5c47ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763692,"id":"Q2763692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178770$FECC0330-D595-4EBD-87A1-2EDA570B59B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1049de561e4e0575c7855d0da60607e65f900396","datavalue":{"value":{"entity-type":"item","numeric-id":1818317,"id":"Q1818317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178770$CCDB9D32-7408-44E7-8931-C54C47796883","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":"Q5178770$AB9D3C31-F1AB-4F79-A5D0-28249C1685B7","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":"Q5178770$CE47DD9E-F02B-41AE-9D92-43462E953CD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178770$6D60FA48-DC0D-4053-A051-6F7E85DE6B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178770$2181AF29-414E-4150-A364-740782C887D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178770$B0823A78-833B-40E0-A32A-5900750B297C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57c2d18eb477771597d7a0d450098d00065d61df","datavalue":{"value":"6415853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178770$592B0A6F-475B-4732-9271-4FABDC317FE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57004f0a216c135c167bee8bbc9a576335f86e03","datavalue":{"value":"higher-rank types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178770$8AE8FD90-2F21-438B-BBF6-43CB85F6ACA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5795787683dc16a0e892761f65c085daecc3346","datavalue":{"value":"impredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178770$5A5D34C6-6001-4640-9E10-F04141DC3F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178770$305693B8-ECCC-4F4E-ABAA-8D43D65A7DC6","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":"Q5178770$C0BE0BEE-A11E-4852-9C48-E39FA3DD7DEB","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":"Q5178770$05F78FFE-44C6-4053-842D-A6826AD54EC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01f550bc6820275ee33bae25cda381af44a0c12f","datavalue":{"value":"https://doi.org/10.1145/1411204.1411246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178770$1E8F096A-BC4A-41DB-B20C-23E4D4565008","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57653c2a90d84b9995e9a3a29a8d412c966bde3a","datavalue":{"value":"W4231402167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178770$6B8D9D91-67E6-49AC-99AE-ACEB28944ACA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a6263eaef5dc46486cb4ca0b8651b0ad975d35","datavalue":{"value":{"entity-type":"item","numeric-id":5178769,"id":"Q5178769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d77669575ab8dfb26c4426944b3febc41958430","datavalue":{"value":{"amount":"+0.8411254286766052","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":"Q5178770$DDB4E8C6-4C82-4E3A-9CFE-92CEEDD53851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d42c49af6ddc9caa53ed6f82867a544e8f3ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":5261506,"id":"Q5261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f787d9e0899b325c13e0ef2888f6f29ca95cae","datavalue":{"value":{"amount":"+0.8128229975700378","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":"Q5178770$9D68101D-C164-4D61-8DEF-F1C54643E04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ba39ca2035417664e5aaca1ca865f173438de6","datavalue":{"value":{"entity-type":"item","numeric-id":2949205,"id":"Q2949205"},"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":"Q5178770$0AE5DA72-D7E6-4CB7-953B-C9470FAD7E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447c1b5d8173068f83cb35615fab14abaf94f4e2","datavalue":{"value":{"entity-type":"item","numeric-id":3419812,"id":"Q3419812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb3163602ec4f48a6e0a810b52a824c73821bbd","datavalue":{"value":{"amount":"+0.7874642610549927","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":"Q5178770$6681F92F-1E90-4B27-B2BF-6D1CAEF1BE70","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":"141abdb0e076bdd545138c0266a20e1d76f85ee5","datavalue":{"value":{"amount":"+0.7681753039360046","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":"Q5178770$06982DA1-3EFF-4584-BE63-5DE0B70A0757","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178770"}}}}}