{"entities":{"Q2303588":{"pageid":2314331,"ns":120,"title":"Item:Q2303588","lastrevid":43849524,"modified":"2025-11-15T12:47:21Z","type":"item","id":"Q2303588","labels":{"en":{"language":"en","value":"A self-contained provability calculus for \\(\\varGamma_0\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176926"}},"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":"Q2303588$65E203A3-E1B7-4EEF-81E6-D6025B976B64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53ba0b4ed389d186fe528e5aea4c693a6cee5ee0","datavalue":{"value":{"text":"A self-contained provability calculus for \\(\\varGamma_0\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303588$CC75AD57-EC36-40BA-AE74-D1A38B7491AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e56bf1371373f7984789711a444d2b06c8e8e08e","datavalue":{"value":"10.1007/978-3-662-59533-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303588$3FC0BF67-785A-4CED-B095-A6EC26985903","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303588$4A6FAC20-3466-4427-87C2-DDFB0149C3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4b1111f82f74c4e6ab20a3d0119a7e6ae901731","datavalue":{"value":{"entity-type":"item","numeric-id":2176412,"id":"Q2176412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303588$ACCC8EA1-C1E7-4CCF-937B-3040BDE5D632","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28eb8a4277470500766552d0320b8f6735887226","datavalue":{"value":{"time":"+2020-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303588$80F693D6-158E-4BA6-9819-089731AD6334","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303588$4A68FACC-86ED-4A1A-99AC-22AAE2A7026E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b64dd4c6eea83aa0212d7ac91d1da3489579390e","datavalue":{"value":"7176926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303588$368D3109-9C6D-46A7-B477-D7A4595D8937","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303588$54FBB336-AE1E-40C2-8A63-D3314E345EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303588$C52684A5-2FEC-4B49-A173-8978400F2600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303588$9062A542-E11C-4C9A-8E26-37E71E20F842","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":"Q2303588$BC896EE0-FDA2-4125-A220-44678BB8FD5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3313fcc44fc9ce112cc8a7abdcc92b47e878b62","datavalue":{"value":"https://doi.org/10.1007/978-3-662-59533-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303588$07F60493-DEB9-4E75-92DF-754C49D2EB20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f73fabda95a0eac393bddbdafc69b847e4929b2","datavalue":{"value":"W2949202275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303588$85536008-D5C1-46B8-B37B-BCC5F90B3C89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82a17d63f21420ccb321b5f26f5eae38325974f","datavalue":{"value":{"entity-type":"item","numeric-id":5222538,"id":"Q5222538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ee31334ec466d0a3cd6bc023ee7dba68f02ad2","datavalue":{"value":{"amount":"+0.88747156","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":"Q2303588$AAEE794C-4551-4B3E-926B-12CBC95F3B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f1be0e3ee35418f325109a12c38d898f50d071","datavalue":{"value":{"entity-type":"item","numeric-id":1732059,"id":"Q1732059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55aff55484815532c60bc3ebca27f51b833df53c","datavalue":{"value":{"amount":"+0.8771323","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":"Q2303588$E2E5F450-B408-49C8-B9A8-83583373636F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6146ecfabc55084f8cca7e191a79b5b24449a78f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a040b22832740bf2b78c265446ccbfb4384a2d26","datavalue":{"value":{"amount":"+0.87672186","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":"Q2303588$D14322D5-B2DB-40C8-B0ED-7AA325E2CB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37613ee0736e89980119e81f43fc535432ff65c3","datavalue":{"value":{"entity-type":"item","numeric-id":3768874,"id":"Q3768874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf73f88409ce86f7bb19d5cefa7ce748effb054","datavalue":{"value":{"amount":"+0.8704668","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":"Q2303588$B507C10B-DCAF-4B38-BDB2-1F9DD76F0331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a24c9ad9d4e58f7254d4324762490b1321d0206","datavalue":{"value":{"entity-type":"item","numeric-id":3794149,"id":"Q3794149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba26ab2c07131592a674429b2351115a6b042894","datavalue":{"value":{"amount":"+0.8697125","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":"Q2303588$FB47B001-A534-4180-8B05-AF01AA0458BF","rank":"normal"},{"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":"5b16c3ccc33ee397cfc2ba3e5db190ba010c90bb","datavalue":{"value":{"amount":"+0.8694322","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":"Q2303588$4E9B0039-BED6-4909-9474-2043381593E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad894f0e4fcd4cc03c848bf583b58ab56e3b8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2753786,"id":"Q2753786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6b53c330a4d9ee7af0d0e5b581f7e794588d8a","datavalue":{"value":{"amount":"+0.86610174","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":"Q2303588$F99DC650-160F-4FF6-B6B4-76ECDDD39FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27da39c224984c42dd01ffb42f69f521aac50eac","datavalue":{"value":{"entity-type":"item","numeric-id":1891931,"id":"Q1891931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a946bdd87b6da256e9093053d191748a36e48d","datavalue":{"value":{"amount":"+0.86605895","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":"Q2303588$633216B7-4834-485D-BAC1-3583E340B607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9155b8a24b47f93bb167596dd9931b0a708353f3","datavalue":{"value":{"entity-type":"item","numeric-id":2947464,"id":"Q2947464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebf2263215577f38c76bed33445b674ce3d8b8c","datavalue":{"value":{"amount":"+0.86352915","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":"Q2303588$6BFA0448-CF04-42B3-B091-4A376ADA6B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452b25f8262b4dc37f73326ee7da67099a47a43d","datavalue":{"value":{"entity-type":"item","numeric-id":4012884,"id":"Q4012884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d1a9c2c3feed80efaa69ae4cbd480531d1eae5","datavalue":{"value":{"amount":"+0.8623741","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":"Q2303588$6EE058FE-255B-4662-9C67-A9CEA5886CBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303588","badges":[]}}}}}