{"entities":{"Q3674650":{"pageid":5704556,"ns":120,"title":"Item:Q3674650","lastrevid":50010457,"modified":"2026-01-12T15:23:25Z","type":"item","id":"Q3674650","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827857"}},"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":"Q3674650$51C33B20-10EA-450F-BAE3-2EF2176777FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dfc75d52f8e6673a78c499bfeeea2e003cae4a4","datavalue":{"value":"0523.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674650$A433DA41-02F4-4127-B3D2-E646C83FD8B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3674650$9CFC3358-CD4F-4490-9E54-860EF8646881","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674650$3F4D1903-1308-4C0B-B29E-9574BD3587B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f9a387023deb1ed47762f19ae658c324f36d4a2","datavalue":{"value":"3827857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674650$91E06D97-5F2C-4B84-996F-0C676759A736","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0ec67752db1d6fc6dd108dc0656fc32b93b4df","datavalue":{"value":"simplified proof of Ackermann's theorem about the consistency of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674650$7B87C1C6-FE09-485A-BB08-1774AB25613B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09d8b8695fe84675f30d77510b911e9232102039","datavalue":{"value":"formulas with functional parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674650$11F686C1-674B-4AD9-B8BC-8F4AB71FE033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5e57e9f1a947591e15f9e0dc4c42940c39094b","datavalue":{"value":"epsilon substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674650$73F76446-1DFE-42C5-8B9D-40769DD1F819","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674650$FB03C32C-0A2A-4D4B-81A1-F2A6C7D7FF4E","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":"Q3674650$5CF483D8-935E-4ADB-959D-8EDF91E4F6F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3674650","badges":[]}}}}}