{"entities":{"Q5410236":{"pageid":7439810,"ns":120,"title":"Item:Q5410236","lastrevid":96160562,"modified":"2026-06-05T10:33:50Z","type":"item","id":"Q5410236","labels":{"en":{"language":"en","value":"Deriving session and union types for objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6285624"}},"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":"Q5410236$96309B9A-FC26-46D8-8895-29C95CF94127","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c70a4e1f3ec0679c5a86232262aef62382bd5854","datavalue":{"value":{"text":"Deriving session and union types for objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410236$625C021C-3337-4504-8199-746AE27C64A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0932bd2447cc878a92a2bdc5d0da0d387d51d35","datavalue":{"value":"1308.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410236$A0915E85-F494-483A-B424-7C5A1BA21E8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"335623aea25a10371d2a3a242ac3371385b357b7","datavalue":{"value":"10.1017/S0960129512000886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410236$80F5071E-6D64-48E4-9628-6D713773E616","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a921e135ddb711ee21dcf4c8ef6603b9186117","datavalue":{"value":{"entity-type":"item","numeric-id":553896,"id":"Q553896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$FBE3D1B4-5137-46F0-875D-F1698D23D888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a457ca075b6a25984ded6a326e159b4db8d948","datavalue":{"value":{"entity-type":"item","numeric-id":462484,"id":"Q462484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$F099522C-8ADE-4480-9B4F-0B0FEFDB2E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$D4853FC3-A14D-40C5-9052-07B8375B2F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"723db9063ef1af6bea98710b6f590d1b9481eefb","datavalue":{"value":{"entity-type":"item","numeric-id":347393,"id":"Q347393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$760B15FB-CBF3-4996-98A6-A07AF965F78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67add0efd7322c1f14c581399aafbcf879da2df6","datavalue":{"value":{"entity-type":"item","numeric-id":553898,"id":"Q553898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$374E3313-8458-47F4-AECE-0FED7B270E81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$E5EE08F7-42CB-4FF6-9C6B-286B5BFF4C10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410236$C79CC57A-C2AB-446B-AF45-C29E1B591F9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410236$4A8D6B06-7801-437F-B8DE-210C1C52AB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410236$A016B15D-B343-4C87-9368-F01FDC9F9094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410236$EB29FEEC-0264-476A-8F25-7BB919F6D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410236$A7359340-E843-424B-A637-7D83BAE089EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0297ec3c493b2c970d375e14f69cb540d79dcb9","datavalue":{"value":"6285624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410236$E06A95E5-3DD2-44D7-925F-F95F4D6AAEE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410236$6F4255B8-2654-4EAA-8F92-D822E770E4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0964c617fecad7b834e90ec9e1147ee56be03f08","datavalue":{"value":"union types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410236$BDB1C5A7-E42F-43D9-8137-3C871D40DE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efce79918eb6695c12a657d79586fd5eccf3b28f","datavalue":{"value":"type safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410236$0F50796C-165B-419E-8BC7-5841FF530E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"597ff6f7866cdb125c7a550b317eb295d1cd7221","datavalue":{"value":"network applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410236$0E10A2ED-89C5-4BE5-8D40-8F6EBE3C1AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dbaabbd0c8951af241350bbeaf75e137dcde3b","datavalue":{"value":"static type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410236$B2139C51-885E-47A2-9ECC-4B15398AA94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c236c9b3856289153fc7c494ec5edf4abbba58","datavalue":{"value":"type inference algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410236$C1E96772-CE39-448C-A746-CC216DA9B1BB","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":"Q5410236$DBDA977E-0083-441F-8ABB-28B5C64882E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76196bfc8a5999c90817decd450dc1fca8f46717","datavalue":{"value":{"entity-type":"item","numeric-id":4676156,"id":"Q4676156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$628722F9-1885-41A7-9135-B7D705E3DBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27dd5cf94a8d1847eff63c18f154ee730b97f28a","datavalue":{"value":{"entity-type":"item","numeric-id":5892489,"id":"Q5892489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$B6DA35C2-F8C4-4C3C-9494-99A7299CE75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7498fd20b5bc1173c2b277cb9f3b2bb961953bb","datavalue":{"value":{"entity-type":"item","numeric-id":3584928,"id":"Q3584928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$9398DE27-4410-4AEE-9C12-7A08A540B118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$AFBA062C-2F86-4A47-93CE-15E40AB80144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2d1c58d718562367f9d60761a6111e2e729717","datavalue":{"value":{"entity-type":"item","numeric-id":3535678,"id":"Q3535678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$0898AC9B-050E-4323-BE95-0E49F9FB4E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f982ccf1638983550971b32200b3dd06cb60697","datavalue":{"value":{"entity-type":"item","numeric-id":3541035,"id":"Q3541035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$B8CAF1FD-2388-452E-A01E-570B90E15BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc71102eb0b28c331fe8e8a2c8f1d7dcf8efa472","datavalue":{"value":{"entity-type":"item","numeric-id":3507395,"id":"Q3507395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$037DC7A8-31C4-4810-A2ED-30FA59D911E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$9DAC46BC-0AA3-4E4D-9FD6-8B24280DC975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e18d1ff9e4f878683676cc1b8d2c70670171782","datavalue":{"value":{"entity-type":"item","numeric-id":1021571,"id":"Q1021571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$18126F23-4D70-48B1-B396-5880E3E82CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae622e71ca7dbe9f4cdd57a1c75a6f6f92416db","datavalue":{"value":{"entity-type":"item","numeric-id":3525113,"id":"Q3525113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$DA8C3874-B9C0-4266-AFC3-360B84962516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f02cfdf501f88e8aa0cfb03dd0f5e6c970d97ba","datavalue":{"value":{"entity-type":"item","numeric-id":5900851,"id":"Q5900851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$171BF2C5-8F09-4271-80DD-C893114CD176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0167dcff6eba422b1bede60b9ec156d19a634b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3584941,"id":"Q3584941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$BF985CCB-9D3F-4179-946E-9F8AC67333F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891f653819c7b523eb5a7d99745feef5f280657d","datavalue":{"value":{"entity-type":"item","numeric-id":859841,"id":"Q859841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$11F1CE4E-CB4B-4766-A99B-CC57AD8FF3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409c4aa268eb499f4515cd52c2ceda83891381cc","datavalue":{"value":{"entity-type":"item","numeric-id":5428903,"id":"Q5428903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$AC9F6755-FC89-47A7-9FCB-E36F3EC5765C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01beeb55efcb125e7dfe6efcaa531cbb78fa3ea","datavalue":{"value":{"entity-type":"item","numeric-id":930882,"id":"Q930882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$13658C8B-FC45-4C35-92BB-4C6E7A9B6A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36d027cfc80339c900d67fdbde86694a39c3321","datavalue":{"value":{"entity-type":"item","numeric-id":3637196,"id":"Q3637196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$9B6017B0-6E9C-4AD6-90D6-8FE34EC34303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67b6ee3bf3cd80869e7d5bf058398096a3b6aa7","datavalue":{"value":{"entity-type":"item","numeric-id":3541033,"id":"Q3541033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$CCB02937-3A53-4238-9EAE-464833FC914A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f7a51e8b24ca061773f6f474365b71813e7799","datavalue":{"value":{"entity-type":"item","numeric-id":3612640,"id":"Q3612640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$93D9B2A3-0BA9-4D21-BB2A-5C6F4EE9B763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a7e72b95a10f2dc9da6b549a054bde0a8ed786","datavalue":{"value":{"entity-type":"item","numeric-id":5756486,"id":"Q5756486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$34948B10-72CB-40C8-B1B2-2CEE4C18CB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10781df056d47c5d8bdfbcf10f5504bd022a04b0","datavalue":{"value":{"entity-type":"item","numeric-id":1004058,"id":"Q1004058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$CB2C370C-06B4-4E88-A272-ED7C4E723833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc5cfe451ac5bee7bc1d074b5dd2080580fb3a58","datavalue":{"value":{"entity-type":"item","numeric-id":3584933,"id":"Q3584933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$8FDFBD84-3252-4195-8223-B7C47F173EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5c509e9f896407a8f270a7bcdc0c64d92c27dd","datavalue":{"value":{"entity-type":"item","numeric-id":3617708,"id":"Q3617708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410236$72A6A81C-E1DE-4586-93C2-1E8A87B8A765","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"777d0eb6847966286a12f76cf3e8b4e115111f4e","datavalue":{"value":"https://doi.org/10.1017/s0960129512000886","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410236$78A387CA-D0B5-4D57-BC50-BE18A77CD6CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"097070c924e270c0635e9fbb7ac5d6c012c4018a","datavalue":{"value":"W2053657070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410236$5F4FDF3F-38A1-4EE9-A6A9-D12D2A859F7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa585cda6c363de19c6e91cbd1102ae5144d328","datavalue":{"value":{"entity-type":"item","numeric-id":3507395,"id":"Q3507395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e427fd4512390cd128f239aabf01c8eca41821f","datavalue":{"value":{"amount":"+0.86996937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410236$57F356A7-7238-4409-AE2B-6F4314AAE696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d3860f08776683a62ab98a369548ff67b8f92a","datavalue":{"value":{"entity-type":"item","numeric-id":859841,"id":"Q859841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad88e393fd1d2f792c6d4aeaa66ba3afb99bca0","datavalue":{"value":{"amount":"+0.8394504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410236$ACE33C0F-602B-4459-AADE-46233AA8F401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff0729f95f1ac297146984f27a7156c8ad950e7","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9b4a2fca6e415681e3ff9e33d0c12564d61713","datavalue":{"value":{"amount":"+0.8370702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410236$3929A635-2C55-4D98-B154-586F004259B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8437973b27d56c5e6b523dd54c75677747bb200b","datavalue":{"value":{"entity-type":"item","numeric-id":6166152,"id":"Q6166152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62aec824002251fc4c442d6b1b3852a511affdab","datavalue":{"value":{"amount":"+0.82486904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410236$89A261F4-6BDD-4616-A80D-E6BD5DC7DF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e092e7f3042ed4b11711950888bdaf445a54df","datavalue":{"value":{"entity-type":"item","numeric-id":3460414,"id":"Q3460414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d28e04de665a4e19312bebebfd068764fa94786","datavalue":{"value":{"amount":"+0.8150557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410236$632D5D87-1B09-4015-8513-84675C1A79DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd77d26f5c8b8bd3909634a8cd1575fee9245e2","datavalue":{"value":{"entity-type":"item","numeric-id":5255084,"id":"Q5255084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd323b5b850c1e29bec90f5199cb7fc679b70647","datavalue":{"value":{"amount":"+0.8103261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410236$4C699CA8-2F32-4729-8686-8D1F90467C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37d734c5db9f72be826275226d458ddbf141799","datavalue":{"value":{"entity-type":"item","numeric-id":5189644,"id":"Q5189644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a1afdd8138165eb8e0bf8e83826dedeb7923c1","datavalue":{"value":{"amount":"+0.80579937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410236$FAF56FCD-A18E-4BC7-9835-A224940D8FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be17c0d8427be59d8099008b58675dacc5f8a562","datavalue":{"value":{"entity-type":"item","numeric-id":3188281,"id":"Q3188281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355f0fd6ecf425ec702e19be8dc9234b9e2316bd","datavalue":{"value":{"amount":"+0.8045281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410236$422B343B-EE00-44AD-99D6-1B9759F705B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b34e99fb2e0db6f581650fbef00ee626ac5e84e","datavalue":{"value":{"entity-type":"item","numeric-id":2985795,"id":"Q2985795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b7952e43b78bd3052cd366c1c0f3a610ef3295","datavalue":{"value":{"amount":"+0.80131286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410236$0B021D51-39AF-424F-99EF-9B7F1229AB2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deriving session and union types for objects","badges":[]}}}}}