{"entities":{"Q2084964":{"pageid":2095706,"ns":120,"title":"Item:Q2084964","lastrevid":54420551,"modified":"2026-01-26T19:14:15Z","type":"item","id":"Q2084964","labels":{"en":{"language":"en","value":"On the proof complexity of logics of bounded branching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7601555"}},"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":"Q2084964$267D9F31-822D-4213-BDEA-5C8A957298F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fabf2fd6f1d4ff376df31d7d2d9a80282d917784","datavalue":{"value":{"text":"On the proof complexity of logics of bounded branching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2084964$3024B5A4-7721-4AA1-A1AB-4074A0218681","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$EDF559B5-5B57-4AB7-B7DF-3B6FF2083356","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$25C1FB28-2AF6-48B0-B9CA-84FB4848A185","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fcf3265ef324cd8f042b5ffc2d91b62eb5b915","datavalue":{"value":{"time":"+2022-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2084964$E4229EBB-9E54-4AAB-BD8D-D658F8823EBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3797875ed523efc138fbb617af1ec8eeeef78de6","datavalue":{"value":"https://arxiv.org/abs/2004.11282","type":"string"},"datatype":"url"},"type":"statement","id":"Q2084964$8E602A5E-E81E-4294-B34E-9DB928FC06BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084964$667200DE-9FC3-42FE-8A97-9C463DCF0A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084964$793D367D-EEF5-4F5D-B421-4BFB6732EA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084964$A794DF78-0D0D-4C24-9C7B-8AA93FD35B3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9384ec6beeff5d08c0046de0943cdcad884ea646","datavalue":{"value":"7601555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084964$533AEE65-D13C-4E53-80AF-B5DD7C6EB688","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084964$04D4A5E4-6299-499C-BE48-BB562653A98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084964$803A3285-C5F7-47E6-81F1-2A39D16905BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084964$CEF86C2B-7146-40B2-84DA-6C3561350915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b4f12e5be248b475d62538619db96b06c44a187","datavalue":{"value":"extended Frege system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084964$EBC147D8-ECEA-4AAE-8B9C-0A3454097A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084964$FA5170C9-5596-4CED-B9E3-8AC454881911","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":"Q2084964$88972695-CAB8-4B65-B9BC-65DA091852B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5433375b46ccf8de02c0eca4a1e6daf291632799","datavalue":{"value":"W4287812606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084964$22D16AAA-5E81-4BB6-AABB-26AEBD5F809B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"76841f9288c6294925e12af42d2a3e5a8f4a49d2","datavalue":{"value":"Q113880314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084964$3579D619-FD20-4210-BEB2-7D877C1C6C29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cfc6d1ca649e77a169b6cd08a9283c8c165615","datavalue":{"value":{"entity-type":"item","numeric-id":1304542,"id":"Q1304542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$01BB34FB-E9B3-40CC-AC21-15EF937FA20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc582242659cee49d409675b8250ad17fb5d767","datavalue":{"value":{"entity-type":"item","numeric-id":5940143,"id":"Q5940143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$A3E39C9F-D35A-4612-AE55-56C56B9ADE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f718d8e8c73e0b0c970c4fe73823fad74cf6674","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$1C59ADA3-841D-4B3B-81BB-D401966BDF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$8F7C5795-04DF-49F8-A1CF-2E8FE162BC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$69401CF4-9608-4F83-9FBC-3C3A259045AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac45ad0e557b1b65daa9ad0ae84ca22e9b11568","datavalue":{"value":{"entity-type":"item","numeric-id":5277730,"id":"Q5277730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$9EF1198C-0DAB-4078-866B-30073A713F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$29023A6E-C9E7-44EC-8D7C-76BE1D34E3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aadb89586b12baabd090fee59e578386a236b4eb","datavalue":{"value":{"entity-type":"item","numeric-id":5422311,"id":"Q5422311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$2DE18C5F-2403-4990-852E-48CF4E57AE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff4ee6a73fbacbcf6d7da620a82d0b3fbe596a6","datavalue":{"value":{"entity-type":"item","numeric-id":876385,"id":"Q876385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$68FB5D53-6B7D-4728-A269-D4A03F37F2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af1b7852a24d15cb98fd91aac427024f3784b9","datavalue":{"value":{"entity-type":"item","numeric-id":1006613,"id":"Q1006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$CD613BEC-7C7A-4483-BB1D-9895408DFAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$EB70CC5A-B749-4518-B995-B70619BE3118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea72334575ec9f68c192adc857ab078ff1e97f3","datavalue":{"value":{"entity-type":"item","numeric-id":2503409,"id":"Q2503409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$FC304CDA-11F5-491B-864B-2CB9FC18AA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdaa622836d078fa3fb4edaf82e381113fbbf02","datavalue":{"value":{"entity-type":"item","numeric-id":3508162,"id":"Q3508162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$3B4A5811-1DDF-4B68-AFE9-1F09839C86DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9d8bfe8f81eec003462d830bf21e3091d48818","datavalue":{"value":{"entity-type":"item","numeric-id":1023047,"id":"Q1023047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$F7B6720A-E7B3-4687-BF78-3FE8FDA6695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3497635f4008d062fcba9abb75ba5577251c0aa","datavalue":{"value":{"entity-type":"item","numeric-id":2346953,"id":"Q2346953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$5972498B-ED2D-42EC-A7B4-ED13394B36BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc62a7d0c8e9762ad2050016eed3f052ed0ba7e1","datavalue":{"value":{"entity-type":"item","numeric-id":331054,"id":"Q331054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$93269A93-8165-4E04-853E-3821A55B428D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e800e3c26531b9ed3d85ae89cce21b3efd7d644c","datavalue":{"value":{"entity-type":"item","numeric-id":2004954,"id":"Q2004954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$F5C6C44B-C986-46DC-A03F-7C479557A77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$853484A8-8A0B-4A73-8E56-F6150E1F48B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$6DA9E51D-A051-4639-B313-6F4D4D5A5BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9864cd692e177ef3a771b6df84de7a4d93d51b","datavalue":{"value":{"entity-type":"item","numeric-id":5460922,"id":"Q5460922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$0F6DD77E-C570-4B04-8030-F3693D322380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37793be3730796c8bd8943b2c004c4b13247fb3","datavalue":{"value":{"entity-type":"item","numeric-id":1401249,"id":"Q1401249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$7D159EBD-5CC5-4F3C-8F6B-D826C8821345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62756db01e363051fb903b58c62718f57d2ec5c4","datavalue":{"value":{"entity-type":"item","numeric-id":4640304,"id":"Q4640304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$4F86C658-5627-4F7B-AF94-AC00FB960643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$844A3A63-3485-4AF1-8628-082E850AA825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e6e4389eb351114acccb25274f6bf8d570c247","datavalue":{"value":{"entity-type":"item","numeric-id":5668435,"id":"Q5668435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084964$FE297970-96CA-4426-9319-AA194A5F5A4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa8a87abdde465f2495260f85a3189dc9e5917d","datavalue":{"value":"10.1016/J.APAL.2022.103181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084964$A8BA0DE1-6516-4EA8-8A14-D45187AC1785","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f441eca61eef4e4a50dc1b01d38543e5dd4f6e81","datavalue":{"value":{"entity-type":"item","numeric-id":1023047,"id":"Q1023047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559f6d841579d4eccbd1404369904228e7b9288c","datavalue":{"value":{"amount":"+0.8322829008102417","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":"Q2084964$C560B247-A6F0-4E0F-8531-B182A12B4879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2277ff7c41191c25c17b3cafdb32706d5effd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb40e31730084ab20351d2ea23709e679c80d5a","datavalue":{"value":{"amount":"+0.7897582054138184","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":"Q2084964$BBDEA442-AF52-4A47-8388-738E5C2B259F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e3bfa89bbce593c83c8f2ca50e1fbe1bc8b7d1","datavalue":{"value":{"entity-type":"item","numeric-id":2032997,"id":"Q2032997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2616781ee9f3b730a344e1010f2554018ab4eb","datavalue":{"value":{"amount":"+0.7813844680786133","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":"Q2084964$FC7A4D5E-C59B-4F21-9A03-EFD871C50999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4b7ceef9e5ff2113f203b50f7b4436628f05","datavalue":{"value":{"entity-type":"item","numeric-id":5422311,"id":"Q5422311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0215a24dc6a6338fa198b27327b0170eff80ce29","datavalue":{"value":{"amount":"+0.7798764705657959","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":"Q2084964$7C828976-1792-48A6-838B-0B1DC9382615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4cc45139fbfe093a2bc18cf33ce7eee42df4dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2503409,"id":"Q2503409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d775ee9d5b4c8f45997adf4bf706190d0e47abe","datavalue":{"value":{"amount":"+0.7741990089416504","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":"Q2084964$3E6113C0-B831-44E5-B452-BF82E6C8EDCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2084964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2084964"}}}}}