{"entities":{"Q5028445":{"pageid":7058022,"ns":120,"title":"Item:Q5028445","lastrevid":98393234,"modified":"2026-06-05T17:24:26Z","type":"item","id":"Q5028445","labels":{"en":{"language":"en","value":"Parametricity for nested types and GADTs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471683"}},"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":"Q5028445$594E3A18-E84C-4C26-89C2-1452F91A2216","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$5498A65A-3A5A-4D0F-BC37-14BA5118BC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e495499d4030db8d03eccae8e42790588c021f","datavalue":{"value":{"entity-type":"item","numeric-id":2233417,"id":"Q2233417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$20A91C3C-CAEE-4B23-82AF-77B49D8A3B9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016f5c9439ba374a39d268cbe8a17a8d3cb3913d","datavalue":{"value":{"time":"+2022-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028445$F4654A8F-6233-427F-AFC8-A2886B313116","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f75983db476e327c91d41ff4e03ece555c05aebd","datavalue":{"value":"https://arxiv.org/abs/2101.04819","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028445$735B7CA6-D42F-4FD2-9D7D-F4AB31CABE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"72094779045d1a439817a7a7d555af96cd3248b2","datavalue":{"value":"https://lmcs.episciences.org/8889","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028445$151E93AF-EE4E-4B04-B1ED-DEB3DB137AC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028445$C6E17564-F716-4CA4-91B3-E9BF1F5F40F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028445$27674A6E-4817-46B9-994A-BFD4BD07948A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d218099aeeba55818d1dfc2498e9e66ceb73f277","datavalue":{"value":"7471683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028445$A6254FA8-B0FC-4C3E-A77D-DAC0BE594E4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c10fc11a4b547e5a2c84d7551f50b531608bedd","datavalue":{"value":"nested types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028445$BFCCBE30-913C-4EE3-9FA3-B881D14E943A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcb3bff1dcbcf34e0c496835c665383873d52e3","datavalue":{"value":"GADTs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028445$F5B0E546-0423-45CB-88CA-67BAA5016127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028445$47760F2A-CD1E-48E7-9CAF-7F20C11D1BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028445$BD8A96FA-7ECC-44AB-9403-C58FAE252B17","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":"Q5028445$A3C3C6A0-24A6-4B68-8920-24EC00BE538C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"150719399e882b786834d79969b3d0373e1dfbae","datavalue":{"value":{"entity-type":"item","numeric-id":1770412,"id":"Q1770412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$D8DF0EEA-55AA-4F49-A795-A46D072336E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$FE763A80-B663-4B21-970D-E5DFB5F17E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b56df43783f1ee1ac33ede87b59dadfc0b3214","datavalue":{"value":{"entity-type":"item","numeric-id":4649537,"id":"Q4649537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$EAC6787D-E1F3-45A7-A88A-E68D83D49AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$FB5B9D64-8520-4591-BB38-7CD8E3C0CEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a84670e1043abc01048ef4420e31272ab86a57","datavalue":{"value":{"entity-type":"item","numeric-id":5697712,"id":"Q5697712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$9EADF8BE-44FA-4D33-93CF-EEAD3AD82716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a17422820de131ed03dd36bb6484e8aa078aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":1965249,"id":"Q1965249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$9E0D3F90-09C6-4938-AF12-7035D8C29903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bcd4ae2579c74a21d7451a3e9068802bcce70c","datavalue":{"value":{"entity-type":"item","numeric-id":4286531,"id":"Q4286531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$3FB90985-20C5-4EFA-A019-F9100E103696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$8318E368-D2F9-4948-9E7B-24CC7E1B0F96","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":"Q5028445$D1466917-26F4-4D63-BAE4-9002F7FCCBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be1541264ec7f3427f16feb9f0814ae8b381955","datavalue":{"value":{"entity-type":"item","numeric-id":848745,"id":"Q848745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$258BFB5E-55A9-4E84-B709-5535A166643C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6463ebbab6e945cd99a24def897682b68934e0a","datavalue":{"value":{"entity-type":"item","numeric-id":2233419,"id":"Q2233419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$0728FCD7-033F-4ED5-AC65-05EA8BED3C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7c47b6de4ddb46a855e5259e83e7e909bcaf90","datavalue":{"value":{"entity-type":"item","numeric-id":1870296,"id":"Q1870296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$727FD372-F2E4-46D7-B78F-94EC37305C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0937081b7df35f0d3383c4d7d3191d7100aae60","datavalue":{"value":{"entity-type":"item","numeric-id":2200833,"id":"Q2200833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$A38DEB96-976B-4C37-AB35-F7CF82B9C678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6411e89a8eaf878d73a2a255a29175a9fa872b63","datavalue":{"value":{"entity-type":"item","numeric-id":627204,"id":"Q627204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$6FEC9F83-9331-4FB9-964A-08F5E53D4227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e09a416bd537316d9d34dcaff8b67b2c5057938","datavalue":{"value":{"entity-type":"item","numeric-id":1607121,"id":"Q1607121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$11FB45E8-3425-4485-A6E4-4704C17DE160","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":"Q5028445$7A9B29B0-B1EA-4964-9C1D-252A01739FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$0E133C44-AFF9-412A-A36A-A147620C4E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028445$66E7063C-C3AE-4222-986B-F9716DCC536A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143b5e8110138b76ec32962aa3cfc3673612d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3189848,"id":"Q3189848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8eec9e7ee01845242a7cc774080c08d177c1244","datavalue":{"value":{"amount":"+0.7523863911628723","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":"Q5028445$993A06A3-74F0-49CB-B1BA-C1C19C7F2A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01626b106d59b5cbcb33fdd24721802e88287238","datavalue":{"value":{"entity-type":"item","numeric-id":3564921,"id":"Q3564921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea4ca10b5f6c24d825e1d4803f9802a3edd703d","datavalue":{"value":{"amount":"+0.7449390888214111","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":"Q5028445$373113D8-B755-4D49-A701-4C0D833E0D15","rank":"normal"},{"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":"8b8ce1012f00cf31b0b0213377191106a5b15b7d","datavalue":{"value":{"amount":"+0.7411359548568726","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":"Q5028445$186017B6-2074-4CA9-AAC0-9A8FC9870CF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametricity for nested types and GADTs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parametricity_for_nested_types_and_GADTs"}}}}}