{"entities":{"Q3869342":{"pageid":5899247,"ns":120,"title":"Item:Q3869342","lastrevid":54580376,"modified":"2026-01-28T21:17:12Z","type":"item","id":"Q3869342","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3672289"}},"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":"Q3869342$8C7BAF58-6117-4B60-89C7-F103D2B64956","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e125f6c5f507d4abf03068b83cd3e03cbe3d30b","datavalue":{"value":"0432.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869342$920A750C-1B60-4C6D-B5BD-2203E9ACDE57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"262086892311cfbe8f0b8a3f2629f17366173e0a","datavalue":{"value":{"entity-type":"item","numeric-id":798648,"id":"Q798648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3869342$739144F1-077B-4B83-B97C-A698A64F4267","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3869342$EB4A3AE7-008C-455E-AFB6-06A6703CEC90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869342$FCE8CD54-64B5-488A-8ABA-B3ED5EBD7656","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29a4ac26a76df62667389bae460c93698ca12577","datavalue":{"value":"3672289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869342$AA10CE4E-F200-4F20-BE41-BA2E68A6F842","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869342$6C6740C3-48B1-408E-997C-61A4F3160618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed543d2124b07176e8a209eb026e524a8b0483b6","datavalue":{"value":"Gentzen's approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869342$A618E51F-9BAF-4619-B7CA-C8A9858A79BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e5d0ca81999f10c80a4d7ed57b03965089201ce","datavalue":{"value":"Gentzen's second consistency proof of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869342$2AD2141C-851D-4855-B6AA-18D3D9D39045","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":"Q3869342$322DB2B8-B326-44F0-AD67-DB162AD26123","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3869342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3869342"}}}}}