{"entities":{"Q4372906":{"pageid":6402505,"ns":120,"title":"Item:Q4372906","lastrevid":46518969,"modified":"2025-12-24T23:13:25Z","type":"item","id":"Q4372906","labels":{"en":{"language":"en","value":"A new deconstructive logic: linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1097734"}},"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":"Q4372906$C5489457-88FF-4376-A870-FE8C1A113202","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9261407ee274b7f65c56a746a1d16dc818c39f16","datavalue":{"value":{"text":"A new deconstructive logic: linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4372906$94CA948F-6EEF-4FBD-9E42-358A4541AF53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ee68ebfbedff793a0f0fb1df3de2d17f9fc5183","datavalue":{"value":"0895.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372906$7BC6BD07-CD19-4601-9A79-3DB346055A49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e66deb1485362441f7648803fe635bf6340c5215","datavalue":{"value":"10.2307/2275572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372906$CCFE07A3-F93D-440B-8D2B-C649FEFABF95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93999ca0789e250fb0db50708f38a31742036836","datavalue":{"value":{"entity-type":"item","numeric-id":550252,"id":"Q550252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$E15CBC53-7B61-481D-B687-C52394EA7AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4525c955b47badf335bb39d178a4075baf3a0250","datavalue":{"value":{"entity-type":"item","numeric-id":1345899,"id":"Q1345899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$20C81818-AF6B-4EAB-B878-2C870829DF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991173f2ea22332135ad6abd3f0c984815ecedd3","datavalue":{"value":{"entity-type":"item","numeric-id":1345900,"id":"Q1345900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$39139B3D-DA87-4CA0-9FE5-2791CF4C3EEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$91237985-02E6-4B31-BE2B-0643F8FC64C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2b9e5433934744776676f83620c488e28cd2a60","datavalue":{"value":{"time":"+1998-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4372906$C9B272FF-DE35-41B7-A6F5-F028617A9F85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372906$7ADDB558-80EF-4E42-9725-DA94FCA3A2AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bbb6196b19d35a396ec80d833de3d10311d1709","datavalue":{"value":"1097734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372906$B5B1E652-A9CE-4603-B6B2-A1A9FD579C1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372906$C91B8BF0-8F0F-4A10-B90C-78EA5407AA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372906$32BEB9AF-A088-4416-8D21-0DAC5C6A2614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372906$A7FF944B-D6C2-4FD7-A0ED-62B2AA3312A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372906$CF61CA20-9EF9-4A97-A534-6C04EED5CA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26f6f65ba20da88712181fbedd79910d4fb262fc","datavalue":{"value":"translations into linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372906$6B8BF821-EC96-4BBF-B99C-B881B73A7DE9","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":"Q4372906$D35054A5-C408-494B-8555-4212DE267CC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f05a8efb4950ecd201093f01d1af63fdf2251ace","datavalue":{"value":"https://doi.org/10.2307/2275572","type":"string"},"datatype":"url"},"type":"statement","id":"Q4372906$FFE7A230-F01E-441E-97EE-0D1594D03B1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5612acc37c05a0c82ab71186afa63524be876a9b","datavalue":{"value":"W2164691248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372906$1CD931D0-C7EE-4A82-9AA4-5E3F6307924E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$CA74408D-02E0-4279-AC9A-395FBD275A41","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":"Q4372906$1F43E347-65F7-4FEF-97DF-18BB46609B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$939D9234-1EF5-4212-8E07-CD7542AD97C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9e3383d92192c192ab4d67a362d61783905b86","datavalue":{"value":{"entity-type":"item","numeric-id":1325054,"id":"Q1325054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$A342104D-0F91-4702-8D45-A3B7EC3C93DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94d07d7ba169baac67dcb1462f65733e210d7f6","datavalue":{"value":{"entity-type":"item","numeric-id":1345901,"id":"Q1345901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$DA31DBD0-E282-4746-AEB7-9BAE552D23B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$3244E30D-2BDE-422A-99E9-3B9B0887271C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a0291d6b416afdf61c3b8456fe8639369f4a5","datavalue":{"value":{"entity-type":"item","numeric-id":1190480,"id":"Q1190480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$954DA4A6-5AB9-493E-A3DE-C6546830DA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$1CCE40F6-ADDB-4343-9069-861E33AA5A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce42f54bdfef08bd435c92bb6ed780dad4891a10","datavalue":{"value":{"entity-type":"item","numeric-id":1329740,"id":"Q1329740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$88494760-93E5-46C1-82B0-42E5ED0E1609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e93b7524b60bb9ab3f8d71fd24ac2451f79309","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$C8B14535-0A3C-4ED4-AD7A-760EFEE1FE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$917B20F0-C20F-4E97-99B8-E3DAF4168D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$D30412CD-DA98-486D-BDBC-F06F9ACC0356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8e947f4b8840f45ce14ca93614325c2da38c34","datavalue":{"value":{"entity-type":"item","numeric-id":2367410,"id":"Q2367410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$251C9D9B-DC3B-4670-881F-314499F066D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fba5e8ace22a05b3ebef9aa0392420cd4ad549","datavalue":{"value":{"entity-type":"item","numeric-id":685059,"id":"Q685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$A1C8F314-4292-4C9E-9AD6-E8CFDFABF3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f148de05de98f52f121398c20edb4b8bf5cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":1340963,"id":"Q1340963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372906$2A96921F-4438-4DE9-AF39-D4BD52638D13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6316d4020e0fb67c0e9dd75f11b02cf7043dfe01","datavalue":{"value":{"entity-type":"item","numeric-id":3083141,"id":"Q3083141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8663bd5fcb9902aa927e9a14125943026184e114","datavalue":{"value":{"amount":"+0.7920972108840942","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":"Q4372906$453ED412-8196-4C05-9D2E-E1576978DCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9d2696e1f31a0e1464593f59c0b0b850cd43a7","datavalue":{"value":{"entity-type":"item","numeric-id":4327830,"id":"Q4327830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e9fe1b4bc80d85661b6e58d425589cb863be39","datavalue":{"value":{"amount":"+0.7863892912864685","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":"Q4372906$A338B1D5-51F1-4C27-A808-F37E7ECA026D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc53e3d08fd24c4593c7add0ca77cced95343d2","datavalue":{"value":{"entity-type":"item","numeric-id":4263882,"id":"Q4263882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cfee935a48e6a6ac0868a9e61c57646c117a5c","datavalue":{"value":{"amount":"+0.7759767174720764","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":"Q4372906$651EFE6A-9D61-4403-A679-4BEA76656DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e04afcb9e2b628698094cfc00d1a8b354f74f64","datavalue":{"value":{"entity-type":"item","numeric-id":2778826,"id":"Q2778826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e03603248a9070974f24ac0f00bc600db0022b","datavalue":{"value":{"amount":"+0.7755840420722961","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":"Q4372906$6CAB0801-3930-4627-B858-69EAF708EA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298f54efda5b32e5a22511da7f85bcfbab77615c","datavalue":{"value":{"entity-type":"item","numeric-id":2702566,"id":"Q2702566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5b8f888b91bacc42e69381e78d60f65b640ae3","datavalue":{"value":{"amount":"+0.7686363458633423","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":"Q4372906$0CA04074-AD81-4243-B690-C2BC9C70254C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4372906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4372906"}}}}}