{"entities":{"Q5204802":{"pageid":7234373,"ns":120,"title":"Item:Q5204802","lastrevid":53611160,"modified":"2026-01-25T10:30:17Z","type":"item","id":"Q5204802","labels":{"en":{"language":"en","value":"From mathematical axioms to mathematical rules of proof: recent developments in proof analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7140440"}},"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":"Q5204802$1CDCC79D-05D2-4DDF-93A8-A6CED9556A6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34a192b712b54f5fb2734f5420dca851b8ac3249","datavalue":{"value":{"text":"From mathematical axioms to mathematical rules of proof: recent developments in proof analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5204802$85A4C68E-5179-4CB5-BCBB-E2EBBA6DEBAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f5a6a865ef5205e04f63917967990db74339ccf","datavalue":{"value":"1436.03291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204802$BDE9B298-8DFB-473B-99EF-E88C2AEF5222","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":"Q5204802$899A1C7A-448A-4BC7-884E-336B2E596D90","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":"Q5204802$C7997993-A8A3-42EF-AE97-CA0DA32E3ED8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a13ffa206096651a7eda5901a1abc51007a10be2","datavalue":{"value":{"entity-type":"item","numeric-id":144519,"id":"Q144519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$F6D0A0A8-9BC5-4874-A63E-85DF8A66E897","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f8f9cf30177c49e6797ca12be4ec0fe8e8e3eb2","datavalue":{"value":{"time":"+2019-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5204802$73635D68-4F66-4A36-8C65-3BEEE9974166","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204802$9278B831-7E0D-4C63-B20D-8BAC363D6A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204802$438B1950-D921-4935-A573-0A1A6F8C9450","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b2ca4778b5397d4cc7ebb7a5d43cfebc9374c41","datavalue":{"value":"7140440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204802$5D1C8A0D-1E31-456F-AB97-6D88666E1B3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb33140240e07c1cf3efc3f0a680c4ccfc5034f","datavalue":{"value":"Hilbert's 24th problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204802$094BCD0A-DD2B-444B-B83D-A0E8824AFCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b42b78dbb6564c3024267b7d2634512fa5c2d9","datavalue":{"value":"proof analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204802$3ED75ACF-981D-42CB-85B9-E181C58B6AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5204802$7C8DF5BB-3D6F-4C76-AEB1-6180332E9C1D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fe24ad03c9901df36edf187b3d941661ebd8ac6a","datavalue":{"value":"Q92982884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204802$176C3498-4C19-4DA7-A861-3E79236BEFC9","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":"Q5204802$BDCA0973-11E7-4611-89AB-5203749D7080","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":"Q5204802$1BABFC09-C141-40D2-A61F-C2C36D434AEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0d549bd5218288cf2c0b1a31aaa69833f073544","datavalue":{"value":"https://doi.org/10.1098/rsta.2018.0037","type":"string"},"datatype":"url"},"type":"statement","id":"Q5204802$2955E5E0-B3EF-4ABB-8546-3118E7FB83AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"451bb820129ad8db5d8afa7cc3144039593071fc","datavalue":{"value":"W2912258171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204802$E054F2D9-A496-45F0-9030-BE9DF0ADF461","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"597f52e8c90c0719312eaa56981efc8de62f4605","datavalue":{"value":{"entity-type":"item","numeric-id":2889480,"id":"Q2889480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$70265BC5-E143-4D26-9263-8EDD33AFF426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$9BDF1E50-3272-4CED-AB52-2AE5AAEDCF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$4B10A941-25B9-47B2-887D-D5C315BCBDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e585ff49a5c727e3e94c0166db23ddfdc8bb","datavalue":{"value":{"entity-type":"item","numeric-id":5430147,"id":"Q5430147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$2EA0BED7-7292-4373-994F-1207D18C3B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$6FEAADAA-FA40-4431-99BE-5E5297853713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad264869eafd7f7289be3efc731bdcdb43c8e8e","datavalue":{"value":{"entity-type":"item","numeric-id":2491077,"id":"Q2491077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$90F95A8F-8A27-473C-BF91-4594C91B35CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a08243fd980f5701ca2fc53c5c48bfcfef4aa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2795295,"id":"Q2795295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$0FC5EE64-03D4-40B0-8EBF-320A01104A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$B2DC06D4-4F83-4C03-80E9-900066C596AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3860c002e5bd73f6a4938093fc1d13dc428ed801","datavalue":{"value":{"entity-type":"item","numeric-id":5850985,"id":"Q5850985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$9358F585-BF69-4EB9-BF16-9E331B764AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a5e37cfa8fe119d133cf38f120bfd07e3c3368","datavalue":{"value":{"entity-type":"item","numeric-id":2443327,"id":"Q2443327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$88436C57-B884-468E-A319-EA6BA647A0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35d8e5c3dc5f6ffae4280b2d34d20e1fa0c3eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5739973,"id":"Q5739973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$B99FAFFD-6623-4ACB-930D-5093F335E284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f561bcc0c3744e5ef0298e00b7c04d9ea2c2d8c","datavalue":{"value":{"entity-type":"item","numeric-id":5560259,"id":"Q5560259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204802$38B96F1E-28C0-47E3-A004-07A9C09AC5DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"218a530131e9b1d33615de964d3d531fbf6125f7","datavalue":{"value":"10.1098/RSTA.2018.0037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204802$F434EACE-77BD-49CC-A9F8-AC21E8E0C781","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea28cc344b4d5091ddd35b53a88e8ed022c8e7c","datavalue":{"value":{"entity-type":"item","numeric-id":3536282,"id":"Q3536282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d66b2b5da048c295cada17b0fb105e00569e25e","datavalue":{"value":{"amount":"+0.911352515220642","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":"Q5204802$591CD486-9E40-4F56-90FE-C00FDB9A074A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b0e322ad32964aad747fbfe77feaba60e87c40","datavalue":{"value":{"entity-type":"item","numeric-id":4416428,"id":"Q4416428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d770e498badb3d37a23be26371cce049a224f7d6","datavalue":{"value":{"amount":"+0.8748145699501038","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":"Q5204802$452AF82F-D677-4422-9D44-30A2DF19AC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9161d82c62678bb98d76c790278e1edd97ca15","datavalue":{"value":{"entity-type":"item","numeric-id":5204803,"id":"Q5204803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d770e498badb3d37a23be26371cce049a224f7d6","datavalue":{"value":{"amount":"+0.8748145699501038","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":"Q5204802$3F92F550-6474-4CA7-9AEB-6ACF8398F030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f431186fccf82fa696a1a9038fa55a84616b63f0","datavalue":{"value":{"entity-type":"item","numeric-id":5204801,"id":"Q5204801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e96447119c3745f6c4dc8bed7303461cfc304c","datavalue":{"value":{"amount":"+0.858957052230835","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":"Q5204802$C586BB6F-EACB-4EE3-B19B-1F64D147DB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230a18b52f7b699672fbe6879724b84dfa9849f4","datavalue":{"value":{"entity-type":"item","numeric-id":4443194,"id":"Q4443194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80cb4567e7167a5b01b00bcd176a77b533b14c1","datavalue":{"value":{"amount":"+0.8557956218719482","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":"Q5204802$F6F5D54A-19CB-455C-8553-7420366D1372","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5204802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5204802"}}}}}