{"entities":{"Q798649":{"pageid":800497,"ns":120,"title":"Item:Q798649","lastrevid":42702235,"modified":"2025-07-08T15:35:21Z","type":"item","id":"Q798649","labels":{"en":{"language":"en","value":"On some proof theoretical properties of the modal logic GL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871326"}},"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":"Q798649$FBC1A7F9-C381-4792-A15C-6019154B42F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6652eda566617c7d0e08c1a0515b8ca8a11932c5","datavalue":{"value":{"text":"On some proof theoretical properties of the modal logic GL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798649$5AC58F00-246E-47E0-8EBC-A247B698B698","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1900b4f226fbe19ecfdd0d5e860a0a1fdb240a6e","datavalue":{"value":"0547.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798649$0627BA4E-EE47-47CA-A9A1-F92A232EF088","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba5e7bc831d8154ee04b217b4ec4d598f1a81b8c","datavalue":{"value":"10.1007/BF01371633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798649$58FDEFB6-B837-40EE-AFCD-92FF8CC2CBC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"262086892311cfbe8f0b8a3f2629f17366173e0a","datavalue":{"value":{"entity-type":"item","numeric-id":798648,"id":"Q798648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$6ED6096C-4CBF-4EE5-9A02-5099DFD7F176","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$652AED2C-14B4-486C-B02A-9E5E1B104C80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q798649$4E3C4007-A186-4644-82F9-AAEA89EDF5CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9438c5c470d0b08901749b05d921d79ed6d2f40a","datavalue":{"value":"GL is the propositional modal logic complete under the interpretation of necessity as provability in first-order arithmetic. The cut elimination proof for GL given by \\textit{D. Leivant} [J. Symb. Logic 46, 531--538 (1981; Zbl 0464.03019)] contained a gap repaired by \\textit{S. Valentini} [J. Philos. Logic 12, 471--476 (1983; Zbl 0535.03031)]. The author presents another cut elimination proof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798649$A353C27B-3169-4CE6-8AA4-54DCE9A1797B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798649$349481F8-2DD0-40BC-9D36-25E18A23FA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798649$03AC9259-D4DF-4D3A-AACB-558832A39C19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4376f77e3bbf2d1ac69e68e8bef93fb7d8377788","datavalue":{"value":"3871326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798649$91F79AC3-9A69-48B7-B4E0-DC0A12A711F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71aaa9fac8e115deeeaaaac57f480b7bcae9061","datavalue":{"value":"GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q798649$0B3D3F6A-D3D9-4FB2-9A09-14BCE4E013E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q798649$600CDFE8-4D5B-4EC4-B26A-79E1F7F9C55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q798649$B4370D3A-D41D-44F3-BA67-D175766D7FE3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$4AAB5081-5392-4A4E-B189-10CA7087BB21","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":"Q798649$12D83394-CFB7-46A0-A7CD-988CCC306C63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$957B8FE8-0C88-42D4-AE11-497BC7958966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$EE8A9AB7-E16B-4A6E-A627-79B2B70120B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$E2107C32-7BDE-4420-8AEB-8443B8F24386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4196aa856e022b95d032a8421e5fadcfeb1922b9","datavalue":{"value":{"entity-type":"item","numeric-id":3914957,"id":"Q3914957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$A5E35080-4A08-4445-B4B3-FB358B4E3303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4791a496c448b32eeaa1ffa8df0415b7121421","datavalue":{"value":{"entity-type":"item","numeric-id":1150597,"id":"Q1150597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$D1D82680-0CA0-4B84-8F08-3E0E163A1C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$0313D317-F2E1-4F37-9EB1-E56C9F2D8FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f9ee8d481f53e1bfdaf761db218eb4734cddf6","datavalue":{"value":{"entity-type":"item","numeric-id":2557690,"id":"Q2557690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$6F0FB160-F873-4269-9DB0-A6083E3DC467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$058D785A-C93A-4F39-AE8C-DDE739BB80B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9046092912369ae53c021eb53125c7bea4658d3d","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798649$8B47B613-D0D7-4E21-B983-B27F69CBB37A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94dbc4d5af6628bf041d1a959215ec69f7cf4ed8","datavalue":{"value":{"entity-type":"item","numeric-id":3753985,"id":"Q3753985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d47cb50943881e2c9d9894be7c60f150bdd3ef","datavalue":{"value":{"amount":"+0.93006927","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":"Q798649$C4CFFDB9-68AB-49F7-9050-69A5B8291241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e599ee233157ee78362f00dd208a178e39bd3a04","datavalue":{"value":{"entity-type":"item","numeric-id":5939999,"id":"Q5939999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d24c6e3e2c5392f50d10e05265efbb3a15ddb8","datavalue":{"value":{"amount":"+0.9288223","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":"Q798649$1E657632-F0CD-49B5-ADE4-BB765ED22DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08165164e195013bbfd5826e235a12daf82c2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":3003328,"id":"Q3003328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc051ea8452d238ddb7b33e7ffab016337190c8","datavalue":{"value":{"amount":"+0.91918874","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":"Q798649$1736568A-F8C0-49C3-A152-7B4B09DD7703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e62a5ff29244dea5a3375bdd4f76c5f78c9395","datavalue":{"value":{"entity-type":"item","numeric-id":3749039,"id":"Q3749039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd37b9e3e62ccba51b70f7df56ef65c618ef23f","datavalue":{"value":{"amount":"+0.91564643","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":"Q798649$C348E17D-430A-487A-AA62-5404C81D479C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0b4fb6948c8f54dc67ea16bd08a699892a658a","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd37b9e3e62ccba51b70f7df56ef65c618ef23f","datavalue":{"value":{"amount":"+0.91564643","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":"Q798649$348BD0E4-65A5-4E90-92E9-CB07AA69D1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a49013210b1b77d7f956d5fe7605f09d02eee97","datavalue":{"value":{"entity-type":"item","numeric-id":3202992,"id":"Q3202992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b60cefe11ed17f6263ea58dbe6e55dbc5bd1865","datavalue":{"value":{"amount":"+0.9110076","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":"Q798649$0FAA3CBB-5F74-4ED0-957A-6578B8AB2709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c85509e83dbef71387fada9aa30eaccb06cac11","datavalue":{"value":{"entity-type":"item","numeric-id":3495340,"id":"Q3495340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0f0b57b3efb3902530c76b7fd2fd88b674e5ed","datavalue":{"value":{"amount":"+0.906816","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":"Q798649$EF87F4FC-55B6-4995-8E64-07DA6CBFAD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d1e708b2e469be7ec03df78ad98200a7c69af2","datavalue":{"value":{"entity-type":"item","numeric-id":636278,"id":"Q636278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f896a3a3f999a3ffa45d5fb695092cf056381cdb","datavalue":{"value":{"amount":"+0.9058794","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":"Q798649$D5D5C220-9D0C-49E3-8400-2B889EC23E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed030b74f186a9c7e144c1a5c1bdbc2e1e44f57","datavalue":{"value":{"entity-type":"item","numeric-id":622627,"id":"Q622627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4414fb1e228f66ecffe9794dac95570872ea2ce3","datavalue":{"value":{"amount":"+0.9051208","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":"Q798649$A024A25A-8EA3-4345-8DE5-7CF3F8180307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5e3802bd5dfe947195afba9933da926c295cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912118767ffae57542f6c2880d6d71d91d0c33c4","datavalue":{"value":{"amount":"+0.90370315","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":"Q798649$64F56F48-166E-4F12-856E-1E9AADFB119E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798649"}}}}}