{"entities":{"Q2851090":{"pageid":2861810,"ns":120,"title":"Item:Q2851090","lastrevid":42269902,"modified":"2025-06-04T00:07:30Z","type":"item","id":"Q2851090","labels":{"en":{"language":"en","value":"Intersection types for light affine lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213328"}},"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":"Q2851090$F5F3EED8-ADB9-4C88-9B3C-0BFFEC4FA1A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c25d89950ca14d2a1ec2fe63061906ad9771bc93","datavalue":{"value":"1272.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851090$C9B3FD6D-DB1F-4A98-842E-86013ED12E41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98d17c34f7570301f50f71cd9e0d89b712b5d33a","datavalue":{"value":{"entity-type":"item","numeric-id":276258,"id":"Q276258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851090$EBBF10AD-337E-4142-B3D6-5AC85DFCFBBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851090$525DC0E7-4422-4639-9A1E-6BF5E75A36A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f0a269acb7120cd9b1b1368bf4e65776cedc87a","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050632","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851090$12A172DB-11A2-4352-9216-9FA3BDEBE58B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851090$3374D317-C630-44A5-9D7D-3009F55439E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851090$3CB81FA5-88AC-454F-96AA-D4BCE57BD4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851090$48D179ED-7EB6-4B0D-9B2E-5F316C430CDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b179a223d1ffd9362694808941abab0d91d4675","datavalue":{"value":"6213328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851090$E90F799A-D7F5-481C-B574-98509D252488","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":"Q2851090$EFA52023-2B3F-4997-9E27-ED921C911E95","rank":"normal"}],"P1643":[{"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":"c9167099b519bcbedae3dccb8b298837f4355fdf","datavalue":{"value":{"amount":"+0.9532707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851090$AC9F15C6-2C40-49C8-9ADA-9797CE34897B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fcf329f5684b3ff495be129eed4fab6a8f2699","datavalue":{"value":{"entity-type":"item","numeric-id":930870,"id":"Q930870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf7b5d892daa83044b5e7eb326431d1ee1ead9d","datavalue":{"value":{"amount":"+0.9494219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851090$EFA90B9A-6F7A-446B-AA84-1038EA659019","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":"e1ae60436d9e6cf610750ad361dde5ad8ba72da3","datavalue":{"value":{"amount":"+0.949383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851090$B258CACF-FAB1-4FEF-A80F-F5C8C2071438","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":"2058e148109b73b623f69b258c7ba44f4d89f9f3","datavalue":{"value":{"amount":"+0.94901043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851090$12AA2610-71DB-4C94-8477-B9712EB20CBD","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":"7c6924fef5ec2316a5a0d4a00ebc3e3bfb6bc394","datavalue":{"value":{"amount":"+0.93854195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851090$857B6882-E535-41AF-8FA1-E74C109B6E2B","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":"5360deba2a9fde162a0b0befc39b5b9cd01b6de3","datavalue":{"value":{"amount":"+0.9380318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851090$068576F2-C04A-4D64-8593-4364A4B541AC","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":"789da53683477a387ab975d4bfe13b5e5b1e8aeb","datavalue":{"value":{"amount":"+0.9333861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851090$62651153-5456-49CA-AA9E-FF26EEEF0A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a24d66b790e8bfe1c8aa1b1fb29d83d11908933","datavalue":{"value":{"entity-type":"item","numeric-id":2369008,"id":"Q2369008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e63d8d4e26dd1b5b47d8502dd20ad51d021dcb2b","datavalue":{"value":{"amount":"+0.9312472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851090$76F9714C-A623-44F5-8ABB-5F66528E8ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5fc31d95a19ea4b7e9381f8114b5f3b4c9d220","datavalue":{"value":{"entity-type":"item","numeric-id":5714453,"id":"Q5714453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f576fea3c1c2e2dbed5b4865e67e0db282b59450","datavalue":{"value":{"amount":"+0.9255187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851090$5CC2BD36-B3E2-426B-A3E6-5744C7A508EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4849900eb7ad962a5fe6bdd4653caf38ebcb76","datavalue":{"value":{"entity-type":"item","numeric-id":5692152,"id":"Q5692152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b918eedeecbb51eadeda9d04f3289c260717e87","datavalue":{"value":{"amount":"+0.9241903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851090$8B69D62C-9C65-47C6-AE85-13D4B7988953","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8ab4b9e3ccd49b8befd94e2c904c24f8566146f","datavalue":{"value":{"text":"Intersection types for light affine lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851090$0578E3B1-8060-4DA0-9B10-E3C6A6AECF1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851090"}}}}}