{"entities":{"Q960863":{"pageid":962711,"ns":120,"title":"Item:Q960863","lastrevid":65658936,"modified":"2026-04-12T04:06:42Z","type":"item","id":"Q960863","labels":{"en":{"language":"en","value":"On generic context lemmas for higher-order calculi with sharing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5687507"}},"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":"Q960863$54F204C6-6177-42A2-A9BA-7AD415FB09C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c637428393b17496053ab35eb4296dff2a71c67","datavalue":{"value":{"text":"On generic context lemmas for higher-order calculi with sharing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q960863$31B5C539-B7E8-4F84-BECA-08266C65D76B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f01bb0eb0173ee92fcad67fea067d4628398733","datavalue":{"value":"1191.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960863$AF9575FB-C082-4660-9902-0E0BFB54EBE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$A884C75A-7085-455F-BD7D-EDE97491099A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$AD7210AF-AC62-44A5-80D9-C7FF345FF7B7","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":"Q960863$5CBEEBFF-E0AE-40A6-AB69-0D90BB4D0426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7779b9b8e663f6e735902e827572a0b1b55abb","datavalue":{"value":{"time":"+2010-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q960863$715809E2-CC3E-4067-A5FC-FBB7BE5620C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960863$A84D8222-CC13-429B-BE00-801A32AAFE70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17c87dcfa2d62f02a25422bb06e91c8e7f79adaa","datavalue":{"value":"5687507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960863$2F5D70D7-02B9-4E96-B3C5-585F1E67C7C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q960863$DE060CE4-C814-47FA-83FB-677D1A9E27C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51392bbc2216a9eaa78949a25d22e296323fb975","datavalue":{"value":"observational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q960863$C4F2BDD6-96B9-4009-B5E2-4409315DDAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2388c8725fe4ebb81e08cac3a19a95047b85a61f","datavalue":{"value":"context Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q960863$0722EA3A-F90A-4AB5-B912-566B3B928427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q960863$03218790-7F7C-44D1-BDD9-34812E7DC653","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8f141167345ead0a6453756dbcc4af8338476486","datavalue":{"value":{"entity-type":"item","numeric-id":22046,"id":"Q22046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$8650CB9E-45A5-432E-ACCF-FFFD8FE1AD8F","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":"Q960863$F97AF1F3-886B-4FA8-A107-6950B35293A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8020d9634db37c9910a8f39cb155d1f5e2f2601a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.12.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q960863$3461A0AF-328E-49D9-86FC-FF7AF1434CE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d023fcad9dadeb05204042edfe8c9edea6d6ad3c","datavalue":{"value":"W2051507754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960863$2379D8FE-1FD8-4D79-A7D1-548C2865BBD0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3a2d844903368a71fb46d873776009880b9b25a4","datavalue":{"value":"Q124828671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960863$3D2FDEDE-E59F-4BFA-B2DC-011805F76179","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$D6D7C998-3D71-478B-9A26-D8AF38C7D39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$3B278566-28D6-4F5E-8777-ED1DCE942142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a30bb9b68f6bc469c8c24c396656b218006e29","datavalue":{"value":{"entity-type":"item","numeric-id":4222931,"id":"Q4222931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$CC48B256-A956-4C43-81C4-E5FEAA6CCFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$C660BE50-9E67-4D03-A2BC-C616847122B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1aa493c321f05aed8353e788b6c1db3a4ef14ce","datavalue":{"value":{"entity-type":"item","numeric-id":1763728,"id":"Q1763728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$942FC128-49EB-4175-9049-AA0C72C16432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$7E0A9379-8808-4FDE-94AA-7180C0CD52CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dceaeb69355189fc068eb986132da2a3b9a2d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2703747,"id":"Q2703747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$BE508310-6303-49E5-971A-D8963C89601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8061bdff8d9877d2f27aa012efd61f9a2baf74","datavalue":{"value":{"entity-type":"item","numeric-id":1426872,"id":"Q1426872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$FDB156E3-8D38-487C-BCF5-74864BF999E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634969c7735e685aeb8a1782172ac61025af3861","datavalue":{"value":{"entity-type":"item","numeric-id":1575889,"id":"Q1575889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$CD3169F2-EE57-4995-9447-B54AC23FAA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$EC2197A4-3F1F-4408-9E63-B3B400782BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$06C00499-945F-48D5-BBA9-58F8AF068FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5b5fb3ffa2fb3482d86dcc086f96e2a3826549","datavalue":{"value":{"entity-type":"item","numeric-id":4887022,"id":"Q4887022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$6F8F7FD5-4735-466D-9C91-1A2B54C4246C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ff8d61329145c82d13d9d25665563352a89931","datavalue":{"value":{"entity-type":"item","numeric-id":5348907,"id":"Q5348907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$1773A3CE-0CF7-41BB-8D71-4F1ADA5E9AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab98f9144c6732b53f94131308e4bb8bf4b801b","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$C234E0C9-70FF-4CB9-A76F-1ED93CAD9F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a02f6e0adf6bfe100b05d0be6ec432037951f37","datavalue":{"value":{"entity-type":"item","numeric-id":2848130,"id":"Q2848130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$17FE9FE4-02E5-4C66-A265-2E22C7B0201C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfe4964a46d9b5ae61ca298ddf701e390f98625","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$8DEA17A4-5118-41A6-90F5-39179B661E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227e13427c7bf9b6df48be0946b9c623a8e8a3bf","datavalue":{"value":{"entity-type":"item","numeric-id":1923089,"id":"Q1923089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$77A00CF4-F881-43D5-A147-66514948924F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$3E55D50F-012F-44FC-94A0-35D95D845C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$8518D0EF-9C2F-4FA8-998E-03904EFF750B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$A7D447B8-0EF4-454A-AB3C-B9DD309A49A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52abab17d5a3b8f01a07edbbf5fb601777486c87","datavalue":{"value":{"entity-type":"item","numeric-id":1870854,"id":"Q1870854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$DA533077-8501-4D3C-ADBF-67122E8B9D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fb4aadf90f1b421574f5486d0a65f50e43a271","datavalue":{"value":{"entity-type":"item","numeric-id":5262945,"id":"Q5262945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$2B290FD3-B80D-498E-A859-5F3E2E444671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4742d7a0d6c8d8a486327d93a0aaeff26ab6ee84","datavalue":{"value":{"entity-type":"item","numeric-id":860851,"id":"Q860851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$11DDE6FC-D258-4295-9FEB-83B161DDD66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$B1E2BCD0-044D-469A-90B3-A3332F9B2C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$88C71992-7267-4F03-A07E-A01129E7EB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$2F7359EA-C1D1-4ED0-8A36-7D493A8B6DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de6c4baa2462148dc7c1421fca878b906d1cfc4","datavalue":{"value":{"entity-type":"item","numeric-id":3520145,"id":"Q3520145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$6E6B1CCA-CC41-434E-80D8-F1B39CF294D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$66B63FDD-03F7-44B8-A41A-296188B98DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7c820bc2a28f2e8b4d3dd872364743bfeebf91","datavalue":{"value":{"entity-type":"item","numeric-id":5432349,"id":"Q5432349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$D5D46854-840C-4A71-9FD3-EB37A9C0CDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be683bb73d53fb671a22488c5e54fbb45141acc1","datavalue":{"value":{"entity-type":"item","numeric-id":2339472,"id":"Q2339472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$1EB1D0A2-89F9-4EF3-A95E-6557B0339ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4642fe9dd95a3568249d225c054225fb40d2512","datavalue":{"value":{"entity-type":"item","numeric-id":3520168,"id":"Q3520168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960863$178FF603-A643-4D91-BE89-96F5EA576B62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4640be375bfe1eda4e4ecb81a67079e0e0bf95d8","datavalue":{"value":"10.1016/J.TCS.2009.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960863$EA9893E5-5FE0-455A-8B68-7424BDC33968","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5c26a41c23e8e974fa6ffcb8c0028186dbbb04","datavalue":{"value":{"entity-type":"item","numeric-id":3520145,"id":"Q3520145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"825c2e99a192d89c89016961d0bf707f2eff5bba","datavalue":{"value":{"amount":"+0.7633157968521118","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":"Q960863$AD83C30D-057C-4D41-8828-83BB23ABCE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de14ffc87ae9579150588c68efa3e67f7336822c","datavalue":{"value":{"entity-type":"item","numeric-id":2841274,"id":"Q2841274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b9028288d552f48f523ba23b29a6f647ef3341","datavalue":{"value":{"amount":"+0.7429473996162415","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":"Q960863$B371A76B-D8A3-41E3-8FF5-1A1A3CB47F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3345000446955fe87dcfaa6558693bffdbd6a7e","datavalue":{"value":{"entity-type":"item","numeric-id":2848669,"id":"Q2848669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ee4502b9bded6a04ed9b6458da3dbe860b5d26","datavalue":{"value":{"amount":"+0.7359595894813538","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":"Q960863$FE342562-D063-4096-B92B-B369E1449D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31d0d3bb0b531bb7df7ea133c816859099a5a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5458369,"id":"Q5458369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b2aa08232b9540bcaf4e47951bc7ba182e86bf","datavalue":{"value":{"amount":"+0.7294842600822449","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":"Q960863$6E4BE1A0-6714-49EB-8649-E52E3EC6AD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e72c7a52c0256fbd8305ef164cc8fca6f6cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":5240138,"id":"Q5240138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feeef892883acbc8255f69af6a6e64da7461bbdd","datavalue":{"value":{"amount":"+0.7278563380241394","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":"Q960863$4A24A50B-1EA0-49BF-85D8-CAF8C74F90EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On generic context lemmas for higher-order calculi with sharing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_generic_context_lemmas_for_higher-order_calculi_with_sharing"}}}}}