{"entities":{"Q2744125":{"pageid":2754864,"ns":120,"title":"Item:Q2744125","lastrevid":79187891,"modified":"2026-05-06T13:20:42Z","type":"item","id":"Q2744125","labels":{"en":{"language":"en","value":"Structural proof theory. With an appendix by Aarne Ranta"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1648157"}},"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":"Q2744125$CDE291BE-1600-4B17-9CC9-7EA04F77536E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5368b8c902159bbf7bc4ae5c2d853ca88da686e","datavalue":{"value":"1113.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744125$5FF17A4F-B0E5-4AFA-B029-0505BD20A1D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744125$76E5BA01-DD7F-464C-A424-2E2C1ED3FEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744125$7DB9F7B8-01E5-4F9F-BB0E-6D7884C32449","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a12c476678ac830de6d391e0b3f53860587b6e09","datavalue":{"value":{"time":"+2001-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2744125$59F6DDC0-F39C-4A49-A16A-567EB49F438C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744125$D4B38605-F764-4B8E-9A20-E0119DCCB574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744125$0CD59E5A-C03D-4EA8-9CDE-3C6B6B08689E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e83017d63585068116af6946ccf5255d762263cb","datavalue":{"value":"1648157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744125$5049B5C1-084B-4A11-AE9B-97637634742B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744125$C272E48A-A0E5-46F0-A53E-05ACBDD976E8","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":"Q2744125$F160AE85-58F4-4C33-9BA4-76F6C31E07B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"222fd980679d661753675b3e05c0eb96cb1762a2","datavalue":{"value":{"text":"Structural proof theory. With an appendix by Aarne Ranta","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2744125$85347B67-8D28-4777-B783-735C71D86DDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f650b25cb4d60aeba6f0ee8890637c39501f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5418473,"id":"Q5418473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f1e3f52910ac8031551469add45465cef6d824","datavalue":{"value":{"amount":"+0.8363681435585022","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":"Q2744125$FDD5793E-ACD2-4F3F-ABC4-68279946C85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9acf76d4282f666f48eda47b30cbeb51aa60e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4010bd5a26b419f43e1a9476f0112fc87a844da0","datavalue":{"value":{"amount":"+0.8032458424568176","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":"Q2744125$5A4C4CFB-5EED-4E28-8291-9E95811C93C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf515b172681cf39c7e1b4776fe69f5892569cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6338d793c91e9047d5451824d766a9ca89bdb4","datavalue":{"value":{"amount":"+0.7946776151657104","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":"Q2744125$0B75C15D-391E-4ED3-BEB6-5ECDB77EA196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22765ac8ffb85a071291794fae9576134e29d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5956945,"id":"Q5956945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500bd667d482ada38c745c15990d0296916829cb","datavalue":{"value":{"amount":"+0.7927408218383789","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":"Q2744125$DCB29EE1-BAA7-408B-8F4D-FD64D9A46169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94c48ee8f14b5f9e403cfb12d46fd76e48994b3","datavalue":{"value":{"entity-type":"item","numeric-id":5364939,"id":"Q5364939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d972d59ba5644c7b230c66449536c85a02549f","datavalue":{"value":{"amount":"+0.7880217432975769","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":"Q2744125$CFE02533-FA5B-42F7-9D88-96AD8C2F72B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural proof theory. With an appendix by Aarne Ranta","badges":[]}}}}}