{"entities":{"Q4295253":{"pageid":6324854,"ns":120,"title":"Item:Q4295253","lastrevid":41593834,"modified":"2025-05-06T04:52:27Z","type":"item","id":"Q4295253","labels":{"en":{"language":"en","value":"PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584652"}},"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":"Q4295253$64AB0193-2AF3-4068-A582-A488FB5005E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"126627e0ced59e36aeb8f624db468a10a4fc878e","datavalue":{"value":{"text":"PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4295253$91BF5CE7-7CFF-4764-8CE6-9AEAE7B04AFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f19d3750483e15d0f2a6eb7677103cf12e11961a","datavalue":{"value":"0794.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295253$623F0E2B-E279-44AE-9A21-C053D5D44C45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef13ff3bc8f9deab469e35f13dbb7fff50b2616","datavalue":{"value":{"entity-type":"item","numeric-id":420831,"id":"Q420831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295253$7E3D4F5C-B4BE-4DB9-B080-AF8C4B2E1E0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295253$BBEE7AC5-6ACC-4779-8D2A-497DB74FBECD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df2b8e46ac1e94f829232a703f4e6301f8702507","datavalue":{"value":{"time":"+1994-07-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":"Q4295253$E3162893-3BED-4DF0-9D03-248E8D39C06A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295253$B70981ED-A242-4A1D-9206-8F3E4B265489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295253$D43B8AC6-F1F8-4355-8B5E-61E8B66B99B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295253$F6BDF36E-ED1C-456E-8FEA-1B317666BE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295253$3F359CB5-1785-4519-85CA-2BA1F9B12E2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e663bbada33ec2c79fbd3815f3ad26694dfd7a26","datavalue":{"value":"584652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295253$0D0D43B0-513F-45C2-A50B-63C5ED83E5E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295253$AA021A32-25D8-4478-98AF-30EFA017C745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9914eebcf447809b83d23994156ac882ff5f924e","datavalue":{"value":"constructive reductions on proof-trees in PRA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295253$5578DD38-68C2-4879-A337-497AE3D7ED17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295253$84337065-4241-4B64-9602-8D4587536276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f4081cc24d1e7fb3351da8855e62d5d719c2055","datavalue":{"value":"Normal Form Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295253$4CE0F349-B26F-47E4-BAC2-97E6A2503571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37fdf19752d537edd9dd046c1d1a7d0a08bec182","datavalue":{"value":"proof-trees of provability logic sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295253$63B98AA0-2E6E-446D-B770-C93DE083D12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295253$53A63019-5680-4888-9476-3D3773586B10","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":"Q4295253$AC9EF097-517D-4117-B462-52C729A4177C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c3802a8e5a6b71605e1db68b6c721d0d16e833b","datavalue":{"value":"https://doi.org/10.1002/malq.19920380150","type":"string"},"datatype":"url"},"type":"statement","id":"Q4295253$C162B61F-DA52-47DF-BA37-A49EA19034F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a69543b7cf4fccc5f9ae44224cc8f9894477a937","datavalue":{"value":"W2031261959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295253$D3B5D6E4-0053-4D2E-86CF-471E6C83F8C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88075e3e4702bc8104e98f7ceff2e75cdb1e8caa","datavalue":{"value":"10.1002/MALQ.19920380150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295253$394AC974-10DC-445D-B907-BC3CB05FC2B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53464fe7062b7899f2178a31102927db92a9632f","datavalue":{"value":{"entity-type":"item","numeric-id":2193977,"id":"Q2193977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438e2798a5bac94ba05467b56fffaecef1ec9d5c","datavalue":{"value":{"amount":"+0.9351165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295253$12703078-A0B9-4CDB-B01E-D8E85143AFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb0319a6cc2b45e865a36a0cf7bf6198343d66f","datavalue":{"value":{"entity-type":"item","numeric-id":3199395,"id":"Q3199395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7ef7424dfe4589b4935ebdc9ba59cf322cfa84","datavalue":{"value":{"amount":"+0.93053705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295253$149E6566-12FE-4E6D-8D9D-1D5BA3411CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6005b88badd1d5d65fa1000e0dac197b7ae652f","datavalue":{"value":{"entity-type":"item","numeric-id":4692089,"id":"Q4692089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530d54007fef604b4d8ebe6ce49aaa944569a83c","datavalue":{"value":{"amount":"+0.92657363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295253$DE901A88-723F-4E34-8E4E-A17A41CC4726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4260febc0cbec0e19233f3e3b04044e7c04c5713","datavalue":{"value":{"entity-type":"item","numeric-id":685071,"id":"Q685071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b501ecc29606a9029ea919058280f5bf916d7d5","datavalue":{"value":{"amount":"+0.92569834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295253$F7D5646E-E739-4603-8D08-27A09AB212C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986be28e8c168a03f87b25d873f399ff65adf993","datavalue":{"value":{"entity-type":"item","numeric-id":1625591,"id":"Q1625591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224bb6d056f00129f9a8c0c7ff3b754d41970bf1","datavalue":{"value":{"amount":"+0.9249559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295253$13404974-9495-441C-A790-62F1C5CF2585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a179b8a8b9be48bc8ef2fe708fc2a4287cb698ce","datavalue":{"value":{"entity-type":"item","numeric-id":804564,"id":"Q804564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c797bc6f9386080b765d9e62dbbae2f4ed379280","datavalue":{"value":{"amount":"+0.9221033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295253$2552FCD6-DF47-4E67-8C76-FBCB41FE737D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044291259c567a861f70b4edb59a603305874c53","datavalue":{"value":{"entity-type":"item","numeric-id":3094147,"id":"Q3094147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e24feab85b2dd75b62cdfd1c98f6837e571e1f78","datavalue":{"value":{"amount":"+0.9220527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295253$BAA73BA2-570B-415F-8BBA-31CDEDC15AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72211653300131d81cff354d1410fa3cdbd7ded0","datavalue":{"value":{"entity-type":"item","numeric-id":3726110,"id":"Q3726110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d46ed9f4d68429ca8f108938083f6d77312b64a","datavalue":{"value":{"amount":"+0.92037994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295253$E02686CD-1CBC-45C6-8371-C9B4B176EF9D","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":"159dd919b24272374095368731c09aeabd2ccacd","datavalue":{"value":{"amount":"+0.91815734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295253$95D730E1-C5B9-4FF0-83CD-FF5FBEAE7F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e8f7dde8ddc1ba8b3337a9b1e8195c4af75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5434510,"id":"Q5434510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7219c20403528ef6c06e703beec31d9c7a490170","datavalue":{"value":{"amount":"+0.91567695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4295253$11DAB859-95B0-4ABC-B6B2-E4B89C0AE62F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4295253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4295253"}}}}}