{"entities":{"Q5361249":{"pageid":7390823,"ns":120,"title":"Item:Q5361249","lastrevid":52909724,"modified":"2026-01-23T19:10:17Z","type":"item","id":"Q5361249","labels":{"en":{"language":"en","value":"Gentzen's original consistency proof and the bar theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6781286"}},"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":"Q5361249$6EB92232-BA01-4361-BBF5-DE064B037205","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5cc0a1dfa3f44e3a4ae1abd9ae6c12ba291c1cd","datavalue":{"value":{"text":"Gentzen\u2019s Original Consistency Proof and the Bar Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361249$4DD4D955-1A4D-443A-B38A-60C2C4FD16DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8f83721bbe54f959e3d10fa0b642171c03aba85","datavalue":{"value":"1378.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361249$AF657A62-3B15-44AB-8CCE-F64E9FE338C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff2e565df25b33fdba8f02aa106723c0d8daf40e","datavalue":{"value":"10.1007/978-3-319-10103-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361249$F160A651-95EF-4BE8-A9AB-26AD406FD164","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":"Q5361249$0E8623D4-D623-4E78-8D0D-97624AFEAD4F","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":"Q5361249$103D7991-016F-4C00-BA65-70B15879820D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361249$24E148FA-5D7D-4C6A-806F-EE12EEBC901A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361249$9A290D17-A0FB-47F3-B0AA-6A34DDD7B36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361249$B62EACA3-8579-4C93-94CC-B8A2A4BEC547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361249$46CAE1F7-3B73-44D9-815D-7E83E84ECDE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e7be4c1e23d92c82d751b696f28ba754de32e3d","datavalue":{"value":"6781286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361249$0FE44A25-6AF3-48E8-A466-02F37B50542F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9e563ed0014351b0838ab8cdca0c2d5dd34cfb","datavalue":{"value":"bar theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361249$A61C171D-8C62-4FBF-A98B-C217CAE42220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361249$D2D7674D-E22D-4408-B0E6-012B920F637B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"874a5e7b4e33b3c767148d8b5b660605ca97fbaf","datavalue":{"value":"consistency proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361249$AADFE155-2529-4032-A09E-EFDE67813FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f80d6daef326ae5f67346fc66b24fb16c871ce","datavalue":{"value":"first-order number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361249$189C82D2-5EC6-4C9F-9A1B-A2BC8EFE8FFC","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":"Q5361249$C770CDD5-5FEB-42AF-B04B-18BCFD0011B0","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":"Q5361249$5BCA80ED-27F9-4DB8-8BF8-07C9E5640692","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cac6c3e899c6b061edad752a47df816ae1fdc2d4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10103-3_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361249$690F2B87-590C-49ED-96AE-362A73550F62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3dc400040d51cf48aa897c47dc56617f8187411f","datavalue":{"value":"W2343121769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361249$DF485997-06E2-41F4-AB7A-E50AF3608BEF","rank":"normal"}],"P1643":[{"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":"3a9cc5072e4d481bd9edcd001fb7bf516639aee8","datavalue":{"value":{"amount":"+0.8401620984077454","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":"Q5361249$9DEA3514-A700-4639-AE19-6A85592C3AD0","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":"ae41478ff980161ca19c3ed6905772b5612b4ab7","datavalue":{"value":{"amount":"+0.7923272252082825","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":"Q5361249$EC749EED-0CE4-497F-98A8-260BC46D0069","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":"f64a5f6146eb53b386d5a71673a52553e08af966","datavalue":{"value":{"amount":"+0.7750580310821533","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":"Q5361249$6F9BA83C-7A6F-4165-95D5-A17394FA0254","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":"73216633e810f57cba9d903cb63bfba69259e8f2","datavalue":{"value":{"amount":"+0.7714763283729553","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":"Q5361249$211886A9-43D2-4BF7-9328-F5680CC5BD4B","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":"c4719e6864ee767e5213d9fcda125b1d4d4075e3","datavalue":{"value":{"amount":"+0.7643483877182007","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":"Q5361249$9A32D36D-2655-4FC5-946A-49E44C776133","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5361249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5361249"}}}}}