{"entities":{"Q3612447":{"pageid":5642353,"ns":120,"title":"Item:Q3612447","lastrevid":80929946,"modified":"2026-05-06T17:19:37Z","type":"item","id":"Q3612447","labels":{"en":{"language":"en","value":"Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527185"}},"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":"Q3612447$CFC5EAAB-1D0F-40A7-B06A-846394F17453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"980507f7684f7ece5c4219033fb06beb16b11efd","datavalue":{"value":{"text":"Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612447$14CB930A-62B5-4813-814D-DC35A107E0EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e21f8f3aa992aff6274e1aa0dab6aeb2fe02f9d","datavalue":{"value":"1178.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612447$0A715B6A-6AF2-4E7F-A993-1337B4086B9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4217b54c0f75de5ce5191cece03c6039bc1e4959","datavalue":{"value":"10.1007/978-3-540-74464-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612447$BF6EBDDD-EE42-42C1-BEF7-78FEE9A0F2FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bda953b538177aae8b4c62f889fa93c10def28bb","datavalue":{"value":{"entity-type":"item","numeric-id":3612446,"id":"Q3612446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612447$B8C2EB9A-0397-4335-B607-D17B299A8402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9cbab8cb9619eb1f53de501c60c49def4220f6e","datavalue":{"value":{"entity-type":"item","numeric-id":604858,"id":"Q604858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612447$52C2A6F5-18DE-4CB6-9801-77B3A00B5435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7caf918ebfde63ac64127671232bbb1ceaff1199","datavalue":{"value":{"entity-type":"item","numeric-id":656849,"id":"Q656849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612447$E5B940F9-DC43-4B52-BC63-655264DFFCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b80a6804cf30b020aea4b4451d66da710ddb61a9","datavalue":{"value":{"entity-type":"item","numeric-id":2398174,"id":"Q2398174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612447$0DCAAF4A-20B2-4B3E-BC6D-D154663DC6CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612447$D1669BCF-3568-453D-957A-9887ABE2604A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612447$C6B82E70-89F4-463F-B603-CAD98E7761B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612447$A015005D-FC98-4948-81BB-E17656C5A806","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15f7406d9262866f6e09ada21fbc6b152ba2280a","datavalue":{"value":"5527185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612447$16131EE4-00CF-4F8C-AC8C-34D53A34B106","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":"Q3612447$6413F471-7D8E-40FA-BAD4-293D11038DD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bca277cb937d7c85644a1b3b0137452a376714a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74464-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612447$6E988B23-83DF-4932-B88E-C90DFA5C77A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56e27350f676c983a251e6a87f58ab070da1da5b","datavalue":{"value":"W1526538522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612447$1D08A3D8-B864-46C2-8CA1-9DB7F82A3C5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8560c3cf66228e33b3cfd3b96aea795814f4a3","datavalue":{"value":{"entity-type":"item","numeric-id":5466590,"id":"Q5466590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e49b15656f176339129e6c14b8baeac808da41f","datavalue":{"value":{"amount":"+0.7712663412094116","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":"Q3612447$398DD988-1363-4262-A0F7-A3566501A7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9246b1e080d6a4112e7941229a01a4beb65cc08","datavalue":{"value":{"entity-type":"item","numeric-id":2398175,"id":"Q2398175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6a5e41bccfde379ae2cfea7fe08e2dd2fa0557","datavalue":{"value":{"amount":"+0.7446873784065247","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":"Q3612447$B42468E5-F671-492C-B29D-8B9A7FC5AF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d431a54fedd394db44def9deaa8dc8abd77b93d6","datavalue":{"value":{"entity-type":"item","numeric-id":2943370,"id":"Q2943370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c22d983d17a1a421c0608c0d4abeac4694c5a57","datavalue":{"value":{"amount":"+0.7342623472213745","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":"Q3612447$9E3E7DD0-2283-4FC2-8386-E756C65B72F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493ef039100f22c16fab53a9fccff30a5215571d","datavalue":{"value":{"entity-type":"item","numeric-id":4380998,"id":"Q4380998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64cc53e4a348aefdeb22867c2009a1de3836e5e7","datavalue":{"value":{"amount":"+0.7232901453971863","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":"Q3612447$1CDA1CD8-22B4-4099-9B5C-184866E0776D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7def83c23fdc3a58d1c81ae34e063f6bd64c113c","datavalue":{"value":{"entity-type":"item","numeric-id":5176930,"id":"Q5176930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64cc53e4a348aefdeb22867c2009a1de3836e5e7","datavalue":{"value":{"amount":"+0.7232901453971863","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":"Q3612447$B1806C66-BDE9-45CA-B0D6-35CEF30EADCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_Intersection_Types_for_Cost-Analysis_of_Higher-Order_Polymorphic_Functional_Programs"}}}}}