{"entities":{"Q6839799":{"pageid":18033615,"ns":120,"title":"Item:Q6839799","lastrevid":84287666,"modified":"2026-05-14T16:41:13Z","type":"item","id":"Q6839799","labels":{"en":{"language":"en","value":"The Yoneda reduction of polymorphic types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8176041"}},"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":"Q6839799$BE73B0C8-1FCC-4897-B637-900153D90EB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acbf4a7ef88ec5f25abb25da437c72b4e15fed29","datavalue":{"value":{"text":"The Yoneda reduction of polymorphic types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6839799$B6C45FF0-FAD5-4D23-B9CC-487191B783A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f46fc073a5775cb6f92ca980bf0cf33b91731fc1","datavalue":{"value":"10.4230/LIPICS.CSL.2021.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839799$FEADE85B-20B5-4609-9E87-CE75AF6E479D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"833b94707d11d9754b30179a565d9345a149561c","datavalue":{"value":{"entity-type":"item","numeric-id":2117747,"id":"Q2117747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$ACF83ACB-B7F0-4EF9-88B7-FB87F9B545D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff00a37020abfb1072c98141396d6673e6995d93","datavalue":{"value":{"entity-type":"item","numeric-id":694490,"id":"Q694490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$959D5047-BC34-454C-B1AA-73378CA1094C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3fb882359813b3d73bc1b64740f049fe4ede3c4","datavalue":{"value":{"time":"+2026-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6839799$2C97FCAB-8429-4793-8E58-453B3D77B04C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839799$2DCEC978-C1DF-4EE9-81A5-9CF80698EED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839799$785088F3-4634-4F21-8ED3-DF03EC019C92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f64caeb69cbbc4618026d52709ffb05575b535","datavalue":{"value":"8176041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839799$4D1A08DB-94A0-4B75-A913-1664B092CD00","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$42DA565F-CA57-406E-AE68-39136259C1DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839799$2CAB7BF3-4531-42B6-A930-C4816CCEAE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f558ad8503ca74c243aa26f9af84ddd1f8beb33","datavalue":{"value":"type isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839799$1FC94A9F-230A-431E-8FEE-347C184DBA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"585436b3c3e73d7c46839200022be7d5f23d2473","datavalue":{"value":"Yoneda isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839799$2109D4D3-F77C-4591-80AA-62BCA4A5D8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839799$2EAC8774-08D2-4B4E-816F-BACFF4180E51","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":"Q6839799$BF8AD72C-D4EB-49EF-B9F8-3C1282C6CD4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3409bd8005aacaaf0ac09f154e6910814ac82860","datavalue":{"value":{"entity-type":"item","numeric-id":1288178,"id":"Q1288178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$2FFC6C22-DE8E-4DA1-A371-87BDA9EEDE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacb44a942285d9baaf5031e5170ae5058e91948","datavalue":{"value":{"entity-type":"item","numeric-id":5278431,"id":"Q5278431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$378247C0-FA61-4080-B6D3-47653E4D0198","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":"Q6839799$AE7B90F7-BA8A-403C-9789-D4EEB004D506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac208b1e0960d954c41363d8a41cdec11188d24","datavalue":{"value":{"entity-type":"item","numeric-id":3558219,"id":"Q3558219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$8B1D7788-EA77-474C-9A10-C0344F8F7DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d604d2bd9aeb800a9974a1a32f191487a06f67e1","datavalue":{"value":{"entity-type":"item","numeric-id":3007657,"id":"Q3007657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$CFBCE785-04CF-4C6E-8877-4D0982E5B1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5d83fb5c1896876351d51b19033684002cdbe8","datavalue":{"value":{"entity-type":"item","numeric-id":3025341,"id":"Q3025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$18AE64F9-3DFF-4722-8B67-24BE8CA20C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bb2a4f0603188267aa3fd0208ee45953e029cb","datavalue":{"value":{"entity-type":"item","numeric-id":3372683,"id":"Q3372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$88A60761-BCA9-4180-AE68-4146BAC8B1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471e353343add3c4c1d2837c45f22a83e14aa042","datavalue":{"value":{"entity-type":"item","numeric-id":2498898,"id":"Q2498898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$FA5736B2-8465-48AD-833A-BDB1F6FC656D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7088e6dc711db66d4d22262c93949042581faa49","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$FDA2F865-7F2E-44E2-BAE7-E80FC6531942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d910458719fa4b8b6b194265f13642c414193620","datavalue":{"value":{"entity-type":"item","numeric-id":4010357,"id":"Q4010357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$42D8786B-1A4B-4AF7-A2F8-7A4B62FAD1EE","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":"Q6839799$6E202719-892B-48E4-8F1C-864321486815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9496de230cfeaf8cd7d67a7de0dfe83790fb2625","datavalue":{"value":{"entity-type":"item","numeric-id":4675766,"id":"Q4675766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$D13B0C94-2269-4D87-B950-36188C944C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7e7dfa9d530d207d8af0616a7342a81c167185","datavalue":{"value":{"entity-type":"item","numeric-id":4720069,"id":"Q4720069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$52C5ADE7-78EE-40C5-AD53-5493D6312E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22c07178ca711d7167fc9ad7c3e723509ed68e2","datavalue":{"value":{"entity-type":"item","numeric-id":5079758,"id":"Q5079758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$ABD4EA7B-6840-4C24-98DE-490E903563CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00008b4232b38610c91158c514082f3892081a12","datavalue":{"value":{"entity-type":"item","numeric-id":4704206,"id":"Q4704206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$46F01CF4-5C63-4CA7-990A-E3BE74BC4551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081824bc9b037fb52bdc0a33a70db9b336c07123","datavalue":{"value":{"entity-type":"item","numeric-id":5111327,"id":"Q5111327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$A121F2E8-81C2-4085-98DA-C3BA2E01A836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b55ec86fa6569b2a7f47003b78fab76b38d8ec","datavalue":{"value":{"entity-type":"item","numeric-id":4972737,"id":"Q4972737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$8336DA84-2908-4BDB-A851-EBFDCA700FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3516237624863cc20b90e9783906967021631cc6","datavalue":{"value":{"entity-type":"item","numeric-id":5018492,"id":"Q5018492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$5F2EC13D-7341-48D7-80CC-477509B7EABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad36ee1e9b536ba43cedd35d7459acb4e4a8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$0DA36016-8096-4F84-8C4C-A0BEADF6F497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e305086dbb5d7eb2e70b336cf8b6d4f42f1e2d","datavalue":{"value":{"entity-type":"item","numeric-id":5370875,"id":"Q5370875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$DF814C86-82F0-43B6-908F-A39EAB4816A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eef7c45e05e86437ee5a82ee557e166b54807cf","datavalue":{"value":{"entity-type":"item","numeric-id":2981966,"id":"Q2981966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$0C94232F-1360-4136-8B76-547B41CB22F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8eb702959acaa970a57c99338f253dbd7414149","datavalue":{"value":{"entity-type":"item","numeric-id":2631649,"id":"Q2631649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$8DDAD4B8-9E93-406A-A925-0A1FA16C512B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3049ecd299c1ccc96595ddc3bf413a2431945110","datavalue":{"value":{"entity-type":"item","numeric-id":5166625,"id":"Q5166625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839799$4D7A358E-CAB3-4F36-AF3D-3594F80CCE7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Yoneda reduction of polymorphic types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Yoneda_reduction_of_polymorphic_types"}}}}}