{"entities":{"Q4938434":{"pageid":6968016,"ns":120,"title":"Item:Q4938434","lastrevid":108549350,"modified":"2026-11-06T22:56:54Z","type":"item","id":"Q4938434","labels":{"en":{"language":"en","value":"Focusing and proof-nets in linear and non-commutative logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405459"}},"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":"Q4938434$B1E86733-CADD-4ABB-9E2A-8E24FCDE792A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1065670e23fa4929e80776b680370361ed918470","datavalue":{"value":"0974.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938434$2575A62D-0895-4795-B4FF-AD1E10FA5777","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edc6b08afc1b2eff2d555228deeeb1c4cf07164e","datavalue":{"value":{"entity-type":"item","numeric-id":1818357,"id":"Q1818357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938434$DE034429-8AFA-46E7-93CC-6D9B510C052F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d657fdd2d9958dba10089337526015d3f6130c99","datavalue":{"value":{"entity-type":"item","numeric-id":1407587,"id":"Q1407587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938434$9F30288E-1C80-403A-B28D-6DF139D26D9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddd87dc524788648df6c40a5ec937c0baf639511","datavalue":{"value":{"time":"+2001-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938434$00173DB0-D4F8-4B6B-BC7D-0410B36ADF1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938434$D3C3DCA4-9D25-40D5-81A9-043F0946A910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938434$784C9534-4546-414E-A69B-C70D1AC7DFCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af279b47492c6dfa7fd46441c0647893e19548cb","datavalue":{"value":"1405459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938434$2B9A5214-1C24-4E95-85B3-A003C032CC67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938434$A7B82809-0EF5-467A-B039-7BFA713E7212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938434$09677276-4275-45B5-942F-918E90BF0ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938434$9562771D-E89D-460C-85F5-DE4CC15B5035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9e4a53db5b06ceb6c226c9d29a808a10ff6492","datavalue":{"value":"noncommutative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938434$92128A56-D9FD-42D5-9C0D-E65A06F203AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a43bf31c0c8d9d1c4c938b2c5566f926ee02f32","datavalue":{"value":"focalization property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938434$0AD42F5F-B155-490C-93F9-119E0F152696","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80d010a65ed1160f52ca34357b3afb6783e2d2c9","datavalue":{"value":{"entity-type":"item","numeric-id":25792,"id":"Q25792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938434$9C276921-A4ED-4F15-9144-2D12D132695B","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":"Q4938434$AF081F50-FC48-4FB3-8F75-39B2865C9A97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70b3296d8cf0f9e6f149302ca6ad3b4ac5f78d5","datavalue":{"value":{"entity-type":"item","numeric-id":1427855,"id":"Q1427855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d66533ec34b2683957f30bb85fd5dc9f75d2c1","datavalue":{"value":{"amount":"+0.9085280299186708","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":"Q4938434$EAA0888B-81D3-493F-A151-3B6BF8481E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43428870c4ae3d8c2d093b32e798d8bae7540a66","datavalue":{"value":{"entity-type":"item","numeric-id":3178251,"id":"Q3178251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba533d277a4219194275186e93bbdcbb7ae9f7f","datavalue":{"value":{"amount":"+0.8671172261238098","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":"Q4938434$8D07755B-45FC-4349-82FC-47A24A2D3709","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":"71711ac8c0cf67d24f0e393bab0ff5668028bc08","datavalue":{"value":{"amount":"+0.8048349022865295","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":"Q4938434$D45EECA5-AC66-4D72-8DFE-4C2F450A8001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a43c2ea88a77d29ca1bf81964fdbb9b814076b1","datavalue":{"value":{"entity-type":"item","numeric-id":3408154,"id":"Q3408154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71711ac8c0cf67d24f0e393bab0ff5668028bc08","datavalue":{"value":{"amount":"+0.8048349022865295","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":"Q4938434$1E8F8180-B6D1-4238-8981-9F96ECAFEF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e151853089ccb165cb81490d659a10a67a78533","datavalue":{"value":{"amount":"+0.7876798510551453","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":"Q4938434$0B75182C-B0F4-4621-BF26-37863A5EBE78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a60562479596a8a5a08d7a9973131ec7232ea3ed","datavalue":{"value":{"text":"Focusing and proof-nets in linear and non-commutative logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4938434$066D3444-27BA-4990-9C05-39FA956F979C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98fb6603ef4564bd9503e561856b197ded26ca7e","datavalue":{"value":"10.1007/3-540-48242-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938434$9E1206D7-4909-4FFA-B625-7D41C3FA377D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81023ead626b400ecd4fd45a8a269feab72f5e9c","datavalue":{"value":"The paper is concerned with the so-called focalization property of proofs, widely studied in recent years [see \\textit{J.-M. Andreoli} and \\textit{R. Pareschi}, New Gener. Comput. 9, 445-473 (1991; Zbl 0731.68022); \\textit{J.-Y. Girard}, Math. Struct. Comput. Sci. 1, No. 3, 255-296 (1991; Zbl 0752.03027); \\textit{V. Danos, J.-B. Joinet} and \\textit{H. Schellinx}, J. Symb. Log. 62, No. 3, 755-807 (1997; Zbl 0895.03023), and many others]. The authors notice that in the framework of multiplicative linear logic proof-nets, the focalization property can be reformulated in terms of ``hereditarily splitting'' (tensor-)links. This fact motivated them to prove the splitting lemma of \\textit{J.-Y. Girard} [Theor. Comput. Sci. 50, 1-102 (1987; Zbl 0625.03037)] for the proof-nets of non-commutative logic (introduced by \\textit{V. M. Abrusci} and \\textit{P. Ruet} [Ann. Pure Appl. Logic 101, No. 1, 29-64 (2000; Zbl 0962.03054)]), in order to extend their remarks to the non-commutative case. For the entire collection see [Zbl 0921.00037].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938434$5A8D19FC-9EEB-4C19-BA39-DB27C446EDDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938434$29C0BBF8-4140-40EF-BADB-E2EFF17AC4FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Focusing and proof-nets in linear and non-commutative logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Focusing_and_proof-nets_in_linear_and_non-commutative_logic"}}}}}