{"entities":{"Q3646423":{"pageid":5676329,"ns":120,"title":"Item:Q3646423","lastrevid":87556790,"modified":"2026-06-04T11:59:04Z","type":"item","id":"Q3646423","labels":{"en":{"language":"en","value":"On the categorical semantics of elementary linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5636670"}},"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":"Q3646423$CBF1B83E-74C9-443C-92C6-EB4C572A6C54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f60e83552f562bdf47542cb34ddede904a1f28fa","datavalue":{"value":"1201.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646423$428551E4-F7FB-4F5F-8537-1190E86AC671","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f594722cafe5ce1c947afb897f11796df18378c5","datavalue":{"value":{"entity-type":"item","numeric-id":556823,"id":"Q556823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646423$B498571C-9252-458D-B229-1AC948997C53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4d910a529290b491678d779dfe245e180323f1f","datavalue":{"value":{"time":"+2009-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3646423$5AA43B4E-999C-4DD6-9273-B1DC1FEDD9CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45ee0878a9f75a6a253e06d00b23b34d04bb7536","datavalue":{"value":"https://eudml.org/doc/228755","type":"string"},"datatype":"url"},"type":"statement","id":"Q3646423$5CDED01D-E19A-442A-A0B7-C0243BA57FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d504a551313d2c6d25f154a17cfa9c55d1a2b43d","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/22/10/22-10abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3646423$C643B45B-BD31-40E0-B715-7BD59E79F576","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646423$CB25F118-FB07-48F4-8667-32FEFD48BD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646423$516D7182-9D13-400F-80A0-6745693F25C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646423$BB183C78-E494-493F-92B6-F51ABF2F1812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d370b654990b3f8b992b14d91093ac2dc40a4868","datavalue":{"value":"5636670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646423$45CC53C9-CFAD-4CF2-9CC7-D34354678F33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb9bd16289394d4b4e18ba4f1225667a9952255","datavalue":{"value":"monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646423$3204C8FF-066F-40D3-9CA6-BFABD4A7A287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"946cc5bfb2854e7b4a827b1e352d6fb2debc4fdf","datavalue":{"value":"elementary linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646423$C1574AAA-AADC-4DEB-9661-CAD0732992F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646423$35BCF8EC-D7C3-4791-BF1C-06F5FA37CD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646423$F5B4E1A6-C42D-4344-809F-E3C1B0A754BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5d4a5903cb906359b2ac7eb1546c12bab6aebeb","datavalue":{"value":"Seely category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646423$8A83F3BD-7865-4164-B7DE-D3AF73B021E1","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":"Q3646423$8EA1BD43-429C-459F-BC1D-6D7FBB252379","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"328abfbbaf8ef7629981f2e175ae32372f2f4754","datavalue":{"value":"bafkreifa7sv5q7uvjffm2lf3szzn7f7wlbhj6vu5ztnxn7k4oswmrpsaze","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646423$1C7CA651-E5A2-47AF-8803-031A0DBF06DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be723dc276127637240b81a4dd062cc4f1eace1","datavalue":{"value":{"entity-type":"item","numeric-id":5251192,"id":"Q5251192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb0671c0eb37e18cb31f5b1bf633b9e50f91027","datavalue":{"value":{"amount":"+0.8268979787826538","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":"Q3646423$EB216338-137D-48E5-A951-AB18B06E9A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1301fb52b89ef74f42f456c47fc225033b134c8","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce058ecf490dfbb697c0f7248409dd9e425e0c6e","datavalue":{"value":{"amount":"+0.8239901661872864","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":"Q3646423$C3267C1A-AFB9-4000-860E-30EB282B4BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2764cdaeadbdaeff09cd28d2c1c27356dd0e700e","datavalue":{"value":{"entity-type":"item","numeric-id":2921113,"id":"Q2921113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be3ea29c482a116c56007efc29890e7039d83205","datavalue":{"value":{"amount":"+0.7958153486251831","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":"Q3646423$8AFF4C81-29B9-4F16-811E-074CB44E931A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656736a0c8119672175ff38c7b9d1d8d6ce696b2","datavalue":{"value":{"entity-type":"item","numeric-id":5150148,"id":"Q5150148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f98208714ab8a59b7dec97f088ef6306437b08","datavalue":{"value":{"amount":"+0.7910382151603699","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":"Q3646423$6F8EBE05-E884-4867-8718-2056FD8B35D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13da0b5ce7f4302cd8c512dd1ba84b41a556861","datavalue":{"value":{"entity-type":"item","numeric-id":5466507,"id":"Q5466507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9005c33001176f872b1e8acfeed6a70796354725","datavalue":{"value":{"amount":"+0.7901222109794617","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":"Q3646423$C0DC69C8-21E5-41A0-87E0-1E18653CB5FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the categorical semantics of elementary linear logic","badges":[]}}}}}