{"entities":{"Q4792944":{"pageid":6822524,"ns":120,"title":"Item:Q4792944","lastrevid":74518992,"modified":"2026-04-14T23:06:28Z","type":"item","id":"Q4792944","labels":{"en":{"language":"en","value":"Double categories: a modular model of  multiplicative linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870266"}},"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":"Q4792944$FF247E0F-697A-43C0-A5B0-C17CB6074DA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"293ed956b99e89ae274ea8101afff086fe8000a5","datavalue":{"value":{"text":"Double categories: a modular model of  multiplicative linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4792944$014CB96D-30E1-48F4-8C16-AE0A2D38D704","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"819765c951f3bb96797313cb5b11d536aa3e4baf","datavalue":{"value":"1022.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792944$D31EE85B-E3CB-4908-B5D9-A90A5B927D0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cd7edd1dca09c937962c6f9765406b7ebde5efa","datavalue":{"value":"10.1017/S0960129501003498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792944$10BD12B2-C154-4DD6-AC66-5CA419E8CA55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4792944$FF5A231E-21BE-49D3-8968-BD1438606B7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4792944$4AFE9004-B34F-473E-8D19-072C6C055569","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc9850e51af9b48177bd9b8d16476ea1f638dc00","datavalue":{"value":{"time":"+2003-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4792944$37B2E991-788B-47DF-826B-770D301DD415","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792944$036E2CC8-5366-4C79-AEDD-A355E0CC7193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792944$6A2A27CE-7F58-4598-8DB9-E7DAD60DCA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792944$EBA837F1-6271-4DEE-8ADB-B77ECAC3F4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792944$7BDB2B0C-729D-4606-8282-051818C8843C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792944$3B97F646-18C3-4AE1-97D5-B6687D3294F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"953ea193eec30822330d05d8cc62d08836587a81","datavalue":{"value":"1870266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792944$304F50E3-927C-4F23-B6C6-50C3AA5FA907","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826aa903307d15b75ee129680ac51124fd56ec2f","datavalue":{"value":"double category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792944$78266451-9893-4886-B8AE-DCD724A0CE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb3dba2e3101ff02a3d4c91a5e3662b5f0fa3a9","datavalue":{"value":"modular model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792944$AE386C03-C84F-4A92-835A-FA9126F1CE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792944$01C78372-37E0-4B2B-80B9-4DC20AB9F6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef07b3138676aab0c29826b8e961bd9e50153980","datavalue":{"value":"multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792944$55399179-2D66-49CC-8A9D-A8260C1A9488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a7d41d5210aea0dd8008059442be478e8f9001","datavalue":{"value":"*-autonomous category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792944$E09B5936-F390-4856-9FA3-AE3E3DB802C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4988e5e40921b1bf7be0dde48252438edc6a3bb","datavalue":{"value":"proof-net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792944$71F2B193-DBE5-4103-8DE1-9E19EE015AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792944$4B076465-9209-47F3-A61A-41844AF817E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b2ed3c130c30bac7174fa9b54a06645cc1227f","datavalue":{"value":"computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792944$58EA06BC-23FD-4596-9D96-56300E503A56","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":"Q4792944$2B26DEC5-8264-44F5-9028-85F6DF78A192","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5223934b2dcc5ad6bbba44173fb1b757ab79b1f9","datavalue":{"value":"https://doi.org/10.1017/s0960129501003498","type":"string"},"datatype":"url"},"type":"statement","id":"Q4792944$58E5B9D1-AE76-4D41-B253-064C2A8798E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cca6a3324171208c2117f4b5bf787e24b1b4ec4","datavalue":{"value":"W2094385683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792944$B8278D83-A5F7-4222-864C-20CD0A78BAE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f3b8cb02bf477e36f660ce4fc79822e18b8ca7","datavalue":{"value":{"entity-type":"item","numeric-id":1766921,"id":"Q1766921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7500b47fc48ff29370429b77fcb522ae5293bfaa","datavalue":{"value":{"amount":"+0.7807134985923767","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":"Q4792944$C7DBD2DC-935C-41FB-9151-104ECAD05C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31060e3f577fb75f63334367614882164bb64a90","datavalue":{"value":{"entity-type":"item","numeric-id":5311252,"id":"Q5311252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86e906321c2f6e5d08823083f3d20786365dc40","datavalue":{"value":{"amount":"+0.7576762437820435","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":"Q4792944$02D9F468-16BC-4E5D-A3C6-F948FADC636E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd827eacbfc809706753b656450e4e302b5167b","datavalue":{"value":{"entity-type":"item","numeric-id":5310668,"id":"Q5310668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6a10beda7354fb1c693f3554f34802641abd55","datavalue":{"value":{"amount":"+0.7539659142494202","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":"Q4792944$EC14365A-7D85-4284-B167-161D2DB5E785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2ded22eaab99453233cdb2acd3015e85b44c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5434527,"id":"Q5434527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f5ca184c3c1c2523e222cda0434425167ef344","datavalue":{"value":{"amount":"+0.7492144107818604","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":"Q4792944$7091D0C5-60F5-43F1-A0BF-BDBB75908EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a701017b85a2db76a29bf8a133d25557ba0649a0","datavalue":{"value":{"entity-type":"item","numeric-id":3371527,"id":"Q3371527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17dca1e5ecf1a7dc6edaba09c184198ba7074785","datavalue":{"value":{"amount":"+0.7478809356689453","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":"Q4792944$CFD439B7-2684-4334-8CEB-6EA45D3AC664","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Double categories: a modular model of multiplicative linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Double_categories:_a_modular_model_of_multiplicative_linear_logic"}}}}}