{"entities":{"Q3498480":{"pageid":5528383,"ns":120,"title":"Item:Q3498480","lastrevid":80580110,"modified":"2026-05-06T16:31:35Z","type":"item","id":"Q3498480","labels":{"en":{"language":"en","value":"Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275855"}},"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":"Q3498480$D880ADB8-0F6D-4B05-82CF-8A06C4A98423","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08bec05296ab97787432f15f08701e6de30c827d","datavalue":{"value":{"text":"Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498480$A92E4201-D09B-4885-9060-4BC13A7EA78F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98401081a40e47781edd9c5ae8398dbbe56f6f80","datavalue":{"value":"1137.03324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498480$270BFA44-EE1D-4A5A-A154-B82643742DB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae849f53f120553f99786be1c864bc6d18f6a501","datavalue":{"value":"10.1007/978-3-540-75560-9_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498480$A881643C-2A6A-4EB6-A0B2-40BDDCADA84A","rank":"normal"}],"P16":[{"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":"Q3498480$A996A4D3-C839-4A97-AF61-07E8B86516CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498480$F4A10AE0-8238-434E-A7F2-C85A7D72A2E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498480$52D2E98E-A9BB-4EEF-BD24-8A3F28688A6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498480$C113CE88-DE9E-417B-AC34-644A8294FB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498480$8DF3A732-473F-4526-83C8-5391F20578D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cca11d462f409fa13ecd1809bea45f2afa05049","datavalue":{"value":"5275855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498480$3F1397A7-07F9-4B0C-A7E9-647D6420C182","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":"Q3498480$55638B98-E8D7-41B5-A1ED-72390E4B621E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efba4e9dd7f8375dc0b6348be4a895ee3b8ce2d8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498480$66DF39DE-2E08-41F7-B01F-80608B689C1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a11c71b94182423c243d32940ca515315548d634","datavalue":{"value":"W2166861684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498480$17B0FEBB-0F81-4D34-B026-D77ECBCB358C","rank":"normal"}],"P1643":[{"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":"b72843d69c42059b081fedeefa85d4f67bd1ea69","datavalue":{"value":{"amount":"+0.9189568","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":"Q3498480$9D50796E-F495-4CD6-9DCF-6B28B46B3301","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":"7defcdae335412e93cba1fdce168895c00536147","datavalue":{"value":{"amount":"+0.90508854","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":"Q3498480$1DD1EF1E-11E2-4F55-98F3-004EFD897C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c31fe7b2b7fd2f8553bd66b6d8f6b5c012ee15","datavalue":{"value":{"entity-type":"item","numeric-id":5089024,"id":"Q5089024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a873347acbc1747e074c1eb14519b3f656b98203","datavalue":{"value":{"amount":"+0.9036292","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":"Q3498480$CDB5E621-69C5-42BE-A6A3-95DB0E3B3276","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":"ea60e3ff98f1014762d5013a1f3005df9649e706","datavalue":{"value":{"amount":"+0.90089184","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":"Q3498480$4AAA94F9-3742-4371-B3C2-3EB96F7A1417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09671c330645ac448742d0bca24d7507b96639c4","datavalue":{"value":{"entity-type":"item","numeric-id":952490,"id":"Q952490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4949acdc9760c7551c92979160bddc59f8c80a","datavalue":{"value":{"amount":"+0.89296305","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":"Q3498480$8D3C7C49-2CE9-4CF5-BDF3-FEE0B9A539AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b489aba308eda11ff7e755601c605fa103fce531","datavalue":{"value":{"entity-type":"item","numeric-id":4379682,"id":"Q4379682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1add8ae7f4abdbd2a681e898fd296342da613b81","datavalue":{"value":{"amount":"+0.8837748","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":"Q3498480$8428259C-38A2-490B-8080-F462DB2C1FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90ece50c455dd50cdf55a88690655d14aa89fee","datavalue":{"value":{"entity-type":"item","numeric-id":2703720,"id":"Q2703720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f76d4d1446ba04148fd720260fbec6a9103a63","datavalue":{"value":{"amount":"+0.8829193","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":"Q3498480$0325B520-3852-4C31-A82A-0AA6C4913D9D","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":"24194dbd44d7e3a3c120e973022eb2dd1d1c8edc","datavalue":{"value":{"amount":"+0.8817384","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":"Q3498480$8DD0D5A4-811E-411F-B5DA-5B0A369A8998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47aec93c1d73dbbcbdc95dcaa7d8ac51a0fb3dd","datavalue":{"value":{"entity-type":"item","numeric-id":5014804,"id":"Q5014804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27445bbb7337ceec0a5960f9cda3e0938300ff2e","datavalue":{"value":{"amount":"+0.87798977","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":"Q3498480$0AC92E1D-1905-4A53-ACC8-F917CA39421D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bc92fe9ec86073d7420e0578740e9dd61f5de2","datavalue":{"value":{"entity-type":"item","numeric-id":1623116,"id":"Q1623116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04513258bf62cebedb51c210736e423114988549","datavalue":{"value":{"amount":"+0.87595963","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":"Q3498480$6005351E-1383-41C0-96C1-6BC70668E01D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Retractile_Proof_Nets_of_the_Purely_Multiplicative_and_Additive_Fragment_of_Linear_Logic"}}}}}