{"entities":{"Q5361242":{"pageid":7390816,"ns":120,"title":"Item:Q5361242","lastrevid":52909706,"modified":"2026-01-23T19:10:16Z","type":"item","id":"Q5361242","labels":{"en":{"language":"en","value":"Gentzen's consistency proof in context"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6781279"}},"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":"Q5361242$64B9F81C-9EDA-4471-92F7-43D5047549C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d128829b07334dc2d5250473fbfd3b94e4cd979e","datavalue":{"value":{"text":"Gentzen\u2019s Consistency Proof in Context","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361242$89B6AFE3-F8BD-46F2-A2FF-9916DE2A7320","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7eae06daf06fbd096ccb579045f7b6557569027","datavalue":{"value":"1378.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361242$00224740-38E2-4A0D-8245-5BB93FB7574D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c2e2f2f3c61ce4793b106bf3197f389bbbf2403","datavalue":{"value":"10.1007/978-3-319-10103-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361242$4F9D678E-F785-4D07-818E-A4086E0D2C8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361242$AF84D383-8E53-46EB-B542-183EE65780B6","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":"Q5361242$B99F2DC8-6D46-404B-959D-6CE9ED7D475C","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":"Q5361242$4F1CD2B0-D390-4971-AD04-F72F98F6EEBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361242$866EE45A-DCBC-4F78-A34B-F340C4C4FBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361242$98242844-E8B3-467C-BBA0-DA985AF47401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361242$021C2A7F-D340-4CAA-BA19-1AC194FB319B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361242$59C6F10C-C3BC-466C-8A9C-588EB64DEA92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3983679b7559a9fb1fd8cda2f534a23875fa9c21","datavalue":{"value":"6781279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361242$9E0B8F82-D8D4-4C92-9EA8-72121C892C89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361242$2CB772F8-C72D-45D6-9DC0-209B7EC92197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"874a5e7b4e33b3c767148d8b5b660605ca97fbaf","datavalue":{"value":"consistency proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361242$3A2D6951-E82E-4F7E-BF67-93DFFAE34DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361242$06B43EB4-6698-4DD9-B111-2452BF64A501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361242$BB1DA6B6-8632-4834-AC76-3E6F9B3F95BD","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":"Q5361242$208CAA55-CD38-4685-A6C5-4BA8D8195BD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46e4497c94d3588446878796a67357cbe579b12e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10103-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361242$F2394356-1A8D-4BE0-BB06-02713D96571C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1791f46e34d4dfcf00109f3c1e48d57dc5964e29","datavalue":{"value":"W2346116997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361242$7EE78D83-1259-42F3-939A-AF3CD85830B3","rank":"normal"}],"P1643":[{"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":"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":"Q5361242$FC37CE65-CB00-47D2-9F15-3F4DFAEA5ED8","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":"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":"Q5361242$5115D2B5-F7A7-4DCE-BCD0-DC4FA397A4AD","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":"c1f4b94032b5dd49ec142a8c11907b5155443b89","datavalue":{"value":{"amount":"+0.8188728094100952","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":"Q5361242$49F22D5A-8DCE-40B7-B3ED-6FF5A3C09A6C","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":"198d11d844488f820caf82fd31c2aa27f2d8de89","datavalue":{"value":{"amount":"+0.8127009272575378","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":"Q5361242$354663BA-E123-45E5-A148-2E4FBAF28854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326257beeacd59751a7277915226a5a3d9711f19","datavalue":{"value":{"entity-type":"item","numeric-id":5208100,"id":"Q5208100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7f839a0053381e389fd23b849d2d819b1ea217","datavalue":{"value":{"amount":"+0.7910922765731812","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":"Q5361242$ECFCFE08-0CDD-4B33-9EF9-406A97DC8458","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5361242","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5361242"}}}}}