{"entities":{"Q3797160":{"pageid":5827066,"ns":120,"title":"Item:Q3797160","lastrevid":53070239,"modified":"2026-01-24T04:09:59Z","type":"item","id":"Q3797160","labels":{"en":{"language":"en","value":"Natural deduction and sequent calculus for intuitionistic relevant logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4063063"}},"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":"Q3797160$FE02FE04-3FBB-4EE7-A857-BFAB77FB282F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a154e5a0cc5d87eaa88cb7487b35bae7835acbd","datavalue":{"value":{"text":"Natural deduction and sequent calculus for intuitionistic relevant logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3797160$2CEF8985-E7C0-42DD-BD9A-D70932129D91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a4976c425c6be28f64d89f5657e9d3d55398488","datavalue":{"value":"0652.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797160$9FE9869C-67BC-431A-BAAC-F58D2AEC3329","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99947c2c8b943dffe6aff1d5b300f060d5bcf953","datavalue":{"value":"10.2307/2274355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797160$A4DDA794-FAED-4B6A-BFC4-E9F91723700A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27254c1d2f89d1ba738a7f8c09db866c62eee8c2","datavalue":{"value":{"entity-type":"item","numeric-id":246764,"id":"Q246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3797160$CAEAD68A-4CB0-4B87-9421-5E8FC0A6762C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3797160$3929C9DF-BDBC-436D-8C8D-6E5381AD6975","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797160$C7A9E2E2-FD58-4DD2-97A3-84B1DA98AB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797160$D0AA2B76-23F1-47AE-B38C-85FCCBD619B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5ad316643593b208bc3a9e349cef0fdbc0c4cfd","datavalue":{"value":"4063063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797160$7FAB628A-7330-4E48-BEC7-81F6714094BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3797160$0978EA77-3180-4F3C-B8F0-D68645E6A093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3797160$E9C386F7-F924-4D2D-ADF9-396D9A0DE16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3797160$8B3E57A6-49BC-4787-94F0-0EDA275B5516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3797160$A0A50116-FD29-4439-9DCE-1702F09F441D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3797160$F725C999-659E-4FA3-9DA6-2CF7933B079A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3797160$2B514188-B079-480C-8E46-B61F8B46AFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9392e67bb799c6aa7170408d9c1ecd0bb0ce327e","datavalue":{"value":"consecution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3797160$A6D51E3C-A6FD-4514-A5AB-3130A2361FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3797160$3024DB1B-9AA7-436C-98EB-8CCF09AE412A","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":"Q3797160$B4435690-5C75-4995-A70A-F78F92173562","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8575419c663452f23067da825c718563d7e6af4d","datavalue":{"value":"https://doi.org/10.2307/2274355","type":"string"},"datatype":"url"},"type":"statement","id":"Q3797160$F0E5D409-7861-42EE-B761-E7B2503DEB86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4622aed59dfb9ac274aaff43341493d3af9948f7","datavalue":{"value":"W4248890745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797160$E2D02642-BC89-413D-96B1-D73FBED10540","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5fae0775e6b0b918b1abedbebe9c9b7f79e327","datavalue":{"value":{"entity-type":"item","numeric-id":1198408,"id":"Q1198408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31548ffcc8703f07b1b290e99591f081dd5c76ec","datavalue":{"value":{"amount":"+0.87378085","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":"Q3797160$38B0247D-AE36-4011-BF11-0E3EAF2FB804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b8d41424038a973a3bc198bcab23722cec1983","datavalue":{"value":{"entity-type":"item","numeric-id":2155944,"id":"Q2155944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce60a99c4402e96c72434671b00aef3b6453c3a3","datavalue":{"value":{"amount":"+0.8628982","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":"Q3797160$EDD9ECC6-5EAE-4340-9B70-A5E624125DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50851d1e52dee4b074e26d8738285bba5472ba21","datavalue":{"value":{"entity-type":"item","numeric-id":2735823,"id":"Q2735823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f396958f9ff696b6db5cd395165ffcf786da03a","datavalue":{"value":{"amount":"+0.85057366","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":"Q3797160$83586B4D-20D6-42BB-B78A-76E89EDE0EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662406e0e118a553db0578f95a48c5e1b49b33c9","datavalue":{"value":{"entity-type":"item","numeric-id":1066881,"id":"Q1066881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64cf67fc769994b629e950678b8cc3305c914836","datavalue":{"value":{"amount":"+0.8488612","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":"Q3797160$0B3DA475-C734-4D0E-B4F5-59EEE5C90C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b7f673c7f381ed30163adb1904ad83fb0ae0ed","datavalue":{"value":{"entity-type":"item","numeric-id":1061116,"id":"Q1061116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e794c8373231c51f6216b258bc28e67b1dbd61","datavalue":{"value":{"amount":"+0.8444069","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":"Q3797160$61D03ECB-B9A9-48F4-9D68-436F3BD2D3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28dce6162308c41cc9d0932e8eecc47be1a30581","datavalue":{"value":{"entity-type":"item","numeric-id":1820761,"id":"Q1820761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ece77367d51ce57ff996f4e152ebde82058e07","datavalue":{"value":{"amount":"+0.841491","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":"Q3797160$B24BFB5E-9C6D-4567-BFAB-59651E2A1DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dcb8deab2f3af3eedf2383799633afa4dd8b5a0","datavalue":{"value":{"entity-type":"item","numeric-id":793002,"id":"Q793002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ffb28faf5d0942331862330a1649bbeffc7eb4","datavalue":{"value":{"amount":"+0.8413359","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":"Q3797160$0EEE77AD-FD28-41E1-BCB3-D818A5B14CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38aef1902b07acc6a85cbbc2963b04061f89e4c0","datavalue":{"value":{"entity-type":"item","numeric-id":1106195,"id":"Q1106195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f6eb42b07bfebcd7e2a63d7d39c8b4b797efa1","datavalue":{"value":{"amount":"+0.8407178","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":"Q3797160$5BA86677-D200-49D5-B828-8C658F40ADA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbcfbb4052745fdbedc48b2d2429773bcb48271c","datavalue":{"value":{"entity-type":"item","numeric-id":2364652,"id":"Q2364652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77de2d40f559441d56388e3b9c86528874f106dd","datavalue":{"value":{"amount":"+0.8394003","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":"Q3797160$9CC906FA-8E76-4D88-B11F-2AA95F3BCC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dfea18e56c9026db233c6e65d012fbc660acce7","datavalue":{"value":{"entity-type":"item","numeric-id":4817204,"id":"Q4817204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0447444bc7860c23f4053a7a2d622fb40ca5c368","datavalue":{"value":{"amount":"+0.8384682","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":"Q3797160$E44FBF17-4B36-4DAD-8A8E-BD9FD6AE2DDE","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":"Q3797160$15901E44-7C40-4767-9BAC-2C2E9400643E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3797160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3797160"}}}}}