{"entities":{"Q3370623":{"pageid":3381327,"ns":120,"title":"Item:Q3370623","lastrevid":87028940,"modified":"2026-06-04T10:30:20Z","type":"item","id":"Q3370623","labels":{"en":{"language":"en","value":"G\u00f6del's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004644"}},"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":"Q3370623$BA399DC0-51B9-435E-8E8A-8717D3018117","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6316d132db03a251f1974035bfbb7a2dc4764da5","datavalue":{"value":{"text":"G\u00f6del's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3370623$9C72F0DD-B592-4655-8A43-DC307FF3C6D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f793bc2f0bb706c2ebaa1c93fc977926e0908f6","datavalue":{"value":"1100.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370623$4F74B0DE-6D37-468C-9DCA-2B094D2122C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3370623$D54224AF-92CB-4BB3-91B5-AB44884CB384","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370623$15EA0097-DD92-4CF8-B363-D3E2533B0060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370623$EEEE8FA4-D436-4A45-B4A2-DD1DB9DDA469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370623$F0DC22AF-6E76-4FDF-A00D-AA51709BD657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370623$EB800AAC-726E-4076-8BDE-7BF101CE2E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370623$0627007A-738D-47F5-BDBE-5BBC37BF085D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1f9c50add36cd64d8bda6d1d74dc425a8b7715c","datavalue":{"value":"5004644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370623$4CD460EF-363B-44E0-9C47-481CB54506D7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f6fa10d69a9e540a2448f427aa1117d99ccab28d","datavalue":{"value":"Q57310303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370623$618EB3E3-E799-416E-AB44-3400962F7059","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"760745bbc6b5c9a1a5cd89c9feef2726e8d06aec","datavalue":{"value":{"entity-type":"item","numeric-id":2500812,"id":"Q2500812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370623$C34F6183-98D9-46F9-844B-114247250985","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":"Q3370623$F8683909-8D2B-4AD8-9D2C-24438DF8EF4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77dc039c6cd2fb8440a8847596defc4c31cbd1d9","datavalue":{"value":"https://doi.org/10.2178/bsl/1120231632","type":"string"},"datatype":"url"},"type":"statement","id":"Q3370623$C35C6C0A-751E-4908-88BF-A7E57AC33D11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4401d58daff5a9133273db51c30ea834def6822a","datavalue":{"value":"W2099571154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370623$E01B5F95-E380-41E2-BE4A-4B61FB723139","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a31652f30ee05544850592905d3ff797bda713e","datavalue":{"value":{"entity-type":"item","numeric-id":5343335,"id":"Q5343335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370623$248A6155-2F97-4287-B56F-A5EE53210621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370623$19927AA4-2872-4C15-BD3A-8E70B4640263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c20063395d481d6afd6b6ba37dc0e8e042800c","datavalue":{"value":{"entity-type":"item","numeric-id":5944050,"id":"Q5944050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370623$E7C5CCCC-BB08-4FBC-B45F-DF1A57F7CCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e366e7b3eaee30c8a7b50e86a00285d250c8874","datavalue":{"value":{"entity-type":"item","numeric-id":2776806,"id":"Q2776806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370623$97D21CAB-3AEF-4F50-AA24-1ED365D738A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80da01d5adcf7c52d1d5e0443042acc85a4c7054","datavalue":{"value":{"entity-type":"item","numeric-id":2765288,"id":"Q2765288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370623$D6D638A4-444C-4F20-A5F4-9E1EEA66ACAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90049b19da6424ee09d03afefd43087776bfde24","datavalue":{"value":{"entity-type":"item","numeric-id":5343336,"id":"Q5343336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370623$A135FFFE-B5E3-4B61-B75C-C1CE36EEB384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a80de1b7015dcacb8731b7b974da86061ae89ae","datavalue":{"value":{"entity-type":"item","numeric-id":2760586,"id":"Q2760586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370623$6B0D48BE-F2F1-4450-937E-2FFA0E535E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77765a4477c55f314baec87f180c178599579624","datavalue":{"value":{"entity-type":"item","numeric-id":4948521,"id":"Q4948521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370623$313C052F-E810-499C-8594-534BC7AEB8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370623$5E5597A0-FF9E-4569-B1BB-B4F46EC39771","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fec40af48ff739ca135e93cc796b673688928f24","datavalue":{"value":"10.2178/BSL/1120231632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370623$CBA46E0D-6866-4867-8608-43E91A9C735D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370623$93EE25E9-5908-4948-B677-ACC8A4B916A0","rank":"normal"}],"P1643":[{"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":"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":"Q3370623$8E26155C-39C3-4125-B819-E16E2DC3D753","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":"f65c982afd9caa7ac026c5c5acc9caff5fb6e4b1","datavalue":{"value":{"amount":"+0.8152987957000732","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":"Q3370623$4FCA4250-B083-47E2-9C7D-13C102B096AB","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":"471a2d4ff9ecf0f8f284d8c0d3310f04ae2b74e5","datavalue":{"value":{"amount":"+0.7766798734664917","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":"Q3370623$756C19D9-5063-4567-AED7-F6B0E946B916","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":"3f96615cfe2b5906bf72c35ab5a7180da7d288af","datavalue":{"value":{"amount":"+0.7715636491775513","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":"Q3370623$8A026BF8-49E9-40A7-B61A-CF551BFBE59F","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":"152b612d2461c6ccf269a241afabf5236a865b9d","datavalue":{"value":{"amount":"+0.7715331315994263","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":"Q3370623$56DD2E32-0A09-4237-81FE-DE26602A283E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"G\u00f6del's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation","badges":[]}}}}}