{"entities":{"Q1390952":{"pageid":1401692,"ns":120,"title":"Item:Q1390952","lastrevid":70315938,"modified":"2026-04-13T13:56:56Z","type":"item","id":"Q1390952","labels":{"en":{"language":"en","value":"New Curry-Howard terms for full linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1177657"}},"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":"Q1390952$CB7560F1-7E9B-4079-BD08-EC7C0BFE8CD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d45290a5abb015a1a8264e96ba8c87251cd8b497","datavalue":{"value":{"text":"New Curry-Howard terms for full linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1390952$71A2C3C8-8A22-4CF8-9631-1674B66D15E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62929429f978db8a80ce8fd091977690fbd53540","datavalue":{"value":"0896.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390952$EC2F74CB-B6FD-4F97-A977-AE9FA4A24D5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a20bf20818e343887d2af99faf7552643e8f34e1","datavalue":{"value":"10.1016/S0304-3975(97)00044-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390952$FB130287-C13C-46DD-89E6-E1AFA5982C1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d9b7e8c6eadacc63b43e49ed5acfaeeba5f8b9d","datavalue":{"value":{"entity-type":"item","numeric-id":393586,"id":"Q393586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$5946EF25-97B6-4823-994D-C3777F2604A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33423fd214e41478017ece7904a590cfc211acb0","datavalue":{"value":{"entity-type":"item","numeric-id":752666,"id":"Q752666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$8BEAFE2E-182E-4658-BD40-CB38CF2DDB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"110880ff26eef9f5e1af58cc71c5a50e7726cf6c","datavalue":{"value":{"entity-type":"item","numeric-id":1390951,"id":"Q1390951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$351F85B5-51CE-4CFE-A197-6FF0ACFFFE59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$DEEE0E6D-9B19-4DCB-B01F-A9C0681EF7F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1390952$0A0D0C39-BC62-4545-BA0C-906A65923861","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390952$507CA38C-2C98-4035-B82D-379E6D974BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390952$500A153B-58F9-439C-8FC1-A4562B6ECB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390952$F888A3B6-1B01-41CA-94AC-9AA7213867F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ed9713eabce85c0782c58bdcdf2a427f758a39a","datavalue":{"value":"1177657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390952$91E3FBD4-A278-4AD5-A751-BDB050AFFDF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390952$26F8010C-7481-4EC4-BB69-4D1C7088D2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390952$F143529F-E313-41B3-9F2F-C7528D523D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e67df9da48e56dd81bfe4093f272d716e89bfa7","datavalue":{"value":"term calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390952$B7A6CC72-5686-4B14-862B-1F519E695677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390952$469E15E3-DAE9-4DCC-919E-E0065A2A4CD5","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":"Q1390952$F164B334-9FB8-48C4-916C-152EB40FBB42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$B32EBB45-D15C-49EA-8D0D-F130531CD7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$95AD1E73-0EDF-422C-9E05-0E89CA557B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$08ABD20A-638F-49F4-9D8B-61C979F61A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54248dd0491e9d3643cd764e439a902559d8a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$81B74AA6-3E7B-4E10-AE9B-0F5D1543CBEB","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":"Q1390952$76C309A2-4F13-443E-BDA7-235F35BC3D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$F4AC14E2-BCF9-447A-9052-49EDC5061C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9e886b9360a3e41cc1b6bf60219a57e89b7504","datavalue":{"value":{"entity-type":"item","numeric-id":4692468,"id":"Q4692468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$5F185384-5504-439A-B14D-6E301BCE1B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$0B21CFD8-4D11-4076-B674-6A500762CE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6757240f6abc8b15b81de9e3ff90fd2b455c60a","datavalue":{"value":{"entity-type":"item","numeric-id":1378432,"id":"Q1378432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$B91BBCD9-21AC-4140-AC95-3F027C956797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$E92FA278-DCD0-4D9C-92DF-8DFFF055DEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fea2cadcea1d9df9a09b31cf450f2b3df855d9","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390952$1B59C137-57E1-481A-9D60-15E295993269","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf2ef07dca3fc74019619692eb83bc0b769fc4c","datavalue":{"value":{"entity-type":"item","numeric-id":1580654,"id":"Q1580654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967e4a27bdf5bfc4e88986d54f6be1127f0c5d43","datavalue":{"value":{"amount":"+0.94498754","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":"Q1390952$98DD4B1B-AFEE-473F-B72C-193C06FE5279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30403caf76bb503918d82677c1e5ac57e6864098","datavalue":{"value":{"entity-type":"item","numeric-id":4032664,"id":"Q4032664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c2d9147b610b595f5fdb3ac1a8f9a6dfeb1be9b","datavalue":{"value":{"amount":"+0.88889754","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":"Q1390952$FF1D067F-A3E8-498D-A2F4-F5E8CD26B01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6bf3b393422388e723cce3d7daad5517c3322f","datavalue":{"value":{"entity-type":"item","numeric-id":964000,"id":"Q964000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f817e76d4a5ee3a8bd59cb4bdea37492d57f553b","datavalue":{"value":{"amount":"+0.88430524","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":"Q1390952$4757B111-26C9-4FCD-AC72-CD42E0DDE941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b6479083c3a9fa4c0241ba0f47f848bad11418f","datavalue":{"value":{"entity-type":"item","numeric-id":2856633,"id":"Q2856633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2da6445648fff116b4a154933f67801d03f1dde","datavalue":{"value":{"amount":"+0.8809981","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":"Q1390952$EC15C622-7B0D-4452-AE71-522466FBCC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff897a52edb4c19eb266cdaddab5ec02d836513","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fecd87eb384a235e444e66efc77999fa8bd054b7","datavalue":{"value":{"amount":"+0.8675785","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":"Q1390952$9AB1F42C-D7ED-492D-8AA4-1F71A152DAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176e64a5c75231fe28ee166263798112284e812c","datavalue":{"value":{"entity-type":"item","numeric-id":1919548,"id":"Q1919548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9ff7a2c71c7efcf4927d71cb2da68ca6ca2d90","datavalue":{"value":{"amount":"+0.867563","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":"Q1390952$37CB8FBC-0146-453E-9E60-2E7FF9744B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec681975bb3b05c606436011c0387178b7a8da20","datavalue":{"value":{"entity-type":"item","numeric-id":5902142,"id":"Q5902142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9ec1335210629e401ca062cafaff7ca896cebb","datavalue":{"value":{"amount":"+0.8622042","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":"Q1390952$7B7EF1AB-D443-44F7-93A8-11B3B7D28A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b85fcc479fe74355b26fd43e2b0f1630ad953a","datavalue":{"value":{"entity-type":"item","numeric-id":5894004,"id":"Q5894004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6682896dadc613a8d3b68aa68eeab79512570226","datavalue":{"value":{"amount":"+0.862204","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":"Q1390952$C02E97DA-329B-4510-B04A-CABE060296D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3720fb551bf8c8dd2bf3f28b889da5130af7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce94fa2ada129926a5030f30f5a6f3efd7e6d3fa","datavalue":{"value":{"amount":"+0.8588318","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":"Q1390952$391B4F81-5F47-4E74-B7BA-9807B2E9D29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc84240eedfec5798f9f3e58c4c14a074c01e29","datavalue":{"value":{"entity-type":"item","numeric-id":4327828,"id":"Q4327828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d451026d51ddd36dd9c7b3f1e7c373dc50ea760b","datavalue":{"value":{"amount":"+0.8587287","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":"Q1390952$601939DE-CD12-4638-BCEB-256ED2775DD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"New Curry-Howard terms for full linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/New_Curry-Howard_terms_for_full_linear_logic"}}}}}