{"entities":{"Q2719797":{"pageid":2730536,"ns":120,"title":"Item:Q2719797","lastrevid":41926480,"modified":"2025-05-16T08:21:09Z","type":"item","id":"Q2719797","labels":{"en":{"language":"en","value":"Implicit exchange in multiplicative proofnets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1610213"}},"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":"Q2719797$D2D171BF-AD70-4BF6-A6B8-A0DE3CED6441","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3cb73be34c7a0126d94d88add9d5eddaa4e327d","datavalue":{"value":{"text":"Implicit exchange in multiplicative proofnets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2719797$E79D2297-D1B1-43C7-A7DE-B652FE07F986","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95826347b101bfc29e39b7cf777fedecce59b7bc","datavalue":{"value":"1025.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2719797$5295DE7A-7851-4470-8C53-F8840FF5DE2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37cd4311cd95e1707eb11fd7e2b739a39b5c335d","datavalue":{"value":"10.1017/S0960129500003285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2719797$C61586C2-78D1-4538-B790-66AF8581B844","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6eb1f11b1588399b186c1c29b3d325110fe4701","datavalue":{"value":{"entity-type":"item","numeric-id":534533,"id":"Q534533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2719797$1581A9FA-935F-463B-9CF5-52322E25FD07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2719797$F43DAAC4-1EAA-455B-BC42-F3D80D462DDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2719797$91AC6FB9-CB04-4C5D-BC28-F633F670D460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2719797$44345F14-20F0-4B31-810B-3A170A147B07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"232559ef0d8f63d05c85470269bcc47f61ed2bcf","datavalue":{"value":"1610213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2719797$769D41C4-77A7-4CE4-ADCE-E82D66FCA6F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa4cf4ba6617495eec44c2ecc562bfe8a24f80d","datavalue":{"value":"multiplicative proofnet","type":"string"},"datatype":"string"},"type":"statement","id":"Q2719797$32EE5FE9-F842-4B57-8543-BC5CC404EAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef07b3138676aab0c29826b8e961bd9e50153980","datavalue":{"value":"multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2719797$1EFD6D66-21E3-4EEA-B1B4-31A18614A2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1887a6f887984c9155c12435a168a1d4645ae05","datavalue":{"value":"number of exchange rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2719797$2CA09B05-0E4A-4D06-833A-81866A71E5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1220dff8cabed3b5e1aa130c391a9a0349dc6547","datavalue":{"value":"proof structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2719797$BA556D5B-B25E-4DEC-BAB8-3CF77E72F9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d317d712471535cc86cf9605447e5d2912d60de1","datavalue":{"value":"homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2719797$1E0FF379-8594-48D3-80CA-5A6FA778A7FF","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":"Q2719797$8EBC7DB7-465E-4491-93CF-5A715A479A7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"135f1abc0e664e91063311fc32f85a8853164a7f","datavalue":{"value":"https://doi.org/10.1017/s0960129500003285","type":"string"},"datatype":"url"},"type":"statement","id":"Q2719797$995A54C9-DA04-49FD-97B0-B775A4715644","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51e75d131eea0db77ff8294323b86607d29bc0d8","datavalue":{"value":"W2112006953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2719797$7CC2DBDB-B738-4EBD-AE56-36CF5B958F0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f7fdb656f4bcf7eaa47c936f7e12fb57a21107","datavalue":{"value":{"entity-type":"item","numeric-id":5394577,"id":"Q5394577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5ac98b056f13d716834e60d14b5397bd86b4e9","datavalue":{"value":{"amount":"+0.80509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2719797$8568D94C-3218-4B2F-897D-DD6411BAB8FA","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":"8d56c736e5bdcdb147a0ad28b3f01e0b1e13a727","datavalue":{"value":{"amount":"+0.7805783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2719797$0A7A22A2-1A7A-4A5A-8E17-6CA144CB2B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8fd38bac13a4b47a9f644554e87a476a1dae29","datavalue":{"value":{"entity-type":"item","numeric-id":2303597,"id":"Q2303597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361481c76c2d3206e4f2c40bc606f894771ac87b","datavalue":{"value":{"amount":"+0.76972866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2719797$937CF74B-1E00-4E31-8C87-30BC1A6F9A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03e66530d09c928f6a1979ebc16e7e0540c8f92","datavalue":{"value":{"entity-type":"item","numeric-id":2331072,"id":"Q2331072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f3cf35bfcae19cab68a15e48c311b30d82768c","datavalue":{"value":{"amount":"+0.76368415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2719797$38E4134D-7412-4CFA-93FF-CC3618073014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"867ae19859c88041011cc8524800b1ebb4cdbf96","datavalue":{"value":{"entity-type":"item","numeric-id":4463990,"id":"Q4463990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54870f93af770d0c127bc3b01b30a5eefbe0151a","datavalue":{"value":{"amount":"+0.7594817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2719797$F5DDD2E3-068A-4472-B258-2AE2508E8842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35bfedf64ca581883961945e76932a98303bdcb4","datavalue":{"value":{"entity-type":"item","numeric-id":4222843,"id":"Q4222843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3b3e65a3f5aa3abaa264f9a113182ac79057f0","datavalue":{"value":{"amount":"+0.75307095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2719797$77D3FBDE-222B-47DD-B7AA-8020D58FD1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b23d0eb5683988a1d140dab0847b1efa27bc6bc","datavalue":{"value":{"entity-type":"item","numeric-id":5756722,"id":"Q5756722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa094de0debbeab40c7c89e39fb49cabf001d76","datavalue":{"value":{"amount":"+0.74710673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2719797$1F11C1A5-31A0-4A81-A400-A25F81A16DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ae84bed107df89cf51da66f9bd908584078209","datavalue":{"value":{"entity-type":"item","numeric-id":5693578,"id":"Q5693578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc33cee133a87415bef5c4535143502506f876d0","datavalue":{"value":{"amount":"+0.7412169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2719797$C90F6F96-4AF4-4767-AFD4-7EBBD76D7462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3bb6639a132b15543dd665691a5fa625978abc5","datavalue":{"value":{"entity-type":"item","numeric-id":383359,"id":"Q383359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5307fa6d961284324d2b412131cb7dfa2dc01ca3","datavalue":{"value":{"amount":"+0.7402126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2719797$E7D5B1F9-8CAD-473C-8EE5-151CE64711C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf46aad459119c33004925957d08c945d98d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4222817,"id":"Q4222817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cded0ad9a23393f6abea3aa94f540143a7fc7162","datavalue":{"value":{"amount":"+0.7384426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2719797$396E6D42-9D3B-423F-BF40-1C3392FDC164","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec159f1e880362cf671a113c6496de63141fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":6768254,"id":"Q6768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2719797$20C30B4E-464B-406E-8765-0BD184D8D1D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d91790bfc5b6782a1e21bbf24b21781672f0102","datavalue":{"value":"Deductions in classical multiplicative linear logic are studied, with special attention paid to the number of exchange rules. In order to do this, the proofs in a system \\(S\\) with explicit exchange rule and the proofs in the system \\(S^*\\) where antecendent and succedent are (multi)sets and exchange becomes identity are considered. Main tool is the notion of proof structure. The basic idea is that standard proofnets may be regarded as orientable surfaces with boundary. Thus, a proof structure is a 2-complex where individual 2-cells correspond to the rules (their edges have side formulas and main formula as labels) and the way how they are glued together is linked to permutations. The topological structure of the resulting surface is used to study the behaviour of permutations. For example, the notion of rank is introduced (the number of generators in a homology group in dimension 1) and it is shown that the proof \\(Q\\) in \\(S^*\\) cannot be represented in \\(S\\) with less than \\(\\text{rk }Q/2\\) exchange rules. The special case of one-sided sequents is considered. The author considers also the effect of cut-elimination on the rank. Links with the work of other authors considering various kinds of planar diagrams are discussed [e.g., \\textit{M. Nagayama} and \\textit{M. Okada}, Electronic Notes in Theoretical Computer Science 3, 11 p. (1996; Zbl 0909.03046), or \\textit{G. Bellin} and \\textit{A. Fleury}, Arch. Math. Log. 37, 309-325 (1998; Zbl 0905.03037)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2719797$908DAF59-629D-4534-B2B2-648D49B1BF81","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6c848266fa72da40ff1802d3555a7d072216992","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2719797$46B42A29-E4AC-4BB3-A3DF-26529E563632","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2719797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2719797"}}}}}