{"entities":{"Q5079739":{"pageid":7109315,"ns":120,"title":"Item:Q5079739","lastrevid":55409695,"modified":"2026-02-17T15:49:01Z","type":"item","id":"Q5079739","labels":{"en":{"language":"en","value":"An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533340"}},"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":"Q5079739$0BC0E187-5279-4909-BFCD-C2A94FBD5485","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bd3bce18c7423b277db8e1ee2655c1d8d61b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2133164,"id":"Q2133164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$D780CBFA-3489-4C20-B6D5-076B16040922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c19a45ee172fa905e1cdbb54f1782e5713b7d538","datavalue":{"value":{"entity-type":"item","numeric-id":5079738,"id":"Q5079738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$DF615AF0-4395-47FE-A804-8D0B0E7C5F2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079739$BAEB9220-29AE-47FA-BFA7-5AFB370E3C5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079739$EFBC1BDA-1696-4268-A0A7-62B31A047771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"130495345afbf2b71372002aa995e80d1efcc4ab","datavalue":{"value":"7533340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079739$CB2A5386-E58A-4C6F-A99F-F5ED7071AA09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079739$79D77D5C-BF5E-4808-B56F-794DEAFF3714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079739$42732481-6235-4A53-A510-F7135A6C63F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079739$0C54B176-F0F3-4481-9D4F-BB7182CBD8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7355a66e0232dac98853fe8bdd183ad4901131d5","datavalue":{"value":"differential linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079739$40FCE9F4-D490-46E7-8BC4-CA2DA3F74953","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":"Q5079739$F90099D0-5530-45FD-B06E-3BDC43A9EB77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35c260dfd981553bd5c8d840b02f11a11c01de4","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$812A11F1-BC29-4650-BD66-58243DECDA04","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":"Q5079739$3B946888-EE5F-484F-92BD-EE067DCAA6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8074052239bebe7f1daac4df3d727319b24d7fe","datavalue":{"value":{"entity-type":"item","numeric-id":5278430,"id":"Q5278430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$2C01D8E9-31E1-4847-BC45-E942F21AC747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8942ca8af4693b2a95bafc41ae23d115582ec56","datavalue":{"value":{"entity-type":"item","numeric-id":4792972,"id":"Q4792972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$8E609A2F-72BA-4E5B-9825-9EE9D3A5EC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$5BB70F4A-AE30-4D55-8245-506F8A73D17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275c63e713d1bf4dadcaa547865d6c0c1b528dce","datavalue":{"value":{"entity-type":"item","numeric-id":4635623,"id":"Q4635623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$AC7CEEDB-14A7-44BF-AF54-21EBF3C11830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340939432c5a5d06e884c51fa8fa92ea5f231196","datavalue":{"value":{"entity-type":"item","numeric-id":4577980,"id":"Q4577980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$D6C3485C-852E-445B-9569-D328CB48EF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$9F68E747-D900-49AC-A369-1A61F64EB5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$94647BFD-8D0C-4778-ACDB-8A442A69EBEF","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":"Q5079739$D798200B-6AF0-4DC5-8997-444AC0166F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$8DA9B0D9-66EE-49D0-81F0-49E897A335F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02bb2ef2212805ba3d6ddbe7c18feb44722ac49","datavalue":{"value":{"entity-type":"item","numeric-id":5369485,"id":"Q5369485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$880C4C9D-46A0-49B9-BA16-FC29DA4BC2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa16ee0b007585cf9333b084e425b8a8bfd9904","datavalue":{"value":{"entity-type":"item","numeric-id":5271067,"id":"Q5271067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$91B4EC28-5E7C-4128-95DB-D3306D4D2C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da3b984482549bc9b1bd023be108fd237dcfd3f3","datavalue":{"value":{"entity-type":"item","numeric-id":2811355,"id":"Q2811355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$1AA7E638-A027-4CBF-B70C-FEEB2049D3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257f667e9efad310a6585c2f6645ed0e46f1a803","datavalue":{"value":{"entity-type":"item","numeric-id":5111209,"id":"Q5111209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079739$2C55CCCE-69C7-4147-9CB2-0F9E63C6A842","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca59c64957885fda21491463069a58f06be20bf2","datavalue":{"value":"10.4230/LIPICS.CSL.2018.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079739$F1CD535E-290F-4867-A201-83F172EB8F25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316e2b3ddbcee7bc34576ec0d807c37ab01478e2","datavalue":{"value":{"entity-type":"item","numeric-id":5028444,"id":"Q5028444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2bfae2f2f0696b7cf4ea079620869b5e1b915c1","datavalue":{"value":{"amount":"+0.9883466362953186","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":"Q5079739$270FCA49-929B-4EA7-91DF-E52DBBE863FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec003f0ca3a0eba45173c29a8150d9b33336362d","datavalue":{"value":{"entity-type":"item","numeric-id":4611381,"id":"Q4611381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1ab60b1ba352d58a3773fa6549817db482fa0d","datavalue":{"value":{"amount":"+0.7991418242454529","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":"Q5079739$1AC72BF7-D8ED-491D-AB06-C07B68A5D302","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":"d28e7b8ae2f7108b6580199c3c678c4355bde29e","datavalue":{"value":{"amount":"+0.7940464615821838","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":"Q5079739$2FAAE00A-875B-4611-B3A6-B0150A1789F5","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":"a36362bb59917af864027281b2582d9e387096c8","datavalue":{"value":{"amount":"+0.7856665253639221","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":"Q5079739$71B15B11-4412-42E4-A841-6586D94E502C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079739"}}}}}