{"entities":{"Q4328819":{"pageid":6358420,"ns":120,"title":"Item:Q4328819","lastrevid":81698321,"modified":"2026-05-06T19:08:43Z","type":"item","id":"Q4328819","labels":{"en":{"language":"en","value":"A new correctness criterion for the proof nets of non-commutative multiplicative linear logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1735279"}},"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":"Q4328819$C5AC52FA-F35F-4BAC-B1BB-3D3F7AFA6025","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"339294a59e65856429f5336b82e8790847afc5fb","datavalue":{"value":{"text":"A new correctness criterion for the proof nets of non-commutative multiplicative linear logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4328819$2C193861-026B-4091-8794-FEF65BF5DC02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2be033c33eb94f6ed46812378d9d3fdfd5befffc","datavalue":{"value":"0994.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328819$839D75D3-1D06-4268-B4B1-EF4F3A62CD73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fd6e97c77ae4d71ff4be45a2dd7e46b78cfcf33","datavalue":{"value":"10.2307/2694960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328819$FF6BF3C1-E939-42B5-A83C-EF2A72B57847","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":"Q4328819$A76EC1C4-1AD2-4797-939F-BC93ED06306B","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":"Q4328819$89776D5A-BC83-4BCB-8B1D-03273D024F10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328819$7E7C5BEA-BC8B-4410-AB50-CF3CFA59537B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5705bd9f0e813eda9f9c64dbcea1917221995f5","datavalue":{"value":{"time":"+2002-10-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":"Q4328819$60EFA282-0619-45F9-87D1-929AD9682921","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328819$B2097F96-EBC5-4F02-8775-BE38DEB50961","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5a8eccd9a4aede4d981dc9ae16bcea9168944be","datavalue":{"value":"1735279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328819$C1E06B5F-CB17-4C3E-8E4F-5181162AFAF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328819$F8365335-BA41-47F7-A6E5-E9A35FF60B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7ef6a6dbe3f6818e8885b9872ec6cd3307cfed8","datavalue":{"value":"correctness criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328819$AA1B3EC6-B392-41CE-8434-3C8D7EC9CBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d246a4f3c3808af0626ba3c7b1805abfdb82226","datavalue":{"value":"marked Danos-Reginer graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328819$0259302C-CBA6-4D19-A12C-2DCEB4B90FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc6d093e1dfbbb6690481d8003016ba5249a9f4","datavalue":{"value":"Multiplicative Cyclic Linear Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328819$8F20FED1-8FC3-454B-B8FF-E3253721CCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cac9332b308f59a6f6127e25d535a9104e5af32c","datavalue":{"value":"non-commutative Linear Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328819$99E271FF-28CD-474F-8AA3-9ADAD33538C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6087ef464789e47037c1c0da166ef23ad904355b","datavalue":{"value":"algorithm for the correctness checking of proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328819$891744A4-0E29-4101-9DA3-24F1AEE3C060","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":"Q4328819$EC256AFF-A4B5-48AB-936F-1C8F69586E3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b46a40c149a14ea80b6990547eaea604b73d60c","datavalue":{"value":"https://doi.org/10.2307/2694960","type":"string"},"datatype":"url"},"type":"statement","id":"Q4328819$591E3D2D-8BA5-4C55-9BD6-F5A027B72F11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce516b848979c951996e3815d7cc1dc214e3cac1","datavalue":{"value":"W2048460490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328819$E6B5CE0F-ED54-4AA3-921F-88C8D4EAE097","rank":"normal"}],"P223":[{"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":"Q4328819$F35B64E4-10D8-4712-97AD-4E27C765429B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb6d330b0ba17ea9706ff485bd2cc7e5caf6771","datavalue":{"value":{"entity-type":"item","numeric-id":3883524,"id":"Q3883524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328819$E087036A-DCAE-43B8-AC78-8ADAA1C2FED9","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":"Q4328819$CCA0A6BD-0AE9-42DA-B117-199B5AFF8564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6601d282ebd0f221ec910ff490d3669a9666ee","datavalue":{"value":{"entity-type":"item","numeric-id":5689034,"id":"Q5689034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328819$A37466C7-B977-48FA-9AAF-74319696D3CC","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":"Q4328819$3C2BE53B-A467-400F-8EBA-D7CEB90C6FA1","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":"Q4328819$B1D42AF7-C982-4313-AE48-767EAF4138EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f58db0bf19693bc9b5dea5a21561da7592d3e3","datavalue":{"value":{"entity-type":"item","numeric-id":1407588,"id":"Q1407588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c2d87a3eac1d599a55634a641c3a79f949c815","datavalue":{"value":{"amount":"+0.96954316","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":"Q4328819$431AD944-4F84-4BD8-966B-09BCA70D8E90","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":"d9861b72b045ae28abab66523c838b479eb8ee75","datavalue":{"value":{"amount":"+0.9172646","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":"Q4328819$C8826EFF-F772-4257-A704-6EE97B03C9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23c2a359e5d7ca10b36dedc183eaba71aaa1eee","datavalue":{"value":{"entity-type":"item","numeric-id":1960420,"id":"Q1960420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b695d834618a3b7dd3edec05f84ffe0cfcc9c060","datavalue":{"value":{"amount":"+0.9142457","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":"Q4328819$DCCA5B16-F39D-4C34-B429-F9D983E75A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0091d5e5747a0bd36de97ece545da51ab5098b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4223029,"id":"Q4223029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219c02848d3e22d31318cbf9d03963c9e49b7a6c","datavalue":{"value":{"amount":"+0.9095011","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":"Q4328819$8852D90F-CE74-4AA3-A998-B93E50C957C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f25569916a6af76d970bf09be43653e8ac2c4e","datavalue":{"value":{"entity-type":"item","numeric-id":5377696,"id":"Q5377696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ac68d5dad3bca55d2afef2502f3c1c91409443","datavalue":{"value":{"amount":"+0.9077774","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":"Q4328819$ACC40E72-AB01-4C3D-93A6-6D1380334A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5244dcd298cd7d19a58fa3ba4abd23dbadac9d6","datavalue":{"value":{"entity-type":"item","numeric-id":2119124,"id":"Q2119124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e404d1245efa8da53af41b030cb57abbfbfdf1a5","datavalue":{"value":{"amount":"+0.90496653","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":"Q4328819$BE41713A-2B20-4BEA-B84E-BDC6E3D590EA","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":"2d22e8115a06bb7d3b6baf095f60a05c527c4205","datavalue":{"value":{"amount":"+0.90260243","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":"Q4328819$5B1BF7F0-A801-456B-A5C4-953975531B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adaf9e5c4cf3fabf8f4ff510bb69d809d2787c6","datavalue":{"value":{"entity-type":"item","numeric-id":4501135,"id":"Q4501135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5325475151831b65e41558238a75405a014eecb","datavalue":{"value":{"amount":"+0.9002464","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":"Q4328819$CD49AB68-3CE4-4089-AC62-F1F789A4CA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b37468d28424d36c3021152c551704c3d423fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750b3fff04b47fbe6e83d2838f48e62c5fd95d17","datavalue":{"value":{"amount":"+0.89661425","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":"Q4328819$2380AF8A-16B0-4663-9437-AA8501211AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d124ced210b5a910800c0a9a70e8c471fc29415","datavalue":{"value":{"entity-type":"item","numeric-id":4635623,"id":"Q4635623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0920d2ab6f1ff12942a0ef20b96211a94d541b8e","datavalue":{"value":{"amount":"+0.8935722","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":"Q4328819$4249C24F-CA5C-43B7-8B75-A96B74123A8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new correctness criterion for the proof nets of non-commutative multiplicative linear logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_correctness_criterion_for_the_proof_nets_of_non-commutative_multiplicative_linear_logics"}}}}}