{"entities":{"Q1398479":{"pageid":1409219,"ns":120,"title":"Item:Q1398479","lastrevid":71094906,"modified":"2026-04-13T19:26:41Z","type":"item","id":"Q1398479","labels":{"en":{"language":"en","value":"A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956203"}},"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":"Q1398479$18E60D3A-465C-4A05-950D-95145EF6E386","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35394851572781d359a7969fce447557a8d6e24a","datavalue":{"value":{"text":"A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398479$B4EA2426-348D-4004-B3C8-D5C4E08F56F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0415be710593acacebdde4661a6dce9f747bb610","datavalue":{"value":"1029.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398479$6AE2D0C6-8BE0-47A7-8C4A-0E992DCAECE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00b39b660074d9b251fefd984c0fbafcd633f7d2","datavalue":{"value":"10.1016/S0304-3975(01)00178-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398479$05111A3E-20D5-4DC8-8845-F804126A55BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07da6141e61d14f40fca64574461dd10f1172df","datavalue":{"value":{"entity-type":"item","numeric-id":1327481,"id":"Q1327481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398479$7A802209-06C3-41B9-92E6-A381F7E64D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398479$7C7642BA-E931-4C3A-A5D4-F7E90B1C33C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398479$BFA51206-22E6-4461-9584-88A8757C9EF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398479$6D525467-3DC0-444C-9493-4E805E0101F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398479$2F7FED21-E01A-4460-A838-316B0B55C9F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b09f88f940baf11e3b507802ec1dd8d68e723c6e","datavalue":{"value":"1956203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398479$353A7579-3954-4819-81BC-24D8C6CB17AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398479$1EF441A6-7132-443F-A9BB-AA1D20664A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8230a611a98fb84134c25d2c8ed13d57cb68dbad","datavalue":{"value":"proof net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398479$105C8DFE-E3DE-4259-9976-BF1096275A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"432b2171620f10dd8679c6af223036cbc9bf2be4","datavalue":{"value":"sequentialization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398479$5DC3CF55-D387-41B3-9050-10894203A7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8192f11610279d466bb99aa31056e9f91f415eb7","datavalue":{"value":"planar graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398479$1B50ED62-BBCE-4074-8B0D-52E0E99FDE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9e4a53db5b06ceb6c226c9d29a808a10ff6492","datavalue":{"value":"noncommutative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398479$A0A5125F-5BA2-4486-BF72-8B2D0ABBE486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d2de05e89caab6105593951c0ba67f7d3cdfafb","datavalue":{"value":"Danos-Regnier graph drawing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398479$212DC2DA-94BC-47D2-8B84-B664ADA54FFE","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":"Q1398479$2650B130-7EA3-40B8-AE41-952D37416BB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398479$044F7E34-8C17-4D3F-95D7-DD9649D027B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9882011de34630b782ede56a4bc5bccd272367","datavalue":{"value":{"entity-type":"item","numeric-id":4842978,"id":"Q4842978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398479$DAF6E860-DD5D-40B7-937A-289C18CD21BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398479$74804BBA-8070-44D7-8A58-145220F055A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398479$66E90CD9-7813-4F05-9B28-3C2695787A47","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":"Q1398479$7F8734D2-B0E1-4988-952F-3ECA5828A5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866b51d9f47f6e0f43631011ad32113a6321fb96","datavalue":{"value":{"entity-type":"item","numeric-id":4222840,"id":"Q4222840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398479$BB1B0779-AF37-4CB0-93D7-81B32F48370A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ad965310e7644ec61576bb3fd650e8d914bbc3","datavalue":{"value":{"entity-type":"item","numeric-id":4013256,"id":"Q4013256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398479$A7BEAE28-16D5-40C9-A6D3-D354322A5176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"252b5ac009cdcdbbc971631c7d7c5005a4a39f5e","datavalue":{"value":{"entity-type":"item","numeric-id":4302342,"id":"Q4302342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398479$933E301B-0007-4C82-830D-46C98E0EFB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398479$B264EC3C-90FF-41EC-A591-BD2A79F4510F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f6ae724d94fc02309e7fcaa55fa471b1d6de914","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00178-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1398479$033A077C-8E52-4955-BA1D-65C6F01EB5AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba9095d32563f497758618a68f0877d2b678ec6e","datavalue":{"value":"W2063908436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398479$65660B2D-34AE-4FE5-962C-98936536A9E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c4dea8a0cf5beaa43fb3afb83afee0112a90f5","datavalue":{"value":{"entity-type":"item","numeric-id":4222840,"id":"Q4222840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a0d5682f83561f21269d3a155aa06c863c04a6","datavalue":{"value":{"amount":"+0.9919873","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":"Q1398479$32DB9A1F-6D7D-4F7A-B12E-BAA43F9A1708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618e3f32fe1f768bbf94a013cbc5ccbd7aa0db81","datavalue":{"value":{"entity-type":"item","numeric-id":4376071,"id":"Q4376071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b70b5ccef78e98edd83968bc70776431a498189","datavalue":{"value":{"amount":"+0.9176263","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":"Q1398479$FF0CBFBA-2909-436A-8E1B-B790BB6EAB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6ce60e7bd25e886c1b2e1444e812fce1a288f2","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfc6c12f86d253acda9d6a1a85164f54dfaffae","datavalue":{"value":{"amount":"+0.8929777","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":"Q1398479$E4FC6A5D-3993-453E-AD2A-D9CFBDCDAF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cfa5a292c05ae87a6d6dcbdb2ae28a02d2c098","datavalue":{"value":{"entity-type":"item","numeric-id":4328819,"id":"Q4328819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ce3059cc52f471f49950a03ca8af21ae27b7e0","datavalue":{"value":{"amount":"+0.8837902","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":"Q1398479$00045D50-B23C-4C94-B678-E9A662F65F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f322a3aa9ac3aa27f8819b9fbbf4692c1c9f32","datavalue":{"value":{"entity-type":"item","numeric-id":4650584,"id":"Q4650584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39341301a90d70f4459fc4e74d298f8336e74088","datavalue":{"value":{"amount":"+0.8774748","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":"Q1398479$48C37188-3828-48E7-80C6-D22C3D32F776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300bee42bbbebd513bde4a2f93a6feb946f320d4","datavalue":{"value":{"entity-type":"item","numeric-id":4972728,"id":"Q4972728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e50c21528b5f4e69ee1a1fa3ede6e090e54fd33","datavalue":{"value":{"amount":"+0.8688687","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":"Q1398479$26D33319-CF32-4795-A969-F59433C7B19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1610ca0e2402fc904d3b4c00d63a72f44fcaa2a","datavalue":{"value":{"entity-type":"item","numeric-id":1398470,"id":"Q1398470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def39d1d7575a44dafa1a47c27e411e5e2f354d8","datavalue":{"value":{"amount":"+0.8642478","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":"Q1398479$11AC818E-2487-4CDD-9CBC-8B8DE44F62D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f4f24e5b31a119bfaf31440de1f35a40cda904f","datavalue":{"value":{"entity-type":"item","numeric-id":2500490,"id":"Q2500490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc484a439d4caad4f44bd38ad6ac3fa67899df61","datavalue":{"value":{"amount":"+0.8630574","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":"Q1398479$F4190E46-B410-425A-BBB4-73737B4B53D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eecb468e7208f25013a7b9025313310e990a4802","datavalue":{"value":{"entity-type":"item","numeric-id":2842824,"id":"Q2842824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4a850c08d384d6cb9c212cd7ce9d1d898f8712","datavalue":{"value":{"amount":"+0.86221457","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":"Q1398479$470A8AA9-1E90-40E5-AD63-59E83CD4FB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27203c74525da13d1a8e9570241c7eccdf988f38","datavalue":{"value":{"entity-type":"item","numeric-id":4599613,"id":"Q4599613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40622a6da4eedfdb1c3004eb54f72159b2e9d0ee","datavalue":{"value":{"amount":"+0.85988045","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":"Q1398479$FC2F32FB-0FA8-4054-804A-68A7A1512C2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_graph-theoretic_characterization_theorem_for_multiplicative_fragment_of_non-commutative_linear_logic"}}}}}