{"entities":{"Q3564921":{"pageid":5594825,"ns":120,"title":"Item:Q3564921","lastrevid":50993774,"modified":"2026-01-16T03:11:34Z","type":"item","id":"Q3564921","labels":{"en":{"language":"en","value":"Parametricity, type equality, and higher-order polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712523"}},"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":"Q3564921$BD55DDC7-8323-474E-8E6A-03CB73F580C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b02f74eb4806422244af88cf4aa053b65c38161","datavalue":{"value":{"text":"Parametricity, type equality, and higher-order polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564921$4944AAE5-1118-4D34-95E6-33DF4944F0A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fb75cae8559845c92061a762ce284fab2c76407","datavalue":{"value":"1209.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564921$D2802F99-2EB4-4EAB-9FDE-021DE7B03573","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e47e3321ceaee94d2930f91d5ec0b4afeb8ea32b","datavalue":{"value":"10.1017/S0956796810000079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564921$7168E0DD-F1BD-4E47-8954-B77DEE553555","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":"Q3564921$ADA8D7AD-4E87-498D-A82B-975FBCE8A637","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":"Q3564921$0FAD32FD-DE69-4B66-8E44-184E95062E7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$E3D7D058-952D-49C2-A941-EAC780C38CA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e10e35ad52bbf92f1ddeac6dedccab922b34f1","datavalue":{"value":{"time":"+2010-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564921$81C481D9-5A8B-42BC-93CE-CBD62CA3E968","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564921$CC7FC0B5-A66C-40BB-AB79-D4654A50FB9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66bc3251a030ab295f4127243fefee5ae661cd73","datavalue":{"value":"5712523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564921$75D8FE87-C94C-40BA-AF43-CB0CEA025122","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":"Q3564921$8567AC57-45B3-4268-952B-35FBDEFD6186","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d4471d7c84c4c613578df596ce30f1e5b4b0a3","datavalue":{"value":{"entity-type":"item","numeric-id":2936814,"id":"Q2936814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$1038B60E-8336-4CCE-84CD-B487599A8A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e485adcd5eabcbfc1550f63607a59b1d485ebfc","datavalue":{"value":{"entity-type":"item","numeric-id":2817715,"id":"Q2817715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$8172D2D2-4159-4302-87B8-A2D4E2BACB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc444a1bec4f7c55cbe2eee1d14d89dbf7c1cac8","datavalue":{"value":{"entity-type":"item","numeric-id":3452253,"id":"Q3452253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$265F9A29-DAE9-48D3-946D-057663389CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a252b526bc772a05ed6b396a0ef133a1094504ab","datavalue":{"value":{"entity-type":"item","numeric-id":3189848,"id":"Q3189848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$A7BDC404-2D60-4C9F-B31A-2B32BA3BB42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44f995b22051344e2be8e13300ad67c89b8e0a6","datavalue":{"value":{"entity-type":"item","numeric-id":700974,"id":"Q700974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$698CF67A-E7A0-4B27-973D-B5B50D168A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3c69fa2672b8fa81e2d2be45ac3f1049ef642d","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$40F47403-7A9A-4AAE-9242-D7FD2F5322DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$C78599A6-3DEB-49C8-9D94-22F97734BE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799d273207c67ec7b548e88c5034009e9de9bb0a","datavalue":{"value":{"entity-type":"item","numeric-id":4709843,"id":"Q4709843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$0B8856B7-7C6E-4B57-94D2-38AD425FF1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219c1bb96cecb67d33cca75f9ca3069dcf90679b","datavalue":{"value":{"entity-type":"item","numeric-id":1606917,"id":"Q1606917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$7532984E-8F82-402E-B433-66FDDEE33CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3637f322544aae9daf432caf7314a879834a0e","datavalue":{"value":{"entity-type":"item","numeric-id":2864153,"id":"Q2864153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$4BC4EC1E-85E7-439E-BDB3-5D14D2A47B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567c965207130078300d6c2483ceecef116d0f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5348924,"id":"Q5348924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$3CDD5F65-31C8-4D71-995B-4E149E1EECD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1a6758d7f61b1629da4e25cec4c71e0709c1d3","datavalue":{"value":{"entity-type":"item","numeric-id":2949202,"id":"Q2949202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$71928049-E420-4CF5-AD80-E0EE4EBC0BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$5FC7F7B8-4E55-4770-BB63-CFD7AD77AB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20fb7c48e77808fbfcb67d3d7a940b105d55c505","datavalue":{"value":{"entity-type":"item","numeric-id":2936811,"id":"Q2936811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$18EF2D58-44CC-41B2-9795-C196393FCA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5f115322524f5cbfd590f6dacfe48ab6800d6","datavalue":{"value":{"entity-type":"item","numeric-id":4660266,"id":"Q4660266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$A40BE11B-42B9-4AFA-82CF-E50D866C0838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1eb6b654356982c3f558185c623d477449a3829","datavalue":{"value":{"entity-type":"item","numeric-id":5262947,"id":"Q5262947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564921$FB3EB7C7-8A71-40F0-889E-102038963727","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a9756de8234864fd25811fd82eb300fec39d360","datavalue":{"value":{"entity-type":"item","numeric-id":5262947,"id":"Q5262947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406653365ba97bb10d6d5fc506fa630324628c09","datavalue":{"value":{"amount":"+0.8135482668876648","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":"Q3564921$3867F35B-3A50-4E26-B6E2-5E8A2257BA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33a0d85284950b77a2a9774beb91bbc035587e4","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c2af275218d51637b7a6f019d484d9da87986f","datavalue":{"value":{"amount":"+0.8046532869338989","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":"Q3564921$841F43D6-6211-43AE-B500-60AE8EEEC399","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":"6a7094363ebfe9d633ea3c0ba648b1808e807176","datavalue":{"value":{"amount":"+0.8041330575942993","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":"Q3564921$A4AFA738-02D2-4AA5-BE8C-7862ADCECDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ac623f8164632ca736cced5382c948cc6e5cf1","datavalue":{"value":{"entity-type":"item","numeric-id":2986790,"id":"Q2986790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7094363ebfe9d633ea3c0ba648b1808e807176","datavalue":{"value":{"amount":"+0.8041330575942993","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":"Q3564921$109613DE-27F2-4A07-9AB6-330AE79420BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375787a7d09051c927a086ef702d4e1204039100","datavalue":{"value":{"entity-type":"item","numeric-id":4222926,"id":"Q4222926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588b658dc2a81a00a54abb05b9e10092d94df969","datavalue":{"value":{"amount":"+0.797608494758606","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":"Q3564921$2F1FC027-456F-4342-8EA1-36FE894F1CFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3564921","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3564921"}}}}}