{"entities":{"Q5310668":{"pageid":7340242,"ns":120,"title":"Item:Q5310668","lastrevid":92118569,"modified":"2026-06-05T00:54:52Z","type":"item","id":"Q5310668","labels":{"en":{"language":"en","value":"From Proof Nets to the Free *-Autonomous Category"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200138"}},"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":"Q5310668$D585194F-EADE-4912-8F21-0F2124BE05A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73700360e73b3fe3160308c21527af88d396e90e","datavalue":{"value":{"text":"From Proof Nets to the Free *-Autonomous Category","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310668$2B180AE0-EEE6-4080-887C-ECA91F07E863","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97b4dc8701b8b8c6a68950fae3627be9418c56c3","datavalue":{"value":"1127.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310668$EE2A0B5F-99BF-49B3-9AEB-4EBD10148E3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"852650e92c971a7e841f596d95b5a347dac6fe2d","datavalue":{"value":"10.2168/LMCS-2(4:3)2006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310668$9A5F5709-0511-4E25-A533-C6DA789375C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e6c1c3409e6d83bd78c8052a50125837ef1c940","datavalue":{"value":{"entity-type":"item","numeric-id":280834,"id":"Q280834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310668$42798DC9-D1E4-4E6C-9584-4E6298FE4B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310668$CE47ECC6-7FF2-4B3D-94F1-60EE6C425CFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310668$0AE67F28-8F6A-4924-828A-EDD647077575","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310668$69B60A21-25F3-4BEE-9051-EFD542C2FBBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310668$52D1CE0E-416A-4D34-8A70-44C03D95B6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310668$9D72BEFC-8181-42FC-A1B5-5B644B9687DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310668$1E139C49-12DA-436A-92C0-3BF81D18C6D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8eaec9872ec6b26ec8299386df4675eb14ac2294","datavalue":{"value":"5200138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310668$B5120C3B-76DD-420F-A730-5152D04FD189","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12bc41f61512ade0d18f57435e6c15e2f28728cc","datavalue":{"value":"full multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310668$3DEDCEB5-F932-46D6-B98B-78B50837E1A5","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":"Q5310668$BFFFF426-84D2-41DC-8A91-839FA974F19D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f854a91a63d8ab517a6af263cd61fcd6ae755148","datavalue":{"value":{"entity-type":"item","numeric-id":5741579,"id":"Q5741579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ab285b13b026e3fb0a22a429c672fecbde33f6","datavalue":{"value":{"amount":"+0.93442225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310668$1622EE69-B74E-4D42-9B7E-01ED6A9A5741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d7fe7665b9779afc2aa2e2df852fe9d3e2d0ef","datavalue":{"value":{"entity-type":"item","numeric-id":4928272,"id":"Q4928272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a7ab14ee5d4f18649f7047a8e6f20255393302","datavalue":{"value":{"amount":"+0.8940888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310668$1BC7D35B-A712-47A7-B2C5-AAA6E2EC3E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82eda5be90f125ba372717584a6d760240b3559b","datavalue":{"value":{"entity-type":"item","numeric-id":2078414,"id":"Q2078414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120ada147906b17074ca75685e68a90348568af7","datavalue":{"value":{"amount":"+0.89069265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310668$4557F8B3-018C-4586-9228-AA3ECCFCC32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f857457383f18050e51083e847776b0162beac08","datavalue":{"value":{"entity-type":"item","numeric-id":3560838,"id":"Q3560838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543df4e94da1dba792dd5f0f8b0ecc2dd935bdda","datavalue":{"value":{"amount":"+0.88683707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310668$47CF35CA-1361-43E7-BC34-4024790F90B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448a17555c07e0116bce6af2ae3982030aa4e6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4006228,"id":"Q4006228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a7f88a60a35d8c30bc9017fc2a93e985dd8891","datavalue":{"value":{"amount":"+0.88597274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310668$C9CF0529-FD7F-4D7A-B81B-75FC297A2289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a231acfbe73aed1fb01ddfe3677194f385003fe","datavalue":{"value":{"entity-type":"item","numeric-id":3613422,"id":"Q3613422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c0ea5a46d218f4b03b4290e38f781c16d913ca","datavalue":{"value":{"amount":"+0.8784012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310668$B58A522D-6051-4932-BB9B-3AD928CA1026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95552b22b5e0b217af0693c33451090c3d5350ab","datavalue":{"value":{"entity-type":"item","numeric-id":2303232,"id":"Q2303232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7b2c52164065e5a05dea0d167c17930f67fdf4","datavalue":{"value":{"amount":"+0.8747416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310668$7FB0C926-2B18-4807-BCE4-3326150B23DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefb6b6f5873af3d0e157b7ba434b25bc018b3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1092043,"id":"Q1092043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e018bb0e29bcb95bef75d880e0764b4035682d","datavalue":{"value":{"amount":"+0.87459344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310668$BB2B85CC-8F38-4E7E-BB40-64239B470200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69d73c5dee53293202141438ecb00ccbc345a71a","datavalue":{"value":{"entity-type":"item","numeric-id":2747705,"id":"Q2747705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd904fde0bcc41ad77d4bd458d9704dce7b7f6f4","datavalue":{"value":{"amount":"+0.8742401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310668$FF888B2A-845D-44B2-94F0-779EA8BCAE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8bab4eb01d5ff17b1baf1c8745b54016860e42","datavalue":{"value":{"entity-type":"item","numeric-id":1330310,"id":"Q1330310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38af3b16fbf6574f125c53d7a0687efb9d6fee37","datavalue":{"value":{"amount":"+0.87341934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310668$37FB0894-7087-4020-9711-07D46F16D055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From Proof Nets to the Free *-Autonomous Category","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_Proof_Nets_to_the_Free_*-Autonomous_Category"}}}}}