{"entities":{"Q1970916":{"pageid":1981658,"ns":120,"title":"Item:Q1970916","lastrevid":43453014,"modified":"2025-07-26T00:04:09Z","type":"item","id":"Q1970916","labels":{"en":{"language":"en","value":"Proof-theoretic modal PA-completeness. III: The syntactic proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1423836"}},"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":"Q1970916$5FD24806-2D3C-484D-8C71-A832BFD21790","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a0ead1781ae2309f1768819620dc11af59289e5","datavalue":{"value":{"text":"Proof-theoretic modal PA-completeness. III: The syntactic proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1970916$D83D0658-1533-4B46-84DB-28DD59D5264A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"506669d9417c8af259e5b6c4530b737914d77497","datavalue":{"value":"0960.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970916$4F55071B-960D-42FD-9305-5B7A19525960","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbf65ffd571f4911011e745257f086aaea80169f","datavalue":{"value":"10.1023/A:1005262101188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970916$B248A916-51CE-46FB-BAA5-3D45BB1ACF95","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":"Q1970916$11856D01-C480-4479-B6BD-3C3E1390F03A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970916$DC98D6D6-E1F7-4398-B3C0-ECDF0E06C1CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0a8ef751728b2b17bbcf17280282a4718c22627","datavalue":{"value":{"time":"+2001-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1970916$9D559303-8DE2-4817-853F-BCA7E1385007","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c244b3ebab492ed2e61789f74e6e59abb815e5d0","datavalue":{"value":"This paper is the final part of a series of three papers which present the syntactic proof of the arithmetical completeness of the modal system \\(G\\) (sequent presentation of provability logic for Peano arithmetic). The basic definitions and the tools for the proof are introduced in the preceding parts [ibid. 63, 27-48 (1999; Zbl 0952.03069) and ibid. 63, 245-268 (1999; Zbl 0952.03070)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970916$0E5C2D1E-E354-415F-9B07-AE996DB0D8DC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f8e4d6d96d31b6da2906ce2893c15ec96871a66","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970916$2A6E3EE6-491E-4CD2-9CEF-19A17B8181DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970916$128360B6-7740-4B17-BF3A-3336A76B9966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970916$337B3913-4E31-47BA-AC2F-5DBF68544D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970916$451A7FA8-5EB1-47A6-AEED-FF52C6424D47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bf36a09dc8294dd775996ea0c82409cd4eb2c1a","datavalue":{"value":"1423836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970916$AFEADA7F-D058-498D-9D44-920AE997006A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970916$C96E3DAA-56E8-402E-A343-5DFBCA331719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970916$F955C2F9-BFDA-4C47-9D42-021E8DC751A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85cafd6d71aff3fd9dc3507de854a8611d9702b","datavalue":{"value":"syntactic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970916$38A8C85C-54E0-44D0-8D26-B7D39310198F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970916$ED53C929-75D4-490A-AB16-EF680549043E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970916$39B1D048-4CED-4B21-AEAA-2D5C9A653B0F","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":"Q1970916$0C1EF79E-958D-4DA4-8FD7-4D1672D65066","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae5f945995f346b048a07a2e6a767d66d601a042","datavalue":{"value":"https://doi.org/10.1023/a:1005262101188","type":"string"},"datatype":"url"},"type":"statement","id":"Q1970916$1C7BA832-42CC-451B-BDB9-2C59E85634B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5e854a93668a43a83d4f1ec45d916452691f34d","datavalue":{"value":"W1559823998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970916$19F08D6B-E9E4-4693-80DF-D895909DF233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c21ec515de97fc83439b089060a918bee82347","datavalue":{"value":{"entity-type":"item","numeric-id":1970646,"id":"Q1970646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95182cf3f7b6767b209c1aafc22e2adce9931c57","datavalue":{"value":{"amount":"+0.9648777","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":"Q1970916$F529D71E-C96A-4AA1-8287-357D5957546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d74a9841cacb8bef05016568384b8ccc0da9eee","datavalue":{"value":{"entity-type":"item","numeric-id":1970598,"id":"Q1970598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00961aa3ebff8992b417e1bdb6dcfa905c0e0b8c","datavalue":{"value":{"amount":"+0.9408616","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":"Q1970916$4F89E95C-866C-4729-A3B3-4D60A2297DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a029b91876278cf14be7394fcd63a6ea694d1ca","datavalue":{"value":{"entity-type":"item","numeric-id":6099618,"id":"Q6099618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6f3249450d056756ca35dbd249c7a458915fb5","datavalue":{"value":{"amount":"+0.9203175","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":"Q1970916$EDE4637B-091E-4854-8C3A-F06168208413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b17fb26c75f7d8ee828104772240265bc7ef8c8","datavalue":{"value":{"entity-type":"item","numeric-id":1319362,"id":"Q1319362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4479320708880a6737935cc1f022e271218434","datavalue":{"value":{"amount":"+0.89416134","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":"Q1970916$E289A0D3-AD29-4912-A1DD-BD1F478A5FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a65dba3d324fd296089ad0561845cdead9cafce","datavalue":{"value":{"entity-type":"item","numeric-id":1709685,"id":"Q1709685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b657e4de0a3ecdb550f4490692500d67c34975","datavalue":{"value":{"amount":"+0.8939816","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":"Q1970916$ED6E111A-0805-41A2-9323-69C84B59F799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff6b9ee09012b5dea05f8c2e8487e64615dc170","datavalue":{"value":{"entity-type":"item","numeric-id":5688808,"id":"Q5688808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d22fadffa5219136126cf6cd9f77297269d133","datavalue":{"value":{"amount":"+0.8935737","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":"Q1970916$F4AB67A1-A6D3-4E47-9EFD-245E6796747A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e558745ba3f58730f1b53110e00f383b7ee9acc","datavalue":{"value":{"entity-type":"item","numeric-id":1712937,"id":"Q1712937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707f1866c84711c864dd92f1dc392dafcd317a57","datavalue":{"value":{"amount":"+0.89231384","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":"Q1970916$7A817EEC-3796-4222-8DF1-6B0E4681C4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f556ceba7f8323c08165da8cdd4f0a442f1ce98c","datavalue":{"value":{"entity-type":"item","numeric-id":4501147,"id":"Q4501147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f063e4a276bce3558979df474b01f935cec182","datavalue":{"value":{"amount":"+0.89133567","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":"Q1970916$419E4F38-3E89-47D1-86E4-E4CD58E71D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ebb6b573aa0b610753c12bd1fa15c44d50f035","datavalue":{"value":{"entity-type":"item","numeric-id":5864208,"id":"Q5864208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4582913ed0cdd7f80eb250bb699f58a411a49207","datavalue":{"value":{"amount":"+0.8884983","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":"Q1970916$926C33AD-D081-4D85-B43E-F1BA94C1646E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ba4920e4cd0070412225e45f447d2a5d262358","datavalue":{"value":{"entity-type":"item","numeric-id":3337453,"id":"Q3337453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887c84f76e92aa4a1752f1f4f93f23f84f1d1069","datavalue":{"value":{"amount":"+0.88802844","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":"Q1970916$360F9369-A894-4EE2-B562-60A0D26B3035","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1970916","badges":[]}}}}}