{"entities":{"Q2946572":{"pageid":2957292,"ns":120,"title":"Item:Q2946572","lastrevid":58062564,"modified":"2026-04-03T16:01:31Z","type":"item","id":"Q2946572","labels":{"en":{"language":"en","value":"On the proof complexity of deep inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483081"}},"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":"Q2946572$66236822-38CC-498F-A0FA-49A1F786097D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eec2bc9b2b6acd2fe3b0449e17ff5ff016fe77e6","datavalue":{"value":{"text":"On the proof complexity of deep inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946572$E81DBDCC-BEF9-4213-A188-EC37E80B03F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e5407138ac77c15cdee9aa7a493502046bca514","datavalue":{"value":"1351.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946572$5C9D14B3-E4D2-443A-AACE-0475933C158C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62bff25efd7a28644cdaf889a643cd6363743e65","datavalue":{"value":"10.1145/1462179.1462186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946572$C3904AC0-8DBB-4638-B8AA-3A2D2C8C6317","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd3ed2b4f31654a06039d9483f2de0ff47a0ba93","datavalue":{"value":{"entity-type":"item","numeric-id":1685910,"id":"Q1685910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946572$588A52D8-BE0D-4C89-98B7-328247872D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52205c49578ff1cfeedb9fdb2178766a03a9a062","datavalue":{"value":{"entity-type":"item","numeric-id":1035694,"id":"Q1035694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946572$659346DD-F757-4ECF-B096-A621F9C46D1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946572$20F00EE6-5EF6-4768-A17F-F69BBE603AA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946572$8699DC3D-DA16-4E7E-8442-E3DE5F8FFE7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2512b997b052280c71a00895a5b2eb84801975c","datavalue":{"value":"https://arxiv.org/abs/0709.1201","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946572$FC7C4F86-B8EB-4675-88E9-6A704968915B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"89f83fd9fbaa790a518caab46409bf0ed1a4a7bf","datavalue":{"value":"http://opus.bath.ac.uk/14343/1/PrComplDI.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946572$FCF1EDDA-F3C6-479A-8ACA-6B0C7525F1EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946572$16EB1616-E033-4749-9005-8C23FE173B73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbdc6d1100ba96489c58b70404ad91b25f486d19","datavalue":{"value":"6483081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946572$211D52C4-C26E-45C0-9B35-6C86F1C37A87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d75ab3b1d0b161be33e4d2ec6fa01a5a7c7f224","datavalue":{"value":"analyticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946572$74230212-A315-43DF-9AEB-972B1D748D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946572$B9BFEA36-88E4-4DDE-B957-66488FB520E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59c01dd09d51d3148f797e85ada3b20c2b0d4eaf","datavalue":{"value":"Statman tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946572$D33C99F8-D58C-4D33-AAF6-ED41CF2B18AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6bfc6cb4e944c3dea94e46f9c5f8b0ec2fcd1e5","datavalue":{"value":"calculus of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946572$2FDAC938-A4E3-4124-A28D-79DF70A1A735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946572$53AE5F65-3F2B-445F-BAFC-7D2AF874004B","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":"Q2946572$384B4EAF-60F5-4187-9FB6-E9AAD2837FDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0173eb5a8b3adf5acc8057032605320b733a78f5","datavalue":{"value":"W3123028025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946572$440D7579-3D12-4F7E-A5AD-6E6B4226C4D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4041bd2b4e07bb18d5cb36a3fdde866a268fa874","datavalue":{"value":{"entity-type":"item","numeric-id":3010365,"id":"Q3010365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f8cadd4889e686a430e49ae7361795aeff5ddc","datavalue":{"value":{"amount":"+0.94761753","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":"Q2946572$25637264-8C04-48F9-8A03-9CDABDE2717C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929eede9048cd88ecd70b139d156db1cbbde364c","datavalue":{"value":{"entity-type":"item","numeric-id":5177335,"id":"Q5177335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6930b7d0bb5f6b92d50775ef697f53260d2d25","datavalue":{"value":{"amount":"+0.9249176","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":"Q2946572$B6842142-BF51-46F1-96A7-02A05840BC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8a5824c4c5341fda5b7bb998df3eb71f740424","datavalue":{"value":{"entity-type":"item","numeric-id":5915784,"id":"Q5915784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df6cb4107d8ebebb2c766a81df551fc88b6492f","datavalue":{"value":{"amount":"+0.9101801","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":"Q2946572$27CCE666-73CE-4D9B-B463-C8C23D92986B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a38b6394765ebb07fae2d97561ffb598d1851b","datavalue":{"value":{"entity-type":"item","numeric-id":5919583,"id":"Q5919583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df6cb4107d8ebebb2c766a81df551fc88b6492f","datavalue":{"value":{"amount":"+0.9101801","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":"Q2946572$6A8A4068-C298-4D52-A530-ECEA80D17D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450ef75eab7759ec3e2c41e6b79462da7c276b1","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b028c9799aca0b2b54b881906c64b3197abcd7c0","datavalue":{"value":{"amount":"+0.89757824","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":"Q2946572$C9C1C693-BA4B-4511-B058-00E3F951228D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bdecc46d0879f1d4e40647e5eaf94b751919c0","datavalue":{"value":{"entity-type":"item","numeric-id":2820698,"id":"Q2820698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8a9ce9d0cbc7b2eef478af6235377d1efd48e4","datavalue":{"value":{"amount":"+0.8884996","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":"Q2946572$1BB9BBB7-3646-4CF3-92F4-05E0CC4A85A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee998d7bb952ef3689ccf52ff2663b12d6eb55d","datavalue":{"value":{"entity-type":"item","numeric-id":3375282,"id":"Q3375282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2650e076f79fd9c6c7f7c53fe26ccebf95e5834","datavalue":{"value":{"amount":"+0.8877243","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":"Q2946572$252CE80E-0E72-4C9E-A9E2-84846B8FC720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7b6d75711df6449834ab6bfbbdc0e57474440b","datavalue":{"value":{"entity-type":"item","numeric-id":1742817,"id":"Q1742817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272b0d65bca5bda47cadadd5f5f7a08b35a114b5","datavalue":{"value":{"amount":"+0.88347155","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":"Q2946572$895FCF76-B74C-49FA-A0CE-57F5526B07EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086e0384dfaa2769a4accff060066099d51ba297","datavalue":{"value":{"entity-type":"item","numeric-id":3094143,"id":"Q3094143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffaace5d0017cba9f630af8b294e93d84315b25","datavalue":{"value":{"amount":"+0.8801359","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":"Q2946572$A95CB7A5-1C79-431F-98BC-EFA43D38DCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc8c39c3346244619f4e7189d05d4e99f2ae68b","datavalue":{"value":{"entity-type":"item","numeric-id":2904403,"id":"Q2904403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fd1c2491b9e4a899ab588dbfb180e1cd81c0b3","datavalue":{"value":{"amount":"+0.86810184","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":"Q2946572$4F6905E2-6D78-4DF3-A921-7575FD225CBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946572"}}}}}