{"entities":{"Q2981949":{"pageid":2992674,"ns":120,"title":"Item:Q2981949","lastrevid":85293113,"modified":"2026-06-03T06:47:03Z","type":"item","id":"Q2981949","labels":{"en":{"language":"en","value":"Algebras and coalgebras in the light affine lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713860"}},"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":"Q2981949$98287C7F-4EA7-49AA-AD71-750706E64A09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"483fd0e9b94f09e2c9ebe61458c78ae601d136d4","datavalue":{"value":{"text":"Algebras and coalgebras in the light affine Lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2981949$87AB046E-B31C-4056-8FFD-0944289B72D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06dcf6b883eb138d5c41a844f3180f1e658a0b22","datavalue":{"value":"1360.68328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981949$98C2F342-2786-4CB8-8E01-D6773C003DD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7264c4348c07c9fe52c3ee121ae00a22b223234a","datavalue":{"value":"10.1145/2784731.2784759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981949$C1833EA5-F3C9-4248-85BF-983AEF511831","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0543480bd713540e86d55e77dccdfc4a22872606","datavalue":{"value":{"entity-type":"item","numeric-id":843950,"id":"Q843950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981949$2B48138C-0068-4B0A-A67B-15DF394F5C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fff50a7a9071a09e7be8e0564680a871ad9ef12","datavalue":{"value":{"entity-type":"item","numeric-id":1640982,"id":"Q1640982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981949$74461AD0-BA99-4912-98A5-E3F3A34A94C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"958b9d2649c5f166ed12d91711a9f2d3feb923ea","datavalue":{"value":{"entity-type":"item","numeric-id":2945523,"id":"Q2945523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981949$52DB8256-C663-4121-A482-8C88FD9A0848","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2981949$85182B9A-E0F4-4F50-AB0A-D47EC95AD52F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8de21ca3f37e792217b25675f402171e32218303","datavalue":{"value":"https://hal.inria.fr/hal-01112165/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2981949$630ACD97-C6EF-440A-9D83-CFC1F217A45B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981949$3B3342D8-0C11-4FDF-9CFB-ABAC174AFBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981949$B69FEED0-5BD4-428A-989D-23C52D1119B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981949$CF298A56-2983-407C-AD11-0058560FE33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981949$C247B943-4097-482E-ABEF-7415B811D712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981949$56649671-9F43-4372-A8B3-EE546A8B8269","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a49b299b71a7ea3749ac4d777cf3297c792bf49","datavalue":{"value":"6713860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981949$78DFF645-CF3F-4C01-BDF0-B455D3371F7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981949$8699B10F-086C-45FA-824A-C07E6303BFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981949$A42437FE-2D66-45E6-966F-2913984CAB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981949$05C073A0-97B4-4903-9311-64A515AC10C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"791b45442bee5748d82c47bdad8917e2964eeff8","datavalue":{"value":"light logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981949$649E3C28-63CB-442C-A2A7-E5251179A6CE","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":"Q2981949$7E309525-D416-4870-B95A-4F16897DEC21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1d66ad0bdc3af7c4aa4289aa1836689bd743c55","datavalue":{"value":"W2016092099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981949$7629672B-943D-491B-BA77-BA8CE6BE354A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67c2d6b0aa517769691b859ea33797d9eae71a9","datavalue":{"value":{"entity-type":"item","numeric-id":5897362,"id":"Q5897362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ae8b3392ba288611b711d4109e13f0b20c7a6b","datavalue":{"value":{"amount":"+0.7206814885139465","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":"Q2981949$CB8D828B-1A38-4D9D-B969-C95F7028E7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ea36f0a0484e249d413f552df81af38e818779","datavalue":{"value":{"entity-type":"item","numeric-id":1004289,"id":"Q1004289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d91174968df47b76a2a772901ff65c6ddb0fead","datavalue":{"value":{"amount":"+0.7137925624847412","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":"Q2981949$382D5981-332F-42CF-9ABE-57EA72CEB0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c6228b061e9a85440d55abe730584449c2595c","datavalue":{"value":{"entity-type":"item","numeric-id":3653093,"id":"Q3653093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a104a6ecdaa5f06af223d039cfdf276acc975a0a","datavalue":{"value":{"amount":"+0.702243447303772","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":"Q2981949$AEBCC6E3-6F14-402A-B025-AB0AE88CDA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88bbdecb1464c7031c528e86911d6ed579bf9eed","datavalue":{"value":{"entity-type":"item","numeric-id":3628772,"id":"Q3628772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073a20a56cdce416b487eb91194495a243a72f5d","datavalue":{"value":{"amount":"+0.6986388564109802","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":"Q2981949$B39C1FD7-F628-4B08-8115-0C116FDE7561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ab4e1e073147b6c08198472359175dc79e489","datavalue":{"value":{"entity-type":"item","numeric-id":4917199,"id":"Q4917199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd20b89d9a6df15fde43e7e8607fa0919b6ac31e","datavalue":{"value":{"amount":"+0.6940011382102966","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":"Q2981949$4F45B994-0E4C-4B48-B35A-5746CB31E6E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebras and coalgebras in the light affine lambda calculus","badges":[]}}}}}