{"entities":{"Q4648945":{"pageid":6678526,"ns":120,"title":"Item:Q4648945","lastrevid":51598703,"modified":"2026-01-19T00:22:16Z","type":"item","id":"Q4648945","labels":{"en":{"language":"en","value":"Gentzen's consistency proofs for arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6108194"}},"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":"Q4648945$67F18992-42C4-42FE-8E15-C7BD67E89BC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6ad991d636c86fc024d25a03f9d2e1a9a1f1375","datavalue":{"value":"1267.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648945$AE8E8CBE-4C96-44DE-86C8-F0DE01DB5F53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4648945$8BDC570D-69F4-4EC1-99F5-88D5816F60B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648945$D8FBF1CE-EA51-4579-A3D4-7EF2BDA9DC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648945$029778D6-902E-451A-BDF4-8A0CFA4A584E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648945$61564184-8A72-4FA8-BE60-C823A0F15A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648945$015BFCE0-1745-4F41-841B-2106C16FC6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648945$2BD5F1C6-E142-4CEE-97F6-09FBB2F33BA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77319ae199d348bb27f513e405502aa261eeff1e","datavalue":{"value":"6108194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648945$85A2DB48-92E3-48EA-BAD6-D0F85209FE46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a9f21185e5ac7252e13214cf72ca4f24953efbf","datavalue":{"value":"consistency of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648945$0F1BD52C-3744-48B2-962C-235F1087CE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648945$1E671238-21F1-459A-BBE5-B2AB78D17397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648945$445E626A-58A1-4250-8378-D807073DF830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a15b3db88100d06cd7d6437f510149d023b503","datavalue":{"value":"history of proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648945$F47E7B02-36CA-4962-B3E6-F1A2C00B0A31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea68be1d5bbf01a939b97478f823720bfc73a97b","datavalue":{"value":{"entity-type":"item","numeric-id":1734261,"id":"Q1734261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4648945$9FB668A4-E6EA-4F2D-B6CB-E0E013616285","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":"Q4648945$64E981FD-9266-472C-8615-F23ED51C5806","rank":"normal"}],"P1643":[{"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":"6d31dd55fae9c028c28dcd31ec0bbe73e6ea25e8","datavalue":{"value":{"amount":"+0.8597867488861084","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":"Q4648945$BE4EECA6-7E84-4689-A072-0B75DB0FA5D6","rank":"normal"},{"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":"9b25fb9ae2f03d978306e27e20740e5846e2e4b7","datavalue":{"value":{"amount":"+0.8536503314971924","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":"Q4648945$1FB7B51F-9AFE-4218-8630-04F94EC4EBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b333c0c598a5a672794c09cef15eca627aaab82f","datavalue":{"value":{"entity-type":"item","numeric-id":5361246,"id":"Q5361246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4aa3be64312dd16cc8e8d0eb286e65a6beb469","datavalue":{"value":{"amount":"+0.8255439400672913","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":"Q4648945$4E0A9708-0C88-476C-8039-D5C848538518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9639ab7c12ae1d3ef2752b0098d545c404593755","datavalue":{"value":{"entity-type":"item","numeric-id":5361245,"id":"Q5361245"},"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":"Q4648945$574B0BE9-D1BF-4AA6-8216-4811A74A5521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80919e725f36aa7a771fafdbac6f4284966c32d","datavalue":{"value":{"entity-type":"item","numeric-id":2863601,"id":"Q2863601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391e57c9d6bb14ccb36e7900af6458ae0e100e9d","datavalue":{"value":{"amount":"+0.8130680322647095","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":"Q4648945$C1019FF1-E9F4-4F8F-9E3D-11EBBE91FCC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4648945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4648945"}}}}}