{"entities":{"Q2566033":{"pageid":2576776,"ns":120,"title":"Item:Q2566033","lastrevid":72795057,"modified":"2026-04-14T07:53:14Z","type":"item","id":"Q2566033","labels":{"en":{"language":"en","value":"Compositional characterisations of \\(\\lambda\\)-terms using intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207195"}},"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":"Q2566033$CA08089B-7ACF-49C6-9FE5-E5058F9934F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8dc068f485a1d67b5d4b5eb81920db89c7eaea9","datavalue":{"value":{"text":"Compositional characterisations of \\(\\lambda\\)-terms using intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566033$145698DB-502A-47F0-A068-81EC614DCFF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52be1dd693b969610efa1187f4fb22cdd9b7a044","datavalue":{"value":"1077.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566033$5733FDED-47F4-4C94-8B3D-ECF53455D862","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$FB8A8E7D-BBA5-4D53-B48A-2A9D39452D5D","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":"Q2566033$439B5AF7-E2C8-49FB-AA35-A0F8A7C5EF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"535cc318fb3332836bda701d8719df6e2f78068d","datavalue":{"value":{"entity-type":"item","numeric-id":1430898,"id":"Q1430898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$E3CA9964-15B2-465C-B695-C69BFB2EEA5F","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":"Q2566033$FED9F049-4155-43D0-9776-D6336844091D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566033$BF6C6BE7-7394-4297-8F03-FD3429C049BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566033$718D03DE-72E3-473B-816D-5CD295061AA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a9d1e50cc8a7a939e814f941dc8ae21ff5bb6db","datavalue":{"value":"2207195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566033$74F82773-8948-4780-B555-B58C1FB6B162","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":"Q2566033$3D14E4BD-E365-4DEA-ADC2-CB92AA85312F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9949b3955222095f4a1b53b6b4df678c87cd3e6b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.03.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566033$B5B0F447-29EE-41EB-AB5B-C44E6584A052","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6de0a27f1ff685cbb8a5627771c028ddd9141a2","datavalue":{"value":"W2006005127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566033$0F212A36-45E0-4A3D-89F1-22E6095B01AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$54A77C55-B916-4BFE-97F1-799ED5E44366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$B4744504-6A58-411C-AED9-913A4B9BD38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$12855DB5-EE8E-4E2E-9E5D-1D17477B8A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$2EDCB9C3-C3C7-43BA-A5A7-1F2FFEFB07AC","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":"Q2566033$91737C98-6FA0-455A-97C6-D00A951285A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$372DBB1F-65A7-4F9E-A527-1E04BE086342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$FE6AE68E-EDEB-4991-8F3F-F552FE5B7672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b91c1e597e7a30d5292d890194aa38d3dc1889a","datavalue":{"value":{"entity-type":"item","numeric-id":1583485,"id":"Q1583485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$2E5BE37F-D4A4-4C14-B559-91D2A927E7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$22C0F11C-4B29-4EEA-B236-C10C69699D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$0D50A55E-30FE-4B2B-92F3-0EB75A061144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$82ECC43E-1F8D-41FA-B677-64A9E7BF7146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88a04e81998b3880a0519edf31d5fa80ce5997d","datavalue":{"value":{"entity-type":"item","numeric-id":4435466,"id":"Q4435466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$02B6AB88-433A-4692-9958-6E3ABA3B5149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562d6dc8719693406476f1332874cacc9542b4dc","datavalue":{"value":{"entity-type":"item","numeric-id":5267426,"id":"Q5267426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$C2B39E52-560E-45A8-BC9B-33AC112B610D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d7a160d2b805fed64a738ddb0c417bb269371e","datavalue":{"value":{"entity-type":"item","numeric-id":4536366,"id":"Q4536366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$1459F19E-A052-4774-816A-690DCD094055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6ea593319c3a92c989573a001f928c1d6ba2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4018065,"id":"Q4018065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$C990539F-F94C-4497-8D26-788B5677698F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25baa08322ea0dfa6c2c2f29991332cfbea29ea8","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$93CF2B72-07D1-4A60-A45C-AB3E8FF26153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23b63fe58f695a6fd7133403314fe309a41a282","datavalue":{"value":{"entity-type":"item","numeric-id":1275628,"id":"Q1275628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$D5941988-E17B-41CD-8161-B4C92821E546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e60b67d8e0098a021d3b0b6f886f17d528e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$7ED05094-E3A0-45D1-AAD0-1B65CF8E6D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$AA545E83-7371-4422-9CF0-BCE959EC1C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2f195c49df82c9cda56f240abd57e5287f8348","datavalue":{"value":{"entity-type":"item","numeric-id":1819575,"id":"Q1819575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$D0E2FB9B-43E7-4407-A6DD-40831B0F75A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52e4d1614adf5f67aa0180da2c8c38ab5fb9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1314361,"id":"Q1314361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$1D5FC343-99C8-4835-8C8D-F9E41F91DFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d31edeae3ebaca208d5e79c437b221022654f7","datavalue":{"value":{"entity-type":"item","numeric-id":2551094,"id":"Q2551094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$2BC78EA7-F211-4E77-B2CF-52589F6553D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758de44bf095218eec77786fd2252ea1a4900e44","datavalue":{"value":{"entity-type":"item","numeric-id":4880706,"id":"Q4880706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566033$F99CAC5B-4DE1-45ED-8E7A-D648C1D8B75C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c593caf9af8f9c3d4b8464cc76af13f3e43161df","datavalue":{"value":"10.1016/J.TCS.2005.03.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566033$F250EBF6-D2CA-43BF-974F-15283931A09F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee482c69d1c03ccdad4af08b4279047c87ce18a","datavalue":{"value":{"entity-type":"item","numeric-id":4536366,"id":"Q4536366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa076944313f716bff9c2fff822b6859968fce8","datavalue":{"value":{"amount":"+0.99114954","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":"Q2566033$FDDEADE4-5052-4FCA-BF7A-49F1ED651FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da26c9072eb17315f0057a9e3bcf23f969f6c517","datavalue":{"value":{"entity-type":"item","numeric-id":4779581,"id":"Q4779581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b857d73f88efbc58d7f614ded5d60899e4dcb74","datavalue":{"value":{"amount":"+0.95435196","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":"Q2566033$25518ECE-A542-4C19-A598-C5DC16652856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85fdf4d6ac899d623f9faf2ddd232971025653f","datavalue":{"value":{"amount":"+0.9256954","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":"Q2566033$31448824-05AC-4F2B-8526-F2DC306EA04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42cb534fb8531c56531c4f91c9dba294869cc18","datavalue":{"value":{"entity-type":"item","numeric-id":4405687,"id":"Q4405687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec90f3a67abf9a3f4eb24efa1c53a64515166ede","datavalue":{"value":{"amount":"+0.9232745","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":"Q2566033$6329B939-DB89-4B04-87B7-A61F732AA0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5f4e18249119867518c0c9c16b7ab557a8330e","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c969405b6b0a9966f6dad64cade630f5b13eef7","datavalue":{"value":{"amount":"+0.92190653","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":"Q2566033$DD4B9708-053F-450A-A567-1C573526B315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a14a996e0f34d6aec88250df446b0d0a0e27f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4644585,"id":"Q4644585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a00f3969f57bed73abd11a72ac4610261ae840ea","datavalue":{"value":{"amount":"+0.9168946","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":"Q2566033$51FE3D2B-A9AD-4551-92DB-96CC4DE87F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb57edcd74e3543ce2b4bfaa158ade414a30ab1c","datavalue":{"value":{"entity-type":"item","numeric-id":5943119,"id":"Q5943119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c10652faa742ccc8145d2ec5d8c49a8517738b","datavalue":{"value":{"amount":"+0.9119526","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":"Q2566033$7E172478-A70B-4F93-81B7-DEE45EE2D6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858618e0b7907e977165de74c7a2f92772f504b9","datavalue":{"value":{"entity-type":"item","numeric-id":2875057,"id":"Q2875057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1709904c78b1fc433bb3fefecddd3938c68f87","datavalue":{"value":{"amount":"+0.9101106","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":"Q2566033$7FEDEB22-91D3-4392-91EB-271BA994A2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e609082a6969eaeba45bff67d00e487953599e5c","datavalue":{"value":{"entity-type":"item","numeric-id":2789043,"id":"Q2789043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f3b05f9ae09d75ffb093b4ada569bdb76c59de","datavalue":{"value":{"amount":"+0.9096816","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":"Q2566033$AE230E08-B340-4911-A287-45D14AB299BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acb101caf711151f31c2701eee28a11adec539e","datavalue":{"value":{"entity-type":"item","numeric-id":2851091,"id":"Q2851091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e63271e9f2e1492fedd4fdfa4ebdca726a847bb","datavalue":{"value":{"amount":"+0.9092397","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":"Q2566033$5DECFCFE-0FB1-407E-8C84-AC60305DCB13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional characterisations of \\(\\lambda\\)-terms using intersection types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_characterisations_of_%5C(%5Clambda%5C)-terms_using_intersection_types"}}}}}