{"entities":{"Q1326780":{"pageid":1337530,"ns":120,"title":"Item:Q1326780","lastrevid":68472990,"modified":"2026-04-12T23:56:25Z","type":"item","id":"Q1326780","labels":{"en":{"language":"en","value":"Linear logic as a logic of computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584684"}},"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":"Q1326780$C9755603-AB23-4F5B-AE2D-B595660B7C77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfc6dc91e339e73d756b25a242228da798e14c60","datavalue":{"value":{"text":"Linear logic as a logic of computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1326780$487FCFA7-4347-4330-A0F1-4FF40FD50F54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4f0c243404fe08536c7a91b1489bec382eea40b","datavalue":{"value":"0804.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326780$AAF5D0B1-CCEA-40C2-8967-47BD8ECC8BCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c24391cdbcf62244e3ae9f07c87913ff01720b1","datavalue":{"value":"10.1016/0168-0072(94)90011-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326780$B9CA68DC-658F-4FF5-9AA7-5AF21108B526","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$2D714FC3-BEDE-4983-8C8C-F06A33E8CC5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$946FEA07-47F7-4486-9A8E-97C184788460","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"051f068d3b38e5e969f8980cf793340b45e9833d","datavalue":{"value":{"time":"+1995-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1326780$47179854-9633-4A09-85B4-E1840C99A1D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8565ad312b25aec6351f271e3d8005cf5705820","datavalue":{"value":"The author gives a complete computational interpretation of several initial fragments of linear logic and, based on this interpretation, establishes precisely the complexity level of these fragments. He begins with the !-Horn fragment of linear logic, which uses only positive literals, the linear implication, the tensor product \\(\\otimes\\) and the modal storage operator !. He gives a complete computational interpretation for the !-Horn fragment of linear logic and for some natural generalizations of it formed by introducing additive connectives. He considers the `or'-like connective \\(\\oplus\\), and, for the sake of computational duality, he introduces a new `and'-like connective \\(\\@\\).   The complete computational characterization is used to establish exactly the complexity level of all these initial fragments of linear logic in question.   As known from the literature, linear logic provides us with a natural encoding of Petri net problems. The author demonstrates that the derivability problem for the !-Horn fragment of linear logic is exactly equivalent to the reachability problem for Petri nets.   Next, the author shows that the expressive power of the \\((!,\\@)\\)-Horn fragment of linear logic is of the highest possible order, by encoding standard many-counter machines into this fragment. The same encoding provides direct simulation of standard Minsky machines in the \\((!,\\oplus)\\)-Horn fragment of linear logic, as well. As a corollary, both the \\((!,\\oplus)\\)-Horn and \\((!,\\@)\\)-Horn fragments of linear logic are proved to be undecidable.   In his concluding remarks, the author notes that the storage operator ! turns out to be an extremely powerful tool even in the simplest case, the Horn one: (1) The storage operator ! (together with the multiplicatives) is already sufficient for describing dynamic behaviour of such complicated systems as Petri nets; (2) while combining the storage operator ! with the additives allows direct simulation of arbitrary computations of many-counter Minsky machines.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326780$6DC89F31-9473-4F75-83D1-6FFAC230D43F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326780$8885B2E9-0AAF-4B5F-83E7-49F10D50F0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326780$9DF0C2E5-63D8-4862-AB5B-28E6B978F817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326780$3CFF3A2D-11F6-48A3-8A25-74F330719C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326780$9FDB1E0F-6D6F-4F0D-BC23-F5E07FE02600","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9492ff1f09cfad2b39c325493066577d15f8dc95","datavalue":{"value":"584684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326780$CEDDDF5F-046C-4CEA-BD42-E5FE4971D01B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"659bab700dbdb3009b36475d8c0c55b58327e536","datavalue":{"value":"computational interpretation of initial fragments of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326780$52C21C88-9891-4E38-A7DB-95C69CB8D0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bac7f4f30cce05cee951091de5c298b88f7a8dc","datavalue":{"value":"complexity level","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326780$3A5E415C-D354-4866-AA69-8260A7B6607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97afa1741079db9668b24cfe4f3a768ccc3824fc","datavalue":{"value":"derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326780$9A2ACA61-89A7-4E48-925A-E8A39AD8CB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326780$D1094B55-D07F-4BF7-9661-AFE97B67FFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326780$8C92470F-9256-40D7-A2D9-BD4B6DE32815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f442eeb74425519ee417a64a007e754581c24d4","datavalue":{"value":"many-counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326780$912475AF-8284-431D-8F43-6202A8D52E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5143626bec5a5d2c0e6a3c2e42486b21eff5e2fc","datavalue":{"value":"Minsky machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326780$D875322B-CA9E-4354-A158-5D57122B6215","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":"Q1326780$583FCFE7-275E-4CDA-AFF7-064B002C37A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87a9025ff0bb4d39b4a9fc9f1d05d43a9d9b1dd6","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)90011-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1326780$AA500753-BDE4-4E41-997A-D07CDCE5FE00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5683c5b0b8d733cc571187f7bf0f86cb17ea451","datavalue":{"value":"W2082529483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326780$C840F1F3-E5E6-4A02-879E-7DA11025FE9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb5fe0c5736570e1f150d7c829e8c2408912f0f","datavalue":{"value":{"entity-type":"item","numeric-id":3210197,"id":"Q3210197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$535B3CC5-6B25-4359-B97F-30306EAB31B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$18E58291-1BBB-4D4A-9B5C-2EA24118F771","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":"Q1326780$4CB8835D-66E1-4D84-A4C5-2C259DF96F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d65b0810cf56bb55d031402a311f2eca8e9925","datavalue":{"value":{"entity-type":"item","numeric-id":3826527,"id":"Q3826527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$B6AD616C-B821-45BD-B1FD-6DF0B0F249C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682c91b4e4cd6dc29b3c137e7e217f118acc6e45","datavalue":{"value":{"entity-type":"item","numeric-id":5096241,"id":"Q5096241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$CE5E2EB4-41C1-4B2F-B855-8D86386D98CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d1658565a70eb4ebfabfbb644b4647b5bf9a5e0","datavalue":{"value":{"entity-type":"item","numeric-id":5202633,"id":"Q5202633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$BDB43676-0398-4F82-AA5D-CED656F5251E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6824df6dd0be7cd16493b5788b39032747abfe1c","datavalue":{"value":{"entity-type":"item","numeric-id":5096267,"id":"Q5096267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$D8062256-4736-4642-9FCC-1FD9ABA8C328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$04E220F4-2F7A-47CE-A11B-BAFEB71410FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$52505031-8475-47C2-9E7F-85A5220820F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7892fe9feccb20e05037849becc76af71cd61","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$98CAF918-C78C-47A8-82AD-E0909433886E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326780$0D947AD9-3B4B-4FAC-814B-53CC6598A9B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3faff65e3afa29d59a49d23a962be57fddb9d32a","datavalue":{"value":{"entity-type":"item","numeric-id":2201109,"id":"Q2201109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133c40d10a8e11094d711dab55b76f697e138a7b","datavalue":{"value":{"amount":"+0.96063054","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":"Q1326780$90ED373A-601C-49AA-A13F-603295C3EE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607f5bb5fcbb4bac05e6d97184163159b8708a7f","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8208fc1fdc6b7aa47aa4345c4d431370465efb24","datavalue":{"value":{"amount":"+0.95904654","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":"Q1326780$11F63F51-5485-4431-BC22-FFB88F29631A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612009c50b8ca7483779822191c877b6fdb39692","datavalue":{"value":{"entity-type":"item","numeric-id":4842540,"id":"Q4842540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1d5527a303c31f58d17e6e0748db82d6732794","datavalue":{"value":{"amount":"+0.9524599","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":"Q1326780$9A7D21AC-4A7A-415C-9C47-931E88BB7961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da502d82fa96f14f7dbea0b148081cc1d8f7050","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c73979e1bf555651bd5461f70f29f25fe83345","datavalue":{"value":{"amount":"+0.94377255","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":"Q1326780$2AD683FE-E67B-4952-B010-F4083C15A886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8446e884f1512b34d63b11f1278044ba5e4379a","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f24d0f360b523a0ea2cb03d8acf1d71fee341e3","datavalue":{"value":{"amount":"+0.93733186","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":"Q1326780$FABF605E-E217-40A9-98BB-700A3EB327E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7faf8974560c28ced35834baac82819c43239cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4362881,"id":"Q4362881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f24d0f360b523a0ea2cb03d8acf1d71fee341e3","datavalue":{"value":{"amount":"+0.93733186","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":"Q1326780$277E54D4-B5A3-4731-A4C9-5A6E1EB8EA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee877f5018128849e63439ef2f7fba0fd8df2c58","datavalue":{"value":{"amount":"+0.9361318","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":"Q1326780$4554615D-6F04-4B6D-93F1-7022CC609CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcfec6923d877a66364e1c8dd13f763f23c875e3","datavalue":{"value":{"entity-type":"item","numeric-id":3612668,"id":"Q3612668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cf4675e2d9fa2ce2acc3c898f2195cdc82717d","datavalue":{"value":{"amount":"+0.9360242","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":"Q1326780$DA1C9935-9E9E-4747-AEDE-6C1F8FF302DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad654cbc3d3fd4f21ff222ba43f6260ac0b7071","datavalue":{"value":{"entity-type":"item","numeric-id":5941199,"id":"Q5941199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17739aac86bcf8d545793875f43f1f7c48fb24f","datavalue":{"value":{"amount":"+0.93341017","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":"Q1326780$FDCB9AE7-56D1-4D80-B463-F25FE76ECA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4b4e126c2d0ced1d7e3dcc88e4ffcc7396c754","datavalue":{"value":{"entity-type":"item","numeric-id":4244309,"id":"Q4244309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9622aebb4b120c2867565720ca2821245a8306","datavalue":{"value":{"amount":"+0.9274025","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":"Q1326780$E27B5443-D93D-4774-9C27-8E5658D086B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear logic as a logic of computations","badges":[]}}}}}