{"entities":{"Q5014602":{"pageid":7044179,"ns":120,"title":"Item:Q5014602","lastrevid":92082452,"modified":"2026-06-05T00:49:23Z","type":"item","id":"Q5014602","labels":{"en":{"language":"en","value":"The sequent calculus of skew monoidal categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440912"}},"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":"Q5014602$CBBC252B-9D5D-47AB-80C5-4928D8A9E7B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af702e358950d374a73377c2e7c8c7fb6d78224f","datavalue":{"value":{"text":"The Sequent Calculus of Skew Monoidal Categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5014602$508D660D-1C93-402D-AC2A-795C6ED7E72C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"632ce29419e81394fe0463e7060aefa8c2ee8485","datavalue":{"value":"1495.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014602$58E7116A-E6F5-4530-A742-1D470BF59BBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab1cb1fc25098307910cd92c10f867ae1b7f0756","datavalue":{"value":"10.1007/978-3-030-66545-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014602$7875138A-4345-4777-B6F9-98209105AE34","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":"Q5014602$5D98DF74-FB42-4C7C-A988-BAD080187CA7","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":"Q5014602$D520DFC1-C7E1-43E3-B9E9-4603152A606F","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":"Q5014602$A5D8328A-988F-41F0-B7F4-917CBEAEAA2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62a3471f94c81cb96bfd2e9650f3fc43bb4d94d5","datavalue":{"value":{"entity-type":"item","numeric-id":5014591,"id":"Q5014591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$956EC40A-7EF1-4079-8193-996101A54DFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014602$FD0B8115-3E93-48E9-A6DA-E49E4A6C635F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fbeb6b66bfc43b2cbf5c984c9ef0e6b7728c1c5","datavalue":{"value":"https://arxiv.org/abs/2003.05213","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014602$3FA58FED-2895-4299-8BE0-88B54D844CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb31734572d2a96d5f58f231a02aa14f0ee2ebe5","datavalue":{"value":"http://pure-oai.bham.ac.uk/ws/files/58786026/1_s2.0_S1571066118300987_main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014602$40D3B6EF-BEA5-4708-8FCD-2BD1CDEC9A70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014602$23848B19-FC04-445F-8172-7D5FD5878C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9182fe72874242a6deecfe62c63bbf9bfe31c485","datavalue":{"value":"18M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014602$E5E7BF20-D00B-44C3-B494-B12D51356938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014602$8843F4F4-C0E1-4E58-8811-7D74143B5C4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b99eb36d7ff989aaca4098ae3ebe1863d7a3cfb0","datavalue":{"value":"7440912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014602$336578E6-C776-4915-B083-1245C29A3BE1","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":"Q5014602$36CE5251-4293-483E-A804-322F579C9E86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"192a7468f3885767ae24e1d44e317709031980a2","datavalue":{"value":"W3011585936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014602$54F67474-3F16-44A8-A0BD-83D6F31FEC48","rank":"normal"}],"P223":[{"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":"Q5014602$933DED0E-BF04-44FF-91D0-97C0154920B8","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":"Q5014602$0D7A21CB-0A94-4F4F-8721-511B6D2C6077","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":"Q5014602$8FE27A67-886C-4E4F-A860-D2FD1EE55810","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":"Q5014602$EC08C7F3-1991-4C9C-8A2F-9C1774432F34","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":"Q5014602$945E07BA-0A73-4693-915D-D1F617C2DA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e1abad58edc37a181cbdf1a1caf11deac6da49","datavalue":{"value":{"entity-type":"item","numeric-id":5268450,"id":"Q5268450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$C266FBDC-AA2A-4CD7-86CA-5E64BB558B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$CE8C7DA5-1B35-49CF-8E36-572599E80A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$E68E5363-E2DF-45D0-9BD1-E5BBEFD372FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb94e327ce05a7e48547aafac5c5b072633ed2d","datavalue":{"value":{"entity-type":"item","numeric-id":1570232,"id":"Q1570232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$8A42709F-3049-405D-B48A-96459938D726","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":"Q5014602$24FF0C4C-ACD6-4A43-9B5A-469EAEC7AAC3","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":"Q5014602$18B7CA23-3072-491E-BF58-6DDBB6CE2F9D","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":"Q5014602$FAEADF56-EE32-43E2-B7DD-DBD2FD7BE5E8","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":"Q5014602$7E557BF7-507B-46A0-B101-42B16DC09AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$9A538F40-C3BD-4E48-97A3-A6B4A178C138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$2C1622F6-6130-4DF3-85CA-7A8858B02B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05087253c3164ea7978f0a24612b46131e225dad","datavalue":{"value":{"entity-type":"item","numeric-id":4735315,"id":"Q4735315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$E63FEBF7-E357-42F1-BC81-50D9F2F6D163","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":"Q5014602$E948276F-B5C0-4E62-B4B6-3D49D2DD0119","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":"Q5014602$8B507BAB-0AC7-47A8-A549-B57A6CAC506E","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":"Q5014602$3EF06F52-D956-4D9A-A0E4-884807383F5E","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":"Q5014602$A9B3C591-ACBC-4C8C-B09E-A268F20496B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a045b2d0227e534aa3b20c3783f27dd186aae4","datavalue":{"value":{"entity-type":"item","numeric-id":2376553,"id":"Q2376553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$B7DF58C6-5921-425C-A18F-DF0FB94A1741","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":"Q5014602$2D05693D-B3D6-4B08-8850-28A6293C5EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204d4b27ff672a29fa4ef105a33cccadddbcd4db","datavalue":{"value":{"entity-type":"item","numeric-id":5825705,"id":"Q5825705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$83C211FD-0AE1-4F48-9379-A814CF2B4DFD","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":"Q5014602$93894665-E920-47AE-94C6-9D17A02511AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278648853a0ffc36dad4779bd9786f303072440","datavalue":{"value":{"entity-type":"item","numeric-id":2134838,"id":"Q2134838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$1C28978C-BC06-4490-B454-FA8FEE09F272","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":"Q5014602$5170F473-2659-4461-ADE2-7D97A2DCF50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5905cd8c9e0d8c6187ee37e10508db999ed4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4625697,"id":"Q4625697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014602$C46625E2-ACDB-4B6B-B796-1ECF6328CB7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7accf1cefd15568cfdb97436e1f2d64fc7842a6d","datavalue":{"value":{"entity-type":"item","numeric-id":2134838,"id":"Q2134838"},"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":"Q5014602$78E8BD6E-4533-49C2-BD70-4A10D19B40FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc28f432668913325d5fdd6c26f5f91bbc63532","datavalue":{"value":{"entity-type":"item","numeric-id":1748410,"id":"Q1748410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2260582937148097052f59455d60b92588edb3a","datavalue":{"value":{"amount":"+0.9242689609527588","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":"Q5014602$A7649311-8305-4EEA-B58D-0D425A33BC21","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":"d5e4320d80cf310049b42c8647ccc539843b1ec4","datavalue":{"value":{"amount":"+0.8926279544830322","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":"Q5014602$FC13CF78-7211-4C5C-BC35-9BFE564A83D9","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":"e47300e5b98bebb637520f5bcaece2732fcfd21f","datavalue":{"value":{"amount":"+0.8685742020606995","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":"Q5014602$2A47B953-870E-4988-87BE-6246DB493F66","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":"d49ce1125e308ada33ff4c5c8fbb332e5f14b363","datavalue":{"value":{"amount":"+0.833709180355072","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":"Q5014602$42F332DF-BF21-4163-B8DA-85BAC28DB72B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The sequent calculus of skew monoidal categories (scientific article; zbMATH DE number 7440912)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_sequent_calculus_of_skew_monoidal_categories_(scientific_article;_zbMATH_DE_number_7440912)"}}}}}