{"entities":{"Q1193592":{"pageid":1204341,"ns":120,"title":"Item:Q1193592","lastrevid":66455622,"modified":"2026-04-12T10:11:24Z","type":"item","id":"Q1193592","labels":{"en":{"language":"en","value":"Categorical models of polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64874"}},"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":"Q1193592$27FA7DBA-5677-4BF5-8C3A-9D461845CEEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"780937df6cd1fea5dd8a6dd850e77bb74b4815af","datavalue":{"value":{"text":"Categorical models of polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193592$68A7CDF7-F5F8-4234-9CA3-CBF3512B6D08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f787edf24edb19c9863c018549e146f087de65b3","datavalue":{"value":"0772.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193592$E222C16D-A534-4C08-A2E5-3A92C64ABF66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce353cadba0c9d942d8f7fd4b3df403561da9f5e","datavalue":{"value":"10.1016/0890-5401(92)90024-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193592$23D02A30-CAFE-4016-A6F9-4A0C6125DE69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$6ED183D4-E305-4B57-A2E6-F5412D43A2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$3C05D3B0-2CC9-41A5-B345-413C356BB8D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$CA091631-02D7-4522-8914-EA3753C2240A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193592$05544EF2-2406-4517-8E3B-B8E8979685D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff25a72c2440910411b382f1371509ba64e4328e","datavalue":{"value":"Category theory has already been in the past one of the deepest instruments for the study of semantics of functional programming; and it seems to become more and more so in the future. It all started with the well-known correspondence between Cartesian-closed categories and lambda- calculus but it has gone much beyond that. This is particularly true of the second-order polymorphic lambda-calculus \\(\\lambda_ 2\\), first defined in \\textit{Y. Girard's} Th\u00e8se d'Etat (1976). This language has been modeled via two distinct categorical notions: that (external models) given by Seely (1987) based on CCC's indexed over another CCC on the one hand and that (internal models) given by Moggi (1987) based on topos theory. The present paper is devoted to an ``equational'' approach along Moggi's ideas.   The paper presents and discusses the relations between two classes of categorical models of the second-order (or polymorphic) lambda-calculus, namely those based on internal categories (internal models) and those based on indexed categories (external models).   Part I gives a detailed introduction to internal categories and their relations to indexed categories, via equations between arrows in an ambient category with finite limits. Part II introduces the above- mentioned two notions of a model and presents the ``externalization process'' that, given an internal model, yields an external one. It then shows how to go the other way round --- obtaining thus equivalent models. Part III discusses three major examples of models: provable retractions inside a PER model (Berardi, 1991), PER inside \\(\\omega\\)-Set following Longo and Moggi (1991), and PL-categories inside their Grothendieck completion (Pitts, 1987). The appendix is an involved study of the notions of internal adjunction and internal CCC.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$AA5DAE0D-1666-4E3A-BE5E-DA9776FD4181","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bc7a4844df6c1e7fd45e2597303e18bd88cee256","datavalue":{"value":{"entity-type":"item","numeric-id":598278,"id":"Q598278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$656CDDD8-F3D5-4B38-89D5-C2B7BAF8F149","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193592$A1B1C156-BBA3-483F-BFD0-5CE228760C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193592$04E56C7A-B9CE-4DC6-8FD4-26AEC0C03BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193592$D614BE0D-4F8D-46EC-9909-21830A2D646C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11d188f7e457d06228bf70a0824cbf2e02a7627f","datavalue":{"value":"64874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193592$8D9580EC-359B-4076-BB11-8308231CC26F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$9F746301-645F-4D3F-9D0C-B20D6FB43633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485e9d5679905448039a8ab30c3b8e5075d70921","datavalue":{"value":"internal presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$E2EC4AFA-183D-42DE-B588-81BBAD672FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c5b20ea1d34c1885b307eae7b1eb8fd5b7139","datavalue":{"value":"externalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$8963F3CA-FF18-4670-AF55-544774B956AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05f313d62402915d745555f56b91ccc258c4e7da","datavalue":{"value":"internalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$77250D79-8800-46EA-AB90-D0A0E01B8244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125eb1f83fc05df65834ad00ecf2710af10e844c","datavalue":{"value":"higher-order lambda-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$656A7CFB-DF22-453A-80C1-DBD51E3654FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8312a4adc066b1a8ff881110f98f0a82f6d2e251","datavalue":{"value":"internal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$B7D364BB-2D40-402A-887D-5600D852B15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7afe21dc7e6953fcf29bac3746d93e2bb0b8c90","datavalue":{"value":"semantics of functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$944F1E66-F664-4648-9241-660FF03BB1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$275F6BBD-B781-4E08-8627-6BC7492F77DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$7A9505BD-74BE-415E-A740-C3B40929D861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1043f4dbc762ff47e33be985b1a89a19fce1735b","datavalue":{"value":"internal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$6A31A848-513F-42FF-AC2E-236250548A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1105fcc0b74c7a1fbaa65e95eeb7525fdf97d4ba","datavalue":{"value":"indexed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$7B996A9B-96CE-4DEC-ADDE-72251A9CD8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad5be4ce5ef0ef18d41ceb0f7c8f51ca46bcfd97","datavalue":{"value":"provable retractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$FA0F9265-CC16-4BCA-B029-D0BB4DC8B8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56fc2e57aec74ec0c9a5b334614055a8dfa6319","datavalue":{"value":"PER model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$2F372DCA-CC29-44C2-876A-023757E4B41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a411d605693a33d45fbaf6716ceb6502293df26","datavalue":{"value":"PL- categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$A4FFC724-FD4D-4CEB-86A4-23832272C09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2344b999f833f3afc8fd0b69f525f864d2638738","datavalue":{"value":"Grothendieck completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$01DC54DA-E4E0-4857-B22B-906BC7FCA1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b68456057b626ba0a9a11db5a15eeb0c009c859","datavalue":{"value":"internal adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$99CB5CEF-F819-4707-8FE9-A5CFE501CAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054b06ac811156b8c9f1ebebbd74110001ace4cd","datavalue":{"value":"internal CCC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193592$C0323173-B303-438B-9663-86E11FD954ED","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":"Q1193592$BB11F6D2-C509-416C-8323-A3C1CA6E536C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986bdf2688f9a4f038ee0a9de427fe936094398","datavalue":{"value":{"entity-type":"item","numeric-id":1173956,"id":"Q1173956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$8DB9FB72-9CB1-42C6-B119-0221A314DD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005537799f3a85442d3ad04f80b3b2e785727979","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$4BA93EA9-80A1-467B-9B34-82FE8506CEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3135ff454a54abef92b5c00b90dd826ed4b39fc","datavalue":{"value":{"entity-type":"item","numeric-id":805221,"id":"Q805221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$CEA28E0E-7CE3-42EB-B8DC-24D15F822AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3375fe95d64eb1965b010106ac93d2982d639c","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$46539545-6D6A-4AEC-9295-87CA7018A7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5f8f362da434ad441cbfa7aaf92ed7c49fc378","datavalue":{"value":{"entity-type":"item","numeric-id":3784072,"id":"Q3784072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$62DC75E1-8A3C-442A-BE04-A726F1B0ACBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$54DBF027-D0EE-49B8-8A21-CFCCC65E72C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$585D3FC5-C7B8-463C-BDF5-DAA29FE48D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0a47d84150a541f727d94c5b7141ab91625aeb","datavalue":{"value":{"entity-type":"item","numeric-id":5096261,"id":"Q5096261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$8A31CC62-306B-4C62-B9F8-7A2747FF9542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$0D8394B8-CCA9-4597-BFED-DEA23572279E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$7E0D2ACC-D804-4CDC-8FB8-03067C226121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$FFEAD640-C0B2-460E-886C-1DDFB336896A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94cf9631c9e91afb0e168451174422010e0452e","datavalue":{"value":{"entity-type":"item","numeric-id":4006232,"id":"Q4006232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$7696EAEC-CA2B-4A23-AF5F-19BF5C6877EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21b79fbb5540f0404400728ce02316ef4bab0ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3787977,"id":"Q3787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$C201E561-1918-41A1-B060-25C5502B99F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$190E892D-B57E-4140-8B4A-29A3D689FD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$EB19E6FD-84E1-4217-9A98-786C828DAD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbe19fcefeee0f7452f0785bfac52068f96015e","datavalue":{"value":{"entity-type":"item","numeric-id":4170869,"id":"Q4170869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$71B3BB6C-4CC4-4EA2-9E53-1CCC89347748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$029DD423-AD06-41C9-AC5B-865DC8A71824","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":"Q1193592$1F599CDF-A19F-4388-B23D-C13EA1BF33CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193592$41A5E944-159E-4708-AAC0-C340A18B0503","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b23f757c9584f0eefb90ae44c1a588abdb4ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4896529,"id":"Q4896529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88ff6c72ce3174f7bab5580ac60ba05939630c5","datavalue":{"value":{"amount":"+0.8159363269805908","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":"Q1193592$8F61DDF0-EF72-40F2-9AFF-2154A9FE2C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53facd2fa443e736e0cad757fe7e0f6d3112630d","datavalue":{"value":{"entity-type":"item","numeric-id":3768870,"id":"Q3768870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e2a2b85ed5f4e40a9083aadd654cf3bcbeb177","datavalue":{"value":{"amount":"+0.814538836479187","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":"Q1193592$1299DB3C-F93B-4DFF-B3AE-0120AAFC10F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb77f5186f9cb14515ec6d47004579f8ef5c92c","datavalue":{"value":{"entity-type":"item","numeric-id":4921420,"id":"Q4921420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffa7a9b224ce1c611c676ddcdc5d4f84a31688c","datavalue":{"value":{"amount":"+0.8131316304206848","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":"Q1193592$FDB5A8C7-B31F-460C-82E7-B21135590A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1485f2f4746a943777bb46556e15c05ff09bfed3","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d2f27f49ea83d974c6b415020c9e3295fed82b","datavalue":{"value":{"amount":"+0.8033013939857483","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":"Q1193592$F97B37B4-1491-4C00-8A6C-F33000230ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c097eca35bc531bbbb108f2dacb4adb59289e5","datavalue":{"value":{"entity-type":"item","numeric-id":3768869,"id":"Q3768869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29085a48f5a6786315aa286f17233b7db6f04152","datavalue":{"value":{"amount":"+0.7998378276824951","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":"Q1193592$ECBC26C8-96A1-475C-93E3-C010033ECB4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical models of polymorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_models_of_polymorphism"}}}}}