{"entities":{"Q4649537":{"pageid":6679118,"ns":120,"title":"Item:Q4649537","lastrevid":51601640,"modified":"2026-01-19T00:42:14Z","type":"item","id":"Q4649537","labels":{"en":{"language":"en","value":"Relational parametricity for higher kinds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109824"}},"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":"Q4649537$0E8F2165-FF45-429B-AE4D-A3AE91FABA3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e97a997272df0cf17d13d194592b163363c812d","datavalue":{"value":"1252.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649537$FA42CCB8-F501-48F4-947F-28CAACDCD22A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a671bc31964954daa066cb3b32015fe8ce6632","datavalue":{"value":{"entity-type":"item","numeric-id":2888472,"id":"Q2888472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649537$09501B41-109C-4689-B8E2-6D205F24C602","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649537$A48C3446-77A6-4706-BA1C-2143EC8DC200","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649537$B7283162-83DE-43FE-BAF3-A79D612384B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"982381ce74c05ef43f0d2dfda9e7b6d1a5e01c35","datavalue":{"value":"6109824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649537$8ACAAD4F-12DD-4005-99E0-DF1684FDEBB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"965dd402c53205f69a542ccec90654cc0dfcada5","datavalue":{"value":"relational parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649537$E0FA5692-7CCA-4A8B-8499-98FC8C04CCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"202cb3df220a2ed3348a759f3b8336b473f337e1","datavalue":{"value":"higher kinds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649537$99C9410A-D2D5-4343-B647-58C66C62B7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649537$27F88E28-4369-4454-9916-2C405311D7C6","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":"Q4649537$6032F187-7051-4CC4-8750-DD34EE942A91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5624fd0cffac4892538f64f07fae6de16d7db7af","datavalue":{"value":"https://doi.org/10.4230/lipics.csl.2012.46","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649537$7D238ED8-1738-424F-A56E-DB74ED2C436B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1bdcfe0ee004c58d9d3c0f848a41118da852409","datavalue":{"value":"W1536469717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649537$BFD3BB21-B2B9-4A00-806A-2D6D1E9F4361","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d70ad811dadd029aefe90b152e8cc64c8b88a19","datavalue":{"value":{"text":"Relational Parametricity for Higher Kinds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649537$FECACCD2-3144-466C-B009-1CA092AEF1DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9f51a3c07431ae06383f4aca24dec45f824d0a3","datavalue":{"value":"10.4230/LIPICS.CSL.2012.46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649537$1639EF5C-9055-4ADC-848E-C246DFFF4457","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8eea77c439a4c1346c74b01e65c1fd47b0e8276","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3afb3c4a3af14de885b288f488f0ee14f578b74","datavalue":{"value":{"amount":"+0.8394022583961487","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":"Q4649537$19588A74-FCD1-4164-8E00-E1B00D433241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e9759522ffc25a12796d2730f608250c2d0f706","datavalue":{"value":{"entity-type":"item","numeric-id":5145366,"id":"Q5145366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35bd9075b6fba50d6e08db0235d9cb32908d3774","datavalue":{"value":{"amount":"+0.824439525604248","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":"Q4649537$8300C136-1A99-412D-9BCB-AAE58AE63053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a061e610919ba6bc7f9f27dd8908e5a300c976b5","datavalue":{"value":{"entity-type":"item","numeric-id":3024821,"id":"Q3024821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60cdca4a9323bbc9bdbb829938f24edf719593a2","datavalue":{"value":{"amount":"+0.78757244348526","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":"Q4649537$F6EED6B7-D6EA-4C94-A748-0F8AF7501B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b517eb73a756be4cef0b2ee897531f77d18ef807","datavalue":{"value":{"entity-type":"item","numeric-id":1346668,"id":"Q1346668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146d49f732e1419758d715284871ee27979c5a90","datavalue":{"value":{"amount":"+0.7873573899269104","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":"Q4649537$5C2AEF5E-8209-4CA4-9344-EDA6AB931B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4116d7bb7083b191bc72e76ece0f0ff01486a31","datavalue":{"value":{"entity-type":"item","numeric-id":1314344,"id":"Q1314344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146d49f732e1419758d715284871ee27979c5a90","datavalue":{"value":{"amount":"+0.7873573899269104","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":"Q4649537$2957DF64-BBB7-44DC-9FD4-3E6905F9B053","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649537"}}}}}