{"entities":{"Q288243":{"pageid":290010,"ns":120,"title":"Item:Q288243","lastrevid":60722394,"modified":"2026-04-10T18:44:00Z","type":"item","id":"Q288243","labels":{"en":{"language":"en","value":"Cut elimination for GLS using the terminability of its regress process"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6584572"}},"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":"Q288243$84DC267C-BFBA-459D-90CE-57DAD089C1F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"768aa97a81198ccd92e5f6ef6a041997f06de772","datavalue":{"value":{"text":"Cut elimination for GLS using the terminability of its regress process","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q288243$22E91589-1397-45D4-81E2-B8C6A64063E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fd3165d24a746b588e2f4082748c069c72dd90d","datavalue":{"value":"1392.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288243$2F95353E-3245-4EE5-8037-B01FD4C92C5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d6e2197472316f3a18fcf213f8a46df57a1f0e5","datavalue":{"value":{"entity-type":"item","numeric-id":288242,"id":"Q288242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288243$0C028935-37C0-4582-BE4C-DF6C993B0D07","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":"Q288243$1C71AB27-AA1C-4288-A6F7-31B26B01F7BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3df5911fe2651c5b316b1c434feff8234703d15","datavalue":{"value":{"time":"+2016-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q288243$7EFA14E4-0A7B-44E6-BA7F-4BCC8C4A58F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288243$DFB7571C-AA90-4053-84DD-C358674AEAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288243$132F9506-50DB-4849-9908-734038B02B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288243$DA210B79-3D50-4E09-A170-AF1F396633FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"203b5de466f8670c35134ddd5a3a97e708c91213","datavalue":{"value":"6584572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288243$4205F4E9-0D33-46CE-B8D7-F9768020CA26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q288243$56A1A903-CCD1-44FF-A0A2-2F9ADD0BBA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71aaa9fac8e115deeeaaaac57f480b7bcae9061","datavalue":{"value":"GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q288243$25C236FF-153D-4A0E-B060-889B8A76EC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55d1a5a23d28517d0f1d687655d587a4584e02fd","datavalue":{"value":"Gentzen-style logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q288243$B8580A49-FCFF-4C54-8410-5906098B9225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q288243$DA453800-8384-4E24-BBDF-1DD940E34130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7025e11375d15cfbdf4c826e3d2745f040909bc1","datavalue":{"value":"regress trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q288243$0F7CF2CB-E472-4A35-8BC3-A8A431D0622F","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":"Q288243$0E45CD10-7BCA-43ED-B398-8E577C39CD2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1361dec49eaa480fa0387580c33f77d1b26b3dcb","datavalue":{"value":"https://doi.org/10.1007/s10992-015-9368-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q288243$C42104EC-DF9C-4CCE-A28E-9179D95F2EAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"225ff18e01bfbd2b725ac9416763761cfee73e41","datavalue":{"value":"W2031842318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288243$B79A9970-A2B1-4559-A095-627D42330041","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcfc8403876b09cb2cc770b8d6fb399a97b6112d","datavalue":{"value":{"entity-type":"item","numeric-id":798649,"id":"Q798649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288243$8C050E2A-1619-41CB-AEAA-DF374D6FE3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffd84912139d8217e689626c314944e5a38b834","datavalue":{"value":{"entity-type":"item","numeric-id":3086940,"id":"Q3086940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288243$71D16E0D-D6A8-4FC5-BB4B-3DAADC5ED49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288243$ED7A51F1-E38B-48B3-BF48-4B3D6C56CDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288243$D57AEAC5-CC55-4409-91A2-11298512FFD3","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":"Q288243$A384E11E-F2C3-496E-82D3-3BA989AE0AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288243$A41AB7CD-4208-436F-AE8C-E3A6BBEEE848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288243$A5BE56AF-FA15-4F78-A8D2-35E3BC00A325","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":"Q288243$FEF6CBB9-3FDE-4E2E-A571-1FBF05287B30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"624cfb084f5ee072ca74a5e1672a7db3361fd52c","datavalue":{"value":"10.1007/S10992-015-9368-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288243$FBC44B3D-11B0-4521-BBA7-41FCA27C2E69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bea16cd865d4882ee157d0dce3c18d98abc3ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5458060,"id":"Q5458060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d6a1f4e92c2860111748b24d91136b609c79d1","datavalue":{"value":{"amount":"+0.8103147","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":"Q288243$93531C0B-A6AF-4778-B8AE-DAC7F8B8757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8a6a70c77b8169058caeb3717ebae1de1719d2","datavalue":{"value":{"entity-type":"item","numeric-id":2461191,"id":"Q2461191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8bf3db05bc90876e87da4f7226a010d0c73b2c","datavalue":{"value":{"amount":"+0.80700547","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":"Q288243$19FF4E7E-94B3-4E29-8463-7D2F7207C06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a379be0807c0684d3c8b85e371369487a0e89e65","datavalue":{"value":{"entity-type":"item","numeric-id":2778837,"id":"Q2778837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37c96e6a1774d5446388a590e10962ea77a781b","datavalue":{"value":{"amount":"+0.8069942","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":"Q288243$1B0C49B2-D8F7-4353-BE87-4ABFC0C31166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82b39a8a97bab50c0980e63d9de518e9eacf7e42","datavalue":{"value":{"entity-type":"item","numeric-id":3086775,"id":"Q3086775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf5857b1fd75f817fe25d88d0ec82ba70eecb22","datavalue":{"value":{"amount":"+0.8020996","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":"Q288243$2FD604DB-2C2D-473D-B054-B09B675F6CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52e1167840b090646dd1cce92861988315971bd","datavalue":{"value":{"entity-type":"item","numeric-id":2757851,"id":"Q2757851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32570f15161b2e6b0b367d8b5a28fdb54284943","datavalue":{"value":{"amount":"+0.7958782","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":"Q288243$6B957F03-898D-4CBA-8D80-FA686B37EB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6f765c6b7902d8915ece3356d4bd646f5d905b","datavalue":{"value":{"entity-type":"item","numeric-id":5013907,"id":"Q5013907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0282e85addb43e48b267930157b0d027e4f46dc0","datavalue":{"value":{"amount":"+0.7954756","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":"Q288243$EEF9CCB1-DC79-42F3-A83F-DE284365AC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06edfd31bb054f4da68c55d9538597b44c554982","datavalue":{"value":{"entity-type":"item","numeric-id":5947817,"id":"Q5947817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc26b76cc84e244dd5e2a9fac15a7a824bc08a3a","datavalue":{"value":{"amount":"+0.79519665","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":"Q288243$7E1A7CEC-A6CC-4BEC-B1BE-2859F0AC473E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ce288bed62a9702763d1c334cc4f61a13082dc","datavalue":{"value":{"entity-type":"item","numeric-id":5312946,"id":"Q5312946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b2171b6537a970e3022403447bb92ef7e9136e","datavalue":{"value":{"amount":"+0.7950939","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":"Q288243$4AAFB596-6573-4CFF-A869-08C2109E5279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b11b089fdcb819145a9f011e538809fbc54fc0d","datavalue":{"value":{"entity-type":"item","numeric-id":519763,"id":"Q519763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37453b10daafa89b3db483d9d545a793b823e0bf","datavalue":{"value":{"amount":"+0.7942653","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":"Q288243$C0B582FC-5CB7-45FE-8BE7-D8CD6A3942A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88a8e72937eddb3cb9b9dc7f36b53b3650bdb5a1","datavalue":{"value":{"entity-type":"item","numeric-id":1807817,"id":"Q1807817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26fe53971722d5e425b44700fb39a700eb27a122","datavalue":{"value":{"amount":"+0.79311085","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":"Q288243$D3CE06FC-2EE7-4FE2-A3B7-ACA4D0374EF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut elimination for GLS using the terminability of its regress process","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut_elimination_for_GLS_using_the_terminability_of_its_regress_process"}}}}}