{"entities":{"Q4656552":{"pageid":6686133,"ns":120,"title":"Item:Q4656552","lastrevid":48434596,"modified":"2026-01-04T19:27:39Z","type":"item","id":"Q4656552","labels":{"en":{"language":"en","value":"Extending the First Gentzen's Consistency Proof to the Intuitionistic Case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2144297"}},"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":"Q4656552$2872AF8E-CA24-49F2-B7DF-DB0128108CD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83f480b21d87c056c0716524b987732f850f6f31","datavalue":{"value":{"text":"Extending the First Gentzen's Consistency Proof to the Intuitionistic Case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4656552$5F40436F-BC02-486A-8C59-1D2A3FDE0CBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d80a67dd0cd7b821274464093cf79bdb177103e","datavalue":{"value":"1061.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656552$A7E95F0B-3F52-4AD8-A4E7-969AADFA6B83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66c3b8d158d8b913d4ef8310ec5f1f81c785ff3b","datavalue":{"value":{"entity-type":"item","numeric-id":3086704,"id":"Q3086704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4656552$C3356262-0431-477D-82E6-FDA7E9060811","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a1e9f97959c3a0c8005f0f6e1f91f49b76b5347","datavalue":{"value":{"time":"+2005-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4656552$3F7EB103-376B-48CD-838A-552514A441DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656552$1431DE86-983F-4C23-845A-982992020A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656552$36E74358-CD9E-4897-ABBB-3ECB07ACD9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656552$10E5417A-5A9F-40BF-B2AA-4517B6AD47E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656552$E0DB47B0-7A40-478E-B141-3B41F0944149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656552$AC676808-EE85-4C0E-A9B3-AE24F42A9AF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcd54a3d94cf89588440061a1afa9b6c880d6fa9","datavalue":{"value":"2144297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656552$EC2290A2-2382-403B-A3F9-9F210139E912","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656552$A09DFA1D-F60D-4B6E-9B6B-4269F8D946D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656552$2273FA99-EDCC-4436-8CC4-97C0BF128051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656552$FFFD85C1-8A4F-4E71-BA64-878D9A190483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656552$041516B8-4A30-48B9-999A-B8B98678F69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955e5c3172808bbe99a3ecae2e964bf0b88baf6f","datavalue":{"value":"reduction process for sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656552$81038111-B922-444C-9A68-EF9ADE98E318","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":"Q4656552$85E7EA17-47F6-492C-AFA5-3DD52207A435","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ea64c6b42df369f2233dbfd8242b7d665805c5d","datavalue":{"value":"https://doi.org/10.1093/jigpal/12.6.549","type":"string"},"datatype":"url"},"type":"statement","id":"Q4656552$3B060FC7-D11F-4916-8A69-883E4E960915","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c5351919ffc21531a402bee5d72d67c3e612d41","datavalue":{"value":"W2014977518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656552$E3DC9F13-B1E0-46DC-A7E6-43F88CDADABD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d21c7b60d5c430aba17c09e11ec91e144e9982b","datavalue":{"value":"10.1093/JIGPAL/12.6.549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656552$E0BCA05A-3E95-4001-A2FD-12AC034AF9FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4656552$8109308D-762B-4904-ADA4-4713EE68ED49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0864c587ffd0671a32cb3927c84ad701eea3be1f","datavalue":{"value":{"entity-type":"item","numeric-id":5361248,"id":"Q5361248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6243ab48173f930972e117c98b06284da971c5","datavalue":{"value":{"amount":"+0.8343755602836609","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":"Q4656552$9BCD9902-09A2-472D-A35A-CDDFAFFC3CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c7a541b68918b526a220e9952b282fb0a3d087","datavalue":{"value":{"entity-type":"item","numeric-id":2377348,"id":"Q2377348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dba212fb677986a7ecee9f5d5aae3b7da59700a","datavalue":{"value":{"amount":"+0.8224000930786133","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":"Q4656552$B704920D-38C9-4EFB-9FAF-0E835E473717","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":"2eb0050d4dc4eabfdefb5b238a6732506653e7b2","datavalue":{"value":{"amount":"+0.8208138346672058","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":"Q4656552$4F8B2050-FA2E-4172-8B2B-ABFD50B167F2","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":"26489736daec4ff66bc8f0c2570ca5b3efba035d","datavalue":{"value":{"amount":"+0.8177165985107422","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":"Q4656552$302E9929-4818-470F-BA0D-481E7E0BD10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9842bc1abd34f3d84bdd4e58d0717b168a33d286","datavalue":{"value":{"entity-type":"item","numeric-id":3370623,"id":"Q3370623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabfbd4de9c084677ed5dd576845e8f8efd95ad8","datavalue":{"value":{"amount":"+0.811592161655426","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":"Q4656552$3123AF5C-612B-44BA-873E-01270924B8C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4656552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4656552"}}}}}