{"entities":{"Q911575":{"pageid":913423,"ns":120,"title":"Item:Q911575","lastrevid":49367575,"modified":"2026-01-07T01:13:58Z","type":"item","id":"Q911575","labels":{"en":{"language":"en","value":"The Gentzenization and decidability of RW"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4142004"}},"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":"Q911575$359B5B88-52FD-4333-A55C-D1AC58B56A01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f31d25cad8bba411b1cf45c144c7e928c1be7af8","datavalue":{"value":{"text":"The Gentzenization and decidability of RW","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911575$F4F82DDD-E7AF-437E-B208-C9C8433167F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0511c47b7443adca5f4aabbe7fa4ce256cf8b5dd","datavalue":{"value":"0697.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911575$8CAE0CD7-1D36-44C3-B62A-1DE315706DAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6da6b6c54a8710b06cf7a0aba3d43c8dbddb66aa","datavalue":{"value":"10.1007/BF00211185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911575$860C4205-1886-4C04-84CE-E0F939D4B044","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3788d8eb15a23fa0f90cdf206746b1b67d371a9e","datavalue":{"value":{"entity-type":"item","numeric-id":484103,"id":"Q484103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911575$4C53A270-8080-4748-9E87-2DAF22BA865C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911575$F1F5D5C2-1367-4E32-999A-8C90E0606033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q911575$FC5A6524-AF31-40D2-AB35-72BF8F7BF245","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e82525c3795222e6815b8556b989c8efe8d80ba1","datavalue":{"value":"By extending the approach of \\textit{J. M. Dunn} presented in the monumental monography ``Entailment. The logic of relevance and necessity. Vol. I'' (1975; Zbl 0323.02030) by \\textit{A. R. Anderson} and \\textit{N. D. Belnap} jun., the author presents a cut-free Gentzen-type formulation of the relevant system RW. The treatment of negation is similar to that of \\textit{R. A. Bull} for the fragment of RW without distribution [Notre Dame J. Formal Logic 28, 220-237 (1987; Zbl 0648.03007)] and that of \\textit{I. D. Zaslavskij} for Nelson's logic of constructible falsity [Symmetric constructive logic (in Russian), Armenian Academy of Sciences (Erevan, 1978)]. In order to get decidability for RW, \\textit{S. Giambrone}'s decidability argument is used [J. Philos. Logic 14, 235-254 (1985; Zbl 0587.03014)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q911575$3F89412A-03DF-4637-A39A-2095DE9815B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911575$3C0A3668-6AED-4C37-9B00-5641944D5D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911575$9BF9294C-E7BE-4859-978D-18907FB603EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911575$0DDAC839-BDF9-4713-99F9-9AF9F4497BE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a520459f73a446b96c8a8407369f4ce78366c035","datavalue":{"value":"4142004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911575$1F598124-BA62-4E7F-9A4C-5E28D23278D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4afaecdabe478e1e1e2d99fdc157d85b4c2376a5","datavalue":{"value":"cut-free Gentzen-type formulation of the relevant system RW","type":"string"},"datatype":"string"},"type":"statement","id":"Q911575$8D9C0D30-F86E-4449-8EDD-C4D777434B18","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":"Q911575$C97D92D8-E800-4514-A7A2-F2063841A00E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2603fd3f9259b7eac8ef15b6d4ac319e650b481","datavalue":{"value":"https://doi.org/10.1007/bf00211185","type":"string"},"datatype":"url"},"type":"statement","id":"Q911575$B5EF0F32-0833-4B69-A481-A8EBB0415F6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b15153ac4d97d643d8dbba0cc674446ce24e048","datavalue":{"value":"W2003464476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911575$103EFF0D-C502-44E7-8F7A-34918CB781E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63d84f24d8bd1e2bb35c8f6cfd21559ed6f4edc","datavalue":{"value":{"entity-type":"item","numeric-id":2277247,"id":"Q2277247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b352637e9e6328018e7fbf268ec941486e189e8f","datavalue":{"value":{"amount":"+0.844726026058197","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":"Q911575$D2961235-314E-4C82-9795-7577F1695864","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":"00ee6d868ef33bc021122eca30eab784dcbd360a","datavalue":{"value":{"amount":"+0.8322097063064575","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":"Q911575$4E55CCA1-FA46-45DB-AEF3-4B3274AA940B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f544bcd3637b0788720531b4149b87734d57525","datavalue":{"value":{"entity-type":"item","numeric-id":4894718,"id":"Q4894718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d636e33c006638f43a1f9e3f2d324f5ed56111f","datavalue":{"value":{"amount":"+0.8215609192848206","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":"Q911575$D3965905-99A1-45E7-A17E-7342C6A670E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1045d1d43ecac57bf02d9e545b4e5924e4db95e0","datavalue":{"value":{"entity-type":"item","numeric-id":4228152,"id":"Q4228152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd20f0b8d38f488a464b83af24b09155f37d1190","datavalue":{"value":{"amount":"+0.8166933059692383","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":"Q911575$091E5926-A983-4130-A522-7EEE1A789A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88123eb6091fab4004be16930880aad6b1fdfe5d","datavalue":{"value":{"entity-type":"item","numeric-id":3728879,"id":"Q3728879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d040565b397da8def89a04106d7c4cffda903ab","datavalue":{"value":{"amount":"+0.8151693940162659","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":"Q911575$841A1F0B-8D0A-4860-BE73-59F15166573A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:911575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:911575"}}}}}