{"entities":{"Q4337947":{"pageid":6367547,"ns":120,"title":"Item:Q4337947","lastrevid":58240941,"modified":"2026-04-04T09:20:34Z","type":"item","id":"Q4337947","labels":{"en":{"language":"en","value":"Making proofs without Modus Ponens:  An introduction to the combinatorics and complexity of cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014086"}},"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":"Q4337947$83C465F8-A53E-470B-8531-FE4DADD82569","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd7cc4f3e065d6ff6941d1d000a87731ee877180","datavalue":{"value":{"text":"Making proofs without Modus Ponens:  An introduction to the combinatorics and complexity of cut elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4337947$1FB12869-4B17-4BFC-8D24-79072671FAA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d359a6d687c7d1011a1ea9f37eed0e7ae313d34","datavalue":{"value":"0873.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337947$F5CCABA8-5C6A-4ECB-87BB-42019B609401","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c51f649a69d57d01db17ea34961f43bc66907090","datavalue":{"value":"10.1090/S0273-0979-97-00715-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337947$AC750D18-C5AF-47AF-A363-E29409BAE23F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bad4f4466d23f29df03df6fb7ceccb2f6d1efc1d","datavalue":{"value":{"entity-type":"item","numeric-id":195373,"id":"Q195373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4337947$89D77936-C610-4E84-9788-9538ADA70A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db2fe20e7af1bde4dc050e6d480bb6b9ca259444","datavalue":{"value":{"entity-type":"item","numeric-id":702484,"id":"Q702484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4337947$D35FB682-6172-4FDA-B844-D4AEE6B3141E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4337947$DA11D87E-C38A-4ABA-93A4-01F1CC1B370A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d678c04debcdfee5c940733d907b42bccdfc6cf2","datavalue":{"value":{"time":"+1997-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4337947$7069715E-A329-43B7-B030-04FD4B5AE547","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6792dcafde03f575b451c221c5d8ac4f55bce9c4","datavalue":{"value":"https://arxiv.org/abs/math/9607204","type":"string"},"datatype":"url"},"type":"statement","id":"Q4337947$8F617D4E-E87C-45B3-A0D0-465D68F42F0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337947$111D83D8-E422-45BF-A6B7-53BDDE34B60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337947$ADB212CD-BCDB-4D79-85BD-901E9DD14867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337947$14B4367C-8172-4CC6-B3FF-34B6D93D48FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337947$0057FF9E-4A42-4DD9-B668-470797ACFEDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a099021af80ad3d0abbea2f432b2bad3e7814ca","datavalue":{"value":"1014086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337947$55F7CBAC-9548-4A06-A059-F43F83AD5E1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ef7c5f3ea2779bb931cd8cdaa22fd95934a07a9","datavalue":{"value":"combinatorial aspect of proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337947$F4C3E53A-F21D-4FB1-8288-4039AA585D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337947$489442E3-F1DC-476F-93AF-0D6BDECDE8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337947$268D590C-C388-42E2-A957-6A253C16ACE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4838bcb38e8f0202533cfd16a7693ed4b09c3e6","datavalue":{"value":"interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337947$27BB6FD7-9353-469E-8F6E-BEDC84023D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337947$75F7598A-9415-4DB9-8185-7208BE8575DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdc7474e48ae59b37104ca6306df016236aeb8e3","datavalue":{"value":"logical flow graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337947$7BB35FBF-2C56-439D-8936-F4E218321B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a12a64b76c418b2e7b67d5d76db9ea2190e2b90","datavalue":{"value":"geometry and dynamism in formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337947$FBF0AB00-4C1A-40A8-A20A-8E0C7037B8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337947$FB1FBDEC-4A2F-4293-B5C1-1454B06CA5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d90402635b71a0ab506ebd7376144a7b2b79785","datavalue":{"value":"John-Nirenberg theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337947$D3781417-09EC-4E18-94F9-1A161BE0187D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3de40cb1d3df8ca567591386daf2d148772866a1","datavalue":{"value":"nesting of quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337947$39EBCA57-9333-4E9C-92FE-34F7D4358C2B","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":"Q4337947$EC238D84-ECF4-4D4F-87FD-A0ADD5699A90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21d04cca6a3ab2228460822bf8e82bf740d4618e","datavalue":{"value":{"entity-type":"item","numeric-id":674415,"id":"Q674415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3123de8d0e44e88ca4ea28d818ca50a91d9553","datavalue":{"value":{"amount":"+0.8187367","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":"Q4337947$AE488C0B-1EBF-448B-B47A-1B6726FF721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1329bc066042196913cc8b42bf695dae1b2399c8","datavalue":{"value":{"entity-type":"item","numeric-id":5149136,"id":"Q5149136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499eb158fce4cf6a9247f924a97a700e504223a4","datavalue":{"value":{"amount":"+0.8169347","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":"Q4337947$8B499BE0-E690-4C0A-AC0B-B2249E1CA114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196cd9a5b604a058c4152ddf6e66003ea009b727","datavalue":{"value":{"entity-type":"item","numeric-id":2469641,"id":"Q2469641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"091999f9d807a33648499250d1564569ce362e3c","datavalue":{"value":{"amount":"+0.8080491","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":"Q4337947$BF1BE989-E439-40F9-BA6D-FFEEEBDE78FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8552d0f5b8961562d1eae43ec18f68b548d90c2","datavalue":{"value":{"entity-type":"item","numeric-id":1853510,"id":"Q1853510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0767ea2798df2287b9653ca6705a40159bd38f82","datavalue":{"value":{"amount":"+0.78598607","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":"Q4337947$10CEDD67-0513-4C8E-A77F-1D7DD38CFFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a28de9a49c627d5344d4fd033e884b70bacbf","datavalue":{"value":{"entity-type":"item","numeric-id":5111329,"id":"Q5111329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744c916ff558da2556b18e5dcbae2a62a19f0406","datavalue":{"value":{"amount":"+0.780669","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":"Q4337947$B59F0CBE-D26A-4D00-B860-F7D8BE26829D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15eb94378dfe636fea970b740918d8feca8f1cb1","datavalue":{"value":{"entity-type":"item","numeric-id":6103000,"id":"Q6103000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687492d1626470b623cd5a107533c612263161d5","datavalue":{"value":{"amount":"+0.77763087","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":"Q4337947$BC21B61D-FE5F-4A62-8184-30F72A62337E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f35f020cfbefc7fa2a8b745d3022d4f182f33ea","datavalue":{"value":{"amount":"+0.77319014","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":"Q4337947$8F4BDF3C-9C2F-4E01-A6C8-E771F234CEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53bca1d06dbb6380267a6ecb6c728afd5be6f617","datavalue":{"value":{"entity-type":"item","numeric-id":1125056,"id":"Q1125056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9ca2036cad37a32a8b5989f0610ab45b39d294","datavalue":{"value":{"amount":"+0.7706597","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":"Q4337947$E4CD9743-ED85-459A-98B0-AB66AA827139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd8fa845b38dd909099ee3e571d9176b2c381f1","datavalue":{"value":{"entity-type":"item","numeric-id":5884933,"id":"Q5884933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dd013976a876ffef650f292a63f70412cc65db","datavalue":{"value":{"amount":"+0.7700274","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":"Q4337947$453B4817-5AB7-4249-8167-56328D18A6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff547c2c3a8f98f9d40f40613e5288d52f38309","datavalue":{"value":{"entity-type":"item","numeric-id":4440824,"id":"Q4440824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a695b725840b085e7fe8d5307a78fc5dde3ed04a","datavalue":{"value":{"amount":"+0.7695472","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":"Q4337947$F6001138-00F5-430E-ABD8-4D5E67180A3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4337947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4337947"}}}}}