{"entities":{"Q2134838":{"pageid":2145581,"ns":120,"title":"Item:Q2134838","lastrevid":78464033,"modified":"2026-05-06T11:39:22Z","type":"item","id":"Q2134838","labels":{"en":{"language":"en","value":"The sequent calculus of skew monoidal categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7517285"}},"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":"Q2134838$7554357A-C212-4168-A0B6-43B89722C874","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f9dff0d787023160358f6357683a25e1fa599f1","datavalue":{"value":{"text":"The sequent calculus of skew monoidal categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2134838$D6220061-A423-4713-B573-C2B2511FC80D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$3BCFE65E-ECEC-44AF-AFFF-EDB44837FF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39a632e645d6ba105bdab27ef952da1f8327439","datavalue":{"value":{"entity-type":"item","numeric-id":1675788,"id":"Q1675788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$5DB4DC35-5DE7-4EFD-90FD-20B3F467F71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05f377508bb60773fd982917157c68668b1c0938","datavalue":{"value":{"entity-type":"item","numeric-id":2133465,"id":"Q2133465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$E1441F51-45CF-4771-98A4-EC374E0A6A9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afbd7d3edc8a02a1b73fe682e853836b4c0f09d3","datavalue":{"value":{"time":"+2022-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2134838$EEE21123-F77A-44C9-84D0-67E974572B03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134838$CDD9206C-1952-4A34-B91B-82B07FDDE904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134838$19A0029E-3C6B-4E8A-984D-BA41F41584EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af1ab63d6047be3ac6fd419ae75c1582ce58c61a","datavalue":{"value":"7517285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134838$D009CBBE-BFDA-4A46-BE1F-8D00E6BEE95C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64ed22c931f285b0e7c25c62eeaf5458ed8af7c5","datavalue":{"value":"skew monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134838$4DD8E5ED-371D-432B-9EE3-53E0965FA982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134838$C6B5090C-A85A-4C75-9701-6A07AD143B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134838$EE0504D8-8A32-43D7-9EE8-5DAE7DA661C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815136a4ab23fdf95ae5d21a7a6f5b6bfa5bc788","datavalue":{"value":"nonstandard sequent forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134838$5C7DB155-4820-4840-801C-FC769489A6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b117cf251cec88c66a52b2392d0867e5e86e7ff8","datavalue":{"value":"cut admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134838$E7398AC5-7BDE-4CA0-A434-DDC098FD904F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134838$704942C4-6FC3-4419-9A1C-D3734A4E909B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134838$2FC027E3-8FB3-4170-B8FC-43994E1E704C","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":"Q2134838$66D2A8EE-7181-49F1-BA35-DA5AED89E238","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9d9e45d577728fab9d455d92d38a44c2e9cea640","datavalue":{"value":"Q113317479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134838$A925AABA-0778-4ECD-AECE-FD0E664B4ACC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7ef6b124c9779c746719352962e63a752f61be4","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2018.11.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2134838$8DD60BA1-0DCB-4B7A-BBB8-A2A8B68E31C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b777f908de85daa8026d9bb2efd16b90c3d3070f","datavalue":{"value":"W2903754311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134838$C161298C-F288-4996-B58C-DF1396607017","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb3093a2facd758e8e5efacce4a1e6e068d684b","datavalue":{"value":{"entity-type":"item","numeric-id":5177334,"id":"Q5177334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$C483C6E4-25B8-48F2-85BE-E855E720E4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$CEDA156F-1096-499D-9CF6-E329D250674A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2266224524b59688f3f5f36049c5d735368d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3848220,"id":"Q3848220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$57011389-5E6B-4BA3-9703-999954A74373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff8746a88e401df0abc7f19856fd97c1784c7a8","datavalue":{"value":{"entity-type":"item","numeric-id":1748410,"id":"Q1748410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$DAD4EF28-E1CC-4FC3-9434-123259B19BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e317abe9fffee248b9ecb22bddfbe1d2b81a8984","datavalue":{"value":{"entity-type":"item","numeric-id":1647335,"id":"Q1647335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$DA088D26-653F-4570-BD11-D6FE6633B3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"655851c581e89dacba2f85e58defeb09d60f710f","datavalue":{"value":{"entity-type":"item","numeric-id":5360301,"id":"Q5360301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$ACED4819-D369-4AD5-9777-37FC54EF4C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c313607c5b1e0df9ac4308367c819e2105df73cc","datavalue":{"value":{"entity-type":"item","numeric-id":2555556,"id":"Q2555556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$34D58C11-40A7-4CFA-8373-BAEB182502CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d4dd3644e100b3a9bdb7f932463c1e039cd8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2919770,"id":"Q2919770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$A7C8D98F-582A-462B-AC1A-5028FFA5E3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7093a84e71597936873b55b347c7fb01007f7ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2445835,"id":"Q2445835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$3667AC8E-2152-4410-85B3-86A3AE40DD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$6B8C4B69-CCF4-44A3-BF2E-652137CA4CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a157f95ce44496470651a21b767404fdc4b38","datavalue":{"value":{"entity-type":"item","numeric-id":3159161,"id":"Q3159161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$926B5909-BB87-4C5A-8C36-EE56F184A175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$0D461DC9-2C55-4C95-B318-56A3C875F06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$45FC1161-A872-41A8-9827-F3C7C582C026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2c596a7c2c4b963e6a330ae5d7ce2747e0084b","datavalue":{"value":{"entity-type":"item","numeric-id":408584,"id":"Q408584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$5C1C22BF-A1D7-4710-847A-02B982C82399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b127a2ffd1fcbbeac06e83d274abbbcceeb0621","datavalue":{"value":{"entity-type":"item","numeric-id":456777,"id":"Q456777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$0E873BF4-3BE6-4770-8A90-03B4020DA41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab272871e16c02bf0f9842997cb0812a070d639","datavalue":{"value":{"entity-type":"item","numeric-id":4995162,"id":"Q4995162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$9AE7D769-6BAA-4C7C-A25D-B52B41D7F4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee191de69136918249efc60daa2f2828c4c260c","datavalue":{"value":{"entity-type":"item","numeric-id":5111331,"id":"Q5111331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134838$BB2B1E83-AE4C-486E-8CC4-C109DF4BE00B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd9cba4725bdf7ad4f27881bd959039d69347311","datavalue":{"value":"10.1016/J.ENTCS.2018.11.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134838$90E82B4D-BBFE-454A-8BDA-7422397EDDEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c62e8ab7d326c96915dd2790d9e25c5af350aef6","datavalue":{"value":{"entity-type":"item","numeric-id":5014602,"id":"Q5014602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e7e1e50000b247005ae287d3d4945c49cce223","datavalue":{"value":{"amount":"+0.9833487272262572","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":"Q2134838$657C9753-1C5E-4691-9436-E11883F44B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d05dbb852118b7f252e8a43092c6ccd6c488bb0","datavalue":{"value":{"entity-type":"item","numeric-id":2445835,"id":"Q2445835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c37ad62c5223a80b1e5bd5a358b28b05edad8c","datavalue":{"value":{"amount":"+0.928100287914276","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":"Q2134838$5AE9B9C5-5B06-4CCA-B199-F148D851F91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe0f958ba10f44905cc8d86b879620df55c13f8","datavalue":{"value":{"entity-type":"item","numeric-id":5019679,"id":"Q5019679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cc04f974a82c8cee7a95e38508785cfa0df4b4","datavalue":{"value":{"amount":"+0.8984361290931702","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":"Q2134838$6E3CC98B-A835-4E61-AF6D-1FD1204B6E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c03365d07dad76b65c59f1404f975e08ff4ec47","datavalue":{"value":{"entity-type":"item","numeric-id":1701176,"id":"Q1701176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e30b2eb834ca7f0f1c585d3c6c57be60fc2885","datavalue":{"value":{"amount":"+0.8387972116470337","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":"Q2134838$30D36478-5B6B-457E-9747-277E7245C942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eac855b811f1b970acabfcc819dcc4856f74155","datavalue":{"value":{"entity-type":"item","numeric-id":4995162,"id":"Q4995162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3073d31eb24edd28b664776e4d6a1f04fbada0d5","datavalue":{"value":{"amount":"+0.836558997631073","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":"Q2134838$9B57BE5F-8D5C-4BD1-8896-1FA49222F5FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The sequent calculus of skew monoidal categories","badges":[]}}}}}