{"entities":{"Q4609358":{"pageid":6638941,"ns":120,"title":"Item:Q4609358","lastrevid":53053400,"modified":"2026-01-24T03:21:06Z","type":"item","id":"Q4609358","labels":{"en":{"language":"en","value":"A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6855133"}},"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":"Q4609358$7A3EF430-C9EC-4348-84BC-E660071AA8F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb69b05f8e27f2e47eefe5b33558322d1ce2a93a","datavalue":{"value":{"text":"A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4609358$C9E7279C-93C7-4046-A93F-2CBDA057D97D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b21372140928eb2ac6b94207728e923cf97bd5bc","datavalue":{"value":"1417.03283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609358$4057BDAF-50C9-421C-8C8A-E77C59428BA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"845131f61675dc598cf5b112cd33adde1be5ff47","datavalue":{"value":"10.4467/20842589RM.17.006.7144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609358$99FB5E24-5597-4094-8D0F-55B4D41DFE31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73718bee04a6f42a4a277895708f8993ae83bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2046879,"id":"Q2046879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609358$65710E9E-B6F5-42D9-818F-8A5BAE3EA499","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a0d78bb1ba0b96c6ee7b4ed752efc00bcce9c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4609352,"id":"Q4609352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609358$3F52442E-DF29-436B-B919-552F7032EBBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd3c7a1512e9f937cd8f2a23c9198445c7d7808b","datavalue":{"value":{"time":"+2018-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4609358$F529807A-DCF6-48D3-8CA9-6912277FCB06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609358$253AC63F-C68A-4646-A56E-1DA1AA0E1D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609358$7B9CE34C-C126-4118-AC8E-5ED0D2BDA4D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f2fb153234786510cf0b4f1706c5db21a55640f","datavalue":{"value":"6855133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609358$4F69AD07-B28A-484A-AD1D-6B61B3599291","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4609358$E845BEB9-3812-427A-AC0D-80CD1A472A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4609358$B3ECD966-F6D2-4A00-A7B0-19F4A811A13D","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":"Q4609358$106D0610-F251-40F7-B487-A64BE255D1FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c826003fcb1879ccfa180833315c60dafe968ad","datavalue":{"value":{"amount":"+0.8238978981971741","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":"Q4609358$6E9366FC-C9EB-41B8-8F81-6BA031977F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e43534c5881c9212217c8bb6eb6ff07ede7078","datavalue":{"value":{"entity-type":"item","numeric-id":2958209,"id":"Q2958209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04308680959d6e88f408b21b2d5b036a1738def","datavalue":{"value":{"amount":"+0.8140857219696045","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":"Q4609358$85340A57-BE1F-4CB1-85A4-62952B13A96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9d9674d2a3331a738b83ece55648bc7394f2a7","datavalue":{"value":{"entity-type":"item","numeric-id":6047679,"id":"Q6047679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1472132bfbb7d96270f25293faac1c43961d940c","datavalue":{"value":{"amount":"+0.8129071593284607","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":"Q4609358$36BBE265-3322-4AA6-83BA-040F7DDE1A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3206d7c121ced57d7a62b35ef045ac4abc52af06","datavalue":{"value":{"entity-type":"item","numeric-id":5172146,"id":"Q5172146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad64a4de936014dae0054882483cbd9097b4ff25","datavalue":{"value":{"amount":"+0.8116963505744934","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":"Q4609358$69B45247-7B05-450F-AC2F-A4F47861E16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d885227f885cbf4619d0b2a0a4268af7c45e49e0","datavalue":{"value":{"entity-type":"item","numeric-id":5279185,"id":"Q5279185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac5cfdc985093b1654e0f4fd39625ec2d9aaddd","datavalue":{"value":{"amount":"+0.8115556836128235","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":"Q4609358$04329934-871E-4299-BBD4-9465695CA361","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4609358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4609358"}}}}}