{"entities":{"Q1772770":{"pageid":1783512,"ns":120,"title":"Item:Q1772770","lastrevid":68920413,"modified":"2026-04-13T03:07:10Z","type":"item","id":"Q1772770","labels":{"en":{"language":"en","value":"A game semantics for generic polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2160240"}},"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":"Q1772770$645A3591-E0E7-441B-9027-011CCC148A0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df046078afe2caf938da343b548c6d7c359d3a48","datavalue":{"value":{"text":"A game semantics for generic polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1772770$CCD76216-17DA-4433-B7EA-8EB8258E24A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7489097a35b2f18920678698d9ed9130926b6fe2","datavalue":{"value":"1066.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772770$3D755BE8-7645-4EB4-BA92-E40345FFF1C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$5BBCC2B1-0D77-4411-B103-3077915ED551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f673efe434f3abaa101c00ec8aac6d9847719","datavalue":{"value":{"entity-type":"item","numeric-id":596028,"id":"Q596028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$3D830F44-75E8-4073-8C90-6B4916DA7D6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$7085EFBC-2D55-4369-BBD6-9233F5411B1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7ac129396c8451784f7291bf0c9d0937a6cf439","datavalue":{"value":{"time":"+2005-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1772770$B4926E53-32DD-41F2-B21B-DA8905C391FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cf0062bfb06f9e43d84bd180d76ba0cd6015efc","datavalue":{"value":"https://arxiv.org/abs/1312.1120","type":"string"},"datatype":"url"},"type":"statement","id":"Q1772770$146DDBE4-6C51-4097-B5DF-709145E73D10","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"653cf0a85fa4c1a6ca34c9452cb807e929a93454","datavalue":{"value":"In this paper, a categorical model of program polymorphism, based on game semantics, is constructed. The construction uses the idea of genericity, that is the idea that the same program can work at many different data types. The categorical model contains a large collection of generic types which provide a clear meaning of type independence especially for the case of programs containing higher-order types.  In Section 2, the System F is recalled, see also [\\textit{J.-Y. Girard, P. Taylor} and \\textit{Y. Lafont}, Proofs and types. Cambridge: Cambridge Univ. Press (1989; Zbl 0671.68002)]. Section 3 introduces a direct interpretation of variable types as games with a natural notion of substitution of games. This interpretation allows moves in games \\(A[T]\\) to be decomposed into the generic part from \\(A\\) and the part pertaining to the instance \\(T\\). In Section 4, two orderings on games are defined. Also, a relative polymorphic product \\(\\Pi_i(A,B)\\) is specified for the purpose of expressing quantification over the type variable \\(X_i\\) in the variable type \\(A\\) with respect to a universe which is explicitly given as an additional parameter. Finally, in Section 4, a domain equation for variable games of System F is presented. Section 5 deals with generic strategies and defines a cartesian closed category of games as constructed by taking partial equivalence classes of strategies. In Section 6, the categorical model is built. For this purpose, the authors employ hyperdoctrines, cf. [\\textit{R. L. Crole}, Categories for types, Cambridge: Cambridge Univ. Press (1993; Zbl 0837.68077)]. In Section 7, a notion of homomorphism between games is defined. Section 8 contains examples of generic types in the model. In Section 9, the authors prove full completeness for ML types, that is universal closures of quantifier-free types. In the proof, the decomposition of intuitionistic implication into linear logic connectives is performed, and the domain equation is carried over to variable games of second-order types.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772770$54BC1637-DDAA-4440-A02A-4792E988E380","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$BCD9F7C7-58B4-41D3-9C4D-109C1EBE2A30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772770$69F5D27C-024F-4722-A054-280560100761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772770$8E64EF63-6978-49C3-A5FE-959C94E37CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772770$22982391-FA28-46F2-B917-002B96AFAC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772770$B01C33EE-9F9F-4A97-A5B8-F207FA653FD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"468655c7da38591614d53dbb0bf46372fbf3e449","datavalue":{"value":"2160240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772770$E918E7BA-9ABE-476B-9FDC-A21891664C41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f406c6cad1a169a3aa97b967cadcd6567d00c2dc","datavalue":{"value":"generic polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772770$A3EC5B54-1250-48D9-88D3-8FB51F951F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcee3f81e6741695ab88a0cf63a03383d19305a","datavalue":{"value":"second-order \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772770$4B345EA4-C493-4224-9F6E-CD69E6AFCEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772770$12DC0D94-0D80-4129-98D4-E8568C753E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24cd0a17ea1cba2aaa22c9b1086228abf98ceb5f","datavalue":{"value":"categorical model of program polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772770$9924651E-B3FA-40FE-992B-43E57A51B8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772770$5AFDED86-2F30-4290-8F19-C1D6AB65E34C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$BCB32E22-8D1F-4CF1-93C2-5AFAC74990FF","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":"Q1772770$A98A642F-2A7D-42B6-B971-FD6C0DE5FA85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c411262b8382dec288193d5824f83a1fdaafdd4b","datavalue":{"value":"W2567841577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772770$2BD07447-825B-4FDC-B5E9-C543B30AB67F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"20924f380c3614fe434c9b9a85b3b6c6ab65053c","datavalue":{"value":"Q57006657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772770$DD47E225-F684-4084-83E3-89F9FFEE6B77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1146bbc5e086759e31519ce524dbf829161b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1314344,"id":"Q1314344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$384670DB-EF27-47E7-BA80-E922621CA106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d853ad60931fa02460b597161b5a10b9b84ca5","datavalue":{"value":{"entity-type":"item","numeric-id":4225147,"id":"Q4225147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$2D4500E8-55E9-4061-98FA-75ED1665C11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee5d222aba101a0acbf527c26af2c58471ddfe5","datavalue":{"value":{"entity-type":"item","numeric-id":4792973,"id":"Q4792973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$B6A3CA6F-15CC-4421-ACEC-8E99EF3376E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$789CB6A2-3A3D-4952-958A-67E55B917187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$9CE84AE4-38E0-42DF-B4AE-6FD64AA0F5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e55beae22e1e5810add49a2303f1b2559410dd","datavalue":{"value":{"entity-type":"item","numeric-id":2753670,"id":"Q2753670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$19183EB6-BDF8-40FF-94E4-8120BC4075B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425fa271cc91d1c12406f3b4e48abf30c532f868","datavalue":{"value":{"entity-type":"item","numeric-id":4783324,"id":"Q4783324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$9BAA4582-1ECD-4FD5-B8B5-2C023646446D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102951b213f8d79ee3019575fb3b6a39fc73d353","datavalue":{"value":{"entity-type":"item","numeric-id":4870803,"id":"Q4870803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$678B4A49-2EA5-42C2-84D0-874CA8BE7F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$4D8FA956-DE72-440C-8690-2AAE580A22E0","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":"Q1772770$FAB0EB8E-4172-4598-999D-F9C3287D266D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$3F687784-061E-4889-A7E9-588661AB8A3F","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":"Q1772770$06850197-0149-465C-AF50-1967172BE8A6","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":"Q1772770$85F8565C-8835-4F29-BBF1-8380A5258F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4411aad98b29f9e9b8ef38bccdd1f93a7a72fa40","datavalue":{"value":{"entity-type":"item","numeric-id":4327831,"id":"Q4327831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$5579A762-483D-4626-97EE-BB360930B245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80be655ea2068c75ffb129d49e2a04a12b4cd9ec","datavalue":{"value":{"entity-type":"item","numeric-id":1314360,"id":"Q1314360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$C12F8ECD-5628-4034-929B-DC7B77666EA6","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":"Q1772770$E40EE834-EDFF-4955-8113-3C27D44A9D14","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":"Q1772770$356C7F42-9CCC-438D-BEDA-135C535E7B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$AF6E3236-BAE3-4D8D-87D4-B936E32DFD14","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":"Q1772770$F4536135-BC7E-45D5-B334-A20ADFB0CD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772770$34506231-1869-44C6-A3C8-23CB81EE44FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c884c0e53149bdc4acecef47e7cd8e882e5857b","datavalue":{"value":"10.1016/J.APAL.2004.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772770$C3FEC952-566B-4270-8DDA-3F50DAB1004D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2773845f860dbaaf9ed0db5cc2f765e2fd9ed4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4417848,"id":"Q4417848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e56064d27f049d64b872ebb2fc67a5f2198619","datavalue":{"value":{"amount":"+0.9266464114189148","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":"Q1772770$B594C335-3836-4F6A-A38B-A4E793E19889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e4c86c689fac63b242774af3f6893ea59a9061","datavalue":{"value":{"entity-type":"item","numeric-id":5458834,"id":"Q5458834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e56064d27f049d64b872ebb2fc67a5f2198619","datavalue":{"value":{"amount":"+0.9266464114189148","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":"Q1772770$F343507C-7BDC-4E7E-A68F-2CB45731C413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cd570bf41454804d47947260a1f00d6a30d45c","datavalue":{"value":{"entity-type":"item","numeric-id":5395726,"id":"Q5395726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4638e153ac5c68391e70105dff10e38e643d3b","datavalue":{"value":{"amount":"+0.8431704640388489","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":"Q1772770$4ABB99E0-6ED6-4C43-AD52-C2323D23A27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73340204202a1373f43362e0a19b7f8d3e8c37fa","datavalue":{"value":{"entity-type":"item","numeric-id":3587438,"id":"Q3587438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e604f99c44f48a7e1148921f51a0f29e9a554cbc","datavalue":{"value":{"amount":"+0.8093605041503906","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":"Q1772770$4A4E1BEE-855E-4A07-8C17-C78C36F39550","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":"10aa167f456e49a2bcb752af7b44cb38a0fcb349","datavalue":{"value":{"amount":"+0.7786076068878174","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":"Q1772770$9782F2DC-07FA-456A-B4F1-51C96AA61DA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A game semantics for generic polymorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_game_semantics_for_generic_polymorphism"}}}}}