{"entities":{"Q5361245":{"pageid":7390819,"ns":120,"title":"Item:Q5361245","lastrevid":101065394,"modified":"2026-06-05T23:47:53Z","type":"item","id":"Q5361245","labels":{"en":{"language":"en","value":"On Gentzen's first consistency proof for arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6781282"}},"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":"Q5361245$F0F9C418-F3B8-422D-B94E-A37C26305D23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fb783bdb19238df2ac895e642829fb1e661599e","datavalue":{"value":{"text":"On Gentzen\u2019s First Consistency Proof for Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361245$C01F847E-289C-4FF8-8B92-937696EF68C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6f7dd94627b9dc50e03e0a48e6ccfd27f24ab7b","datavalue":{"value":"1378.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361245$8CC5476E-D5F2-41B4-822E-8EE232C49600","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0eb9492fe1ce35fde1c85150591cca4142478a57","datavalue":{"value":"10.1007/978-3-319-10103-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361245$3611DBC4-2B0A-4FB1-A612-6F22D8DA96E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d0fdc4dfe73f15e4cc6198de2fda062014c98","datavalue":{"value":{"entity-type":"item","numeric-id":204229,"id":"Q204229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361245$E02F7748-A4F4-4954-8D11-0CFBB8A07C15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b850175c1f26a72d4f19f54bef6aaf6493e2ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5361241,"id":"Q5361241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361245$3B08AC2C-4A1C-45EC-A39D-9D9B929F6E0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d30c439537d32c3fa1ef5645003f6830c886af","datavalue":{"value":{"time":"+2017-09-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":"Q5361245$76CD005A-3CF1-4B99-A3D3-2FCA96C15BCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361245$8BD93B8B-8166-4413-A2DD-F1F7C8F8E63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361245$02256973-D887-4E8A-8442-ED9E72CBF49D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"818d54bc9e177ade3e4e63fd01bb185e161a0827","datavalue":{"value":"6781282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361245$D84EE4D6-FE93-4570-BBE2-919689D50E83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361245$4E84D537-EB99-4332-A1A6-5512F05A4A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"874a5e7b4e33b3c767148d8b5b660605ca97fbaf","datavalue":{"value":"consistency proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361245$37C13215-D3CE-487C-9AE9-B60B2E66300B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361245$618F3C44-9EF7-4AE5-945F-A0241A83E3A8","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":"Q5361245$F891D04B-FA4E-4B50-835C-BA43B46BACC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fc293b789c7927c31f0a64c2d19935093bc15cb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10103-3_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361245$6F4C6564-92A9-47DB-BEFB-428B2DA80E80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7219c7b28f939f37d2dc9db95807f3e244cb76df","datavalue":{"value":"W2345956165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361245$CB4943DA-C503-4863-8172-DF661CD78060","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95edf9163bfa4fb8a11f650f4dfdcb4e85e2947","datavalue":{"value":{"entity-type":"item","numeric-id":3101104,"id":"Q3101104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b366bf557a36ca0dd503a313eba58a10f4ddd03","datavalue":{"value":{"amount":"+0.8742238879203796","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":"Q5361245$B09C4699-18C3-45CF-9F29-16A56D1FB93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5eba83c32b7f189abd193afe8dc3ee9bdbe2ac","datavalue":{"value":{"entity-type":"item","numeric-id":5361242,"id":"Q5361242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712c37ef4aa67a3c09103f04b04797347dea254a","datavalue":{"value":{"amount":"+0.8311127424240112","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":"Q5361245$2CCEC4E2-FE86-4897-AF36-B0E361522029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9842bc1abd34f3d84bdd4e58d0717b168a33d286","datavalue":{"value":{"entity-type":"item","numeric-id":3370623,"id":"Q3370623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24bfbbcc2fb82e4b4bb11dcfed4b534f30a7f8e","datavalue":{"value":{"amount":"+0.826249361038208","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":"Q5361245$E055F453-2DEF-4FFA-8A1D-3969136F515B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75fc01fded0132f7058e41b358ca41be9ad66853","datavalue":{"value":{"entity-type":"item","numeric-id":4648945,"id":"Q4648945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23aed86b11087f74282304dcd95224824392694c","datavalue":{"value":{"amount":"+0.8192272186279297","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":"Q5361245$6793B366-8E30-4622-985C-EB833829C34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"675d2a5c1b5b1fec2702dd72052797e2b642cf07","datavalue":{"value":{"entity-type":"item","numeric-id":4656552,"id":"Q4656552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26489736daec4ff66bc8f0c2570ca5b3efba035d","datavalue":{"value":{"amount":"+0.8177165985107422","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":"Q5361245$FB0387AA-F6AC-4C5F-9602-A7F793057DDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Gentzen's first consistency proof for arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Gentzen%27s_first_consistency_proof_for_arithmetic"}}}}}