{"entities":{"Q753948":{"pageid":755797,"ns":120,"title":"Item:Q753948","lastrevid":64207935,"modified":"2026-04-11T18:21:20Z","type":"item","id":"Q753948","labels":{"en":{"language":"en","value":"Functorial polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4181607"}},"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":"Q753948$04031E0E-261E-4655-A191-5B46928ADAB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85302bc510192008061d1b8978ffc2f6f8b1578a","datavalue":{"value":{"text":"Functorial polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q753948$18956E76-7732-458F-BD06-461AA623863F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06a10af3a7f946a955c462221b2cfcdf2ed1d0eb","datavalue":{"value":"0717.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753948$A0282989-B3D2-4625-8954-43F8DD6959CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27871c7dc00b7ee73bd2905e23fc74cea574aabc","datavalue":{"value":"10.1016/0304-3975(90)90151-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753948$C74E0717-BE6A-4EE1-A627-23842951CD92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde21e4e51ad1b48caab4820e90901ea08a15e86","datavalue":{"value":{"entity-type":"item","numeric-id":753946,"id":"Q753946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$27597F10-4C42-4782-9FE0-601A146C8C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393cb06a1b35c9b2bbc65f1c43f6792dbf163865","datavalue":{"value":{"entity-type":"item","numeric-id":1393468,"id":"Q1393468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$9790F236-EDB0-4D0E-B446-86ACE6068164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$290EA52E-84AC-49A4-97C0-D1C1C5A416B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$877363AC-C1C0-4D16-905B-D9C020179D58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$7E4674D3-7721-4D82-8407-F575CDAA8A88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q753948$6F67031C-D134-4898-98AD-A39D168DE246","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9dc6c11862409e86ed09180d19864af1e4578eea","datavalue":{"value":"The authors study two semantic approximations to Strachey's parametric polymorphism. The first one insists on certain naturality conditions on indexed families of functions and therefore interprets universal type abstraction as only a part of the product over all types. Types are approximated by functors and terms by natural transformations between types, all defined over some cartesian closed category of ``ground'' types. The second approximation is based on a version of Reynold's invariance condition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q753948$E0CEB642-B092-481B-86FD-057F6B8D0CDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753948$AEA28251-C87D-48B3-B63B-9B397EB52E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753948$43FA02D4-B2DB-435C-98EC-85554F4050F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753948$F9228D64-E215-432F-91E4-C368AF16FF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753948$9985CA92-8EEC-41AE-B761-F61DFDE44829","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"167454de93bf567b98be2f1729151cea4342daa5","datavalue":{"value":"4181607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753948$9CCC5356-A3F6-4CA9-BDAA-7C1453C39B43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5104fd8e6f39845757e7769900b6a89b34bbd28e","datavalue":{"value":"higher-order lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q753948$1E2484E4-41B7-4EAD-BAE2-15A6FB7E4627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bcd2df296980a9de53cc4745b2c07934134db82","datavalue":{"value":"semantic approximations to Strachey's parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q753948$C5E15062-FEAE-4901-A397-CAC2AE67A0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c121b69deecbecad46a17d0e2d94bae14f79e5","datavalue":{"value":"cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q753948$21B46F70-0466-4D34-90AF-61B9241DFF52","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1b74122c6aa7ae21165dde17a679367278501a9","datavalue":{"value":{"entity-type":"item","numeric-id":587743,"id":"Q587743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$77126125-6910-498C-9E7B-605B6FEA37ED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$52EC4EEF-3ABD-4E50-9560-D9BFB4661A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5bbf77f7f6056d0e55fac094035de7178400fc7","datavalue":{"value":{"entity-type":"item","numeric-id":33175,"id":"Q33175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$F26161EE-B5DF-43FC-A417-9406E2F3F517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$8F5E1B10-2DB9-4FB3-BAFD-5A4E45F27BF0","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":"Q753948$001CAA31-13DE-40BF-B7BB-A92249BCBCA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf84999d4a96b03e5286ed25b7c162a553368f76","datavalue":{"value":"https://doi.org/10.1016/0304-3975(90)90151-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q753948$CB7F731C-94F8-47BE-8710-F509DDDF1C21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c708abb8db50c50b3502f77b844b152337bfa444","datavalue":{"value":"W2914837968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753948$3A5F015B-C703-410E-AF31-F28DC5B73FDB","rank":"normal"}],"P223":[{"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":"Q753948$F26713EC-A05F-4827-A173-EB5B422EF4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$FC9CB1A2-F1BF-47E5-B7FC-D305299FDF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3697ae518610e3fa4d2b6f36703df967dc00547","datavalue":{"value":{"entity-type":"item","numeric-id":3945549,"id":"Q3945549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$D3C8CBA8-7620-4681-9BD1-65AF01CEFD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$6954E2FF-1587-4EE0-B3C8-63D206628EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0550b530044499c9f631ac5917a28b2702c1ee71","datavalue":{"value":{"entity-type":"item","numeric-id":749518,"id":"Q749518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$AF81C73D-DDB4-41AB-95DC-7FFC53B522C8","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":"Q753948$98A57EAE-5BFF-40ED-82A2-A1AB46800A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c1f6c5208cbe85d065b63d195e43c8b24cb4c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$3FC27E36-4DCD-4F14-BE81-C6EB71410984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$3640988C-F088-4AFD-B5DE-6AA335B78BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f1fc2c53f8489c262229a49273407a2a8e9cca","datavalue":{"value":{"entity-type":"item","numeric-id":3787462,"id":"Q3787462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$E0BCC92F-DFC1-4726-AD4B-C5DD4AAF0209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$07029226-52C8-4AE2-BD9B-F9B8BCB4F208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c1d96ada48dc11db6b0cdfcf169c2736372aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5626910,"id":"Q5626910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$153BF8DA-8964-40CA-81F7-326F03DFFC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897b983090a7e7931ca4c3b1f285f76249983ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2524062,"id":"Q2524062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$1C24CE0A-19CB-4AD1-93B5-734F57D59D27","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":"Q753948$63D64A08-A479-49A0-B70B-2CA48CE00D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$758B2213-68B4-48C3-9606-324797526062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711ae137442b10c6144184632279f84cad5849e7","datavalue":{"value":{"entity-type":"item","numeric-id":3773320,"id":"Q3773320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$E2175539-E1A6-4A62-8E05-52EE6A659C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$71E74BA0-454C-457E-860E-D5C6955B93AC","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":"Q753948$827A5E80-EF0E-4AD8-BEF2-5EA5316256E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18c0ca64f7ec43883c40349831c2647f298047","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$C6860385-18FA-40C2-AA4F-1D82CE2E5D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c74f19befc82d6bee17a0d5c1067ee47c28907","datavalue":{"value":{"entity-type":"item","numeric-id":5654206,"id":"Q5654206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$8B5AA3E0-FE8E-415A-BAD7-F5B4A108DB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$04C7ADD0-EF2C-4116-9E74-48F65D8ECC0D","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":"Q753948$AF2CD87B-47DA-48BF-92D5-0CC8DA19F950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$91690620-8547-42E3-903E-46828BAAC840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21c90e66902948a1de1494ff23d31c3c16d32b1","datavalue":{"value":{"entity-type":"item","numeric-id":1153681,"id":"Q1153681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$CB50B123-00B9-4673-89C9-97401B62326A","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":"Q753948$AC22840C-7A57-4B72-8EBD-3745107EC0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$AA3F4474-A77D-4FFD-B6C7-C00773D6367C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$A918AD19-4A67-4A37-A8CF-CDEAF9A12059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76cd3a8ba48ee34d922f75db8eaff1b1a239078a","datavalue":{"value":{"entity-type":"item","numeric-id":3680264,"id":"Q3680264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$FC10C663-60AA-4988-B012-55649589AF7F","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":"Q753948$C6F6D36B-7CAB-4C9B-B41D-CD030D65CA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$CB798478-51BF-43A0-87F9-DE0DE93C3A42","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":"Q753948$D9CDF8E1-C5F7-444F-95A5-7FAD26B9843A","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":"Q753948$FDF6B16D-DA0B-4AFA-9054-37988FE36163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa62b9bf7fc913e0e30c932f292554f69a457e7","datavalue":{"value":{"entity-type":"item","numeric-id":1260643,"id":"Q1260643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$9F405929-8EB7-412D-B1F2-0889CC5F6FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e852d57e08709a9fe8c0858c5002d59f949a3767","datavalue":{"value":{"entity-type":"item","numeric-id":3204459,"id":"Q3204459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$F63B95FE-3528-42B1-88EA-EF3AF4E0C8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7328c3a66b9818460f82a01e00656153f4d13ba7","datavalue":{"value":{"entity-type":"item","numeric-id":3486543,"id":"Q3486543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$39EFABFD-BD3A-4BDE-9A66-E7E9BFE3F76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$015AC2C7-52D5-4CE3-8CAE-8DF4479F11BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$B43B60FA-0CDD-4961-A428-B3863ECAE9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$065038BB-489D-44F4-B1E2-A5C22CCC4536","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":"Q753948$9FB26B33-D902-4C5F-B88D-E9194460CAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$F643108D-4B07-4A1D-940B-EBA35A133F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036e5c22d0346ebd8afe2f0065acf9457584fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1566861,"id":"Q1566861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$78435B6A-6258-4F6C-A33A-137DBFADEB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$FCD42B1F-FFD7-49B6-882C-0E9EE57BD687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$8DD6ACC7-373F-478F-B751-DC1A697670E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6343f2d451ffbb52f40599aecbeecfe3e3c562","datavalue":{"value":{"entity-type":"item","numeric-id":5547635,"id":"Q5547635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753948$48E78B9F-D054-4077-A5F0-EFC688AED385","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9e5dc2968041f4cb2517716fd874284e3ab330","datavalue":{"value":{"entity-type":"item","numeric-id":3483291,"id":"Q3483291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4392740b42ba6578ff3851186619e116669fef05","datavalue":{"value":{"amount":"+0.8593896627426147","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":"Q753948$25EC7F97-1767-4446-8849-6FD849C5EB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d504ab3fc30429878122d99b8aba8a50cc8e1c","datavalue":{"value":{"entity-type":"item","numeric-id":685400,"id":"Q685400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528c2029113664f4059645b278020da5ce017aef","datavalue":{"value":{"amount":"+0.8166688084602356","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":"Q753948$EB8DDFE7-6086-452A-A4E4-082F6D91F246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb405f35fb9a6db152361f28f9823429a28821c","datavalue":{"value":{"entity-type":"item","numeric-id":5971398,"id":"Q5971398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b397fda1fcc2a1048c68f8a0b053cc864b4a74","datavalue":{"value":{"amount":"+0.81191086769104","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":"Q753948$72DC9101-F0C0-44E1-902A-583D7B7F3D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb1b9b4f29300650dae7041c96a64ca37efa446b","datavalue":{"value":{"entity-type":"item","numeric-id":6171748,"id":"Q6171748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1adb8f55a4d29edd3e9fdba6216625e92374aaaa","datavalue":{"value":{"amount":"+0.8029763698577881","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":"Q753948$B34D6ADD-8436-4739-8A42-5299A13B09EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f18797958507bb2e43a1c60582934bf69c5d06a","datavalue":{"value":{"entity-type":"item","numeric-id":4327831,"id":"Q4327831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46b98ecbb3f972e1bb8c39a81f5b5a90ed7dc3d","datavalue":{"value":{"amount":"+0.8006877303123474","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":"Q753948$C46AE674-1454-483D-A0F8-137F50BC37A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functorial polymorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functorial_polymorphism"}}}}}