{"entities":{"Q2193977":{"pageid":2204720,"ns":120,"title":"Item:Q2193977","lastrevid":71520000,"modified":"2026-04-13T22:48:13Z","type":"item","id":"Q2193977","labels":{"en":{"language":"en","value":"A proof theory for the logic of provability in true arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239286"}},"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":"Q2193977$A21BB1F0-652D-46E4-8722-511C41A3DFCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"391a7b2f268c7ad90795abe39fe593072560a0c6","datavalue":{"value":{"text":"A proof theory for the logic of provability in true arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2193977$B1A7C93F-8D2B-48D1-89EB-00AD79E65DD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e0d4cdbf7b20bb80ebfded78f7de1d5be788871","datavalue":{"value":"1462.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193977$08DE821E-4DB3-4526-93EA-00E873048980","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c21b911446dff7b633c86665c36eaff6815454","datavalue":{"value":{"entity-type":"item","numeric-id":600851,"id":"Q600851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$51CDCBC7-7C12-478C-BD81-4C56F337D5A1","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":"Q2193977$5118BC43-7601-4482-B5B0-4CB5C99A9369","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40d6298d979cc5fe8f26a1cea0e2ec254982529e","datavalue":{"value":{"time":"+2020-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2193977$E17793B7-0594-4174-AC39-732DFFEEBC22","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dfb49545940a96fc4092b1c35b7da5cc41a78d45","datavalue":{"value":"The provability logic \\(\\mathsf{GL}\\) (G\u00f6del-L\u00f6b) is a simple modal description of provability. The axioms of system \\(\\mathsf{GL}\\) are all tautologies, \\(\\Box (A\\rightarrow B)\\rightarrow (\\Box A\\rightarrow \\Box B),\\) \\(\\Box (\\Box A\\rightarrow A)\\rightarrow \\Box A.\\) The inference rules of \\(\\mathsf{GL}\\) are modus ponens and necessitation \\(A/ \\Box A\\). The provability logic \\(\\mathsf{GL}\\) describes completely provability in Peano arithmetic [\\textit{R. M. Solovay}, Isr. J. Math. 25, 287--304 (1976; Zbl 0352.02019)]. In that paper, Solovay also provided an axiomatic system \\(\\mathsf{GLS}\\) and proved that provability of a modal formula in \\(\\mathsf{GLS}\\) coincides with truth of its arithmetical interpretations in the standard model of Peano arithmetic. There are a several papers that study proof theory for \\(\\mathsf{GL}.\\) Sequent calculus for the provability logic \\(\\mathsf{GL}\\) is introduced by \\textit{G. Sambin} and \\textit{S. Valentini} [Stud. Log. 39, 245--256 (1980; Zbl 0457.03016); J. Philos. Log. 11, 311--342 (1982; Zbl 0523.03014)]. A syntactic proof of the cut-elimination theorem for sequent calculus for \\(\\mathsf{GL}\\) was given by \\textit{S. Valentini} [J. Philos. Log. 12, 471--476 (1983; Zbl 0535.03031)]. In the paper under review, a sequent calculus for \\(\\mathsf{GLS}\\) is developed. The cut-elimination theorem is proved. Some standard consequences as interpolation and definability theorems are proved, too. As another consequence of cut-elimination, the equivalence of \\(\\mathsf{GL}\\) and \\(\\mathsf{GLS}\\) with respect to a special form of formulas which is called G\u00f6del sentences, using a purely proof-theoretical method is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193977$25271C9D-DDC8-466C-85DA-BD23AA585161","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":"Q2193977$F0B108AC-737F-4466-A7EA-B8B6A859444E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193977$54D28974-7B22-4074-AE9C-BFE5ED94A307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193977$0A8994FC-C14F-41A2-BFFF-D56D71887807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193977$E048278C-AEA2-43DA-8842-B10A92AD4440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193977$DF58D636-E42E-42D8-A753-25E58256DA96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1a5446d53eaac931ae89b17085c66c717e95f77","datavalue":{"value":"7239286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193977$85517DE4-7417-4DA7-871E-7F5A4C021FB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193977$E89DFCB0-33B5-4974-B01C-1E8B3F45D919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193977$82B4E289-7F61-4B43-99F0-7AE721B4591B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193977$973BD7BC-2E6C-4549-AE2A-54B6CD58E4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82d44d38f8cd81f8c94933093e991199878bb7e","datavalue":{"value":"true arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193977$3E0A3360-D192-4239-BC7A-8626B4817A44","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":"Q2193977$20B6B62D-65AC-4635-B152-3C940550A56D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da652cdcd9f15bd36730be5a0eeaa759bcfebcd7","datavalue":{"value":"https://doi.org/10.1007/s11225-019-09891-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2193977$1B7D80EE-5A96-4A09-9AA9-8955E2AD4DC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f582ac98aba855aa306ffd6e72dbe87f9351e3c","datavalue":{"value":"W2996029277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193977$559FA6A1-5F0F-4EF6-9567-D08DE8E8BA77","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7c0cc2c5fe84860471bdc95d947f1a65e2dd36e5","datavalue":{"value":"Q126538805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193977$F3D47585-412D-4AA1-9662-3EE5D3388ED9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$A1F8A585-43B4-4A9F-B8D6-989F848DE211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77d029ca17e8cbeae5ff8bc11ecd94cb2895f59","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$4D1FC8B8-5125-4C40-8902-F0DC6B60DD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$0E95CAAD-9E78-4249-8C38-ED7E5CE6C4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$92DF4CEF-8C5F-4511-BD4F-10485391EADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcfc8403876b09cb2cc770b8d6fb399a97b6112d","datavalue":{"value":{"entity-type":"item","numeric-id":798649,"id":"Q798649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$6B20313A-6972-40EB-A40B-FE2A1E819C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3a9192ba70313d578f72b18f3e6569f6312686","datavalue":{"value":{"entity-type":"item","numeric-id":288243,"id":"Q288243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$7747C4A9-A3AC-4323-8CCF-2625219FDEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba4829fd07b9b49631e42171c8fc19ce2487bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2890695,"id":"Q2890695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$DB543E06-BE42-4D1D-B65B-921AAB66A537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"319731c721bf88925462ad94f1402a0fdedae55e","datavalue":{"value":{"entity-type":"item","numeric-id":600852,"id":"Q600852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$100C0C9A-840E-4768-A315-B000B2BD71A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$F1C24B5F-5A5E-486A-9DA8-F6141B489335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$F2AE4166-CF19-40B9-ADB5-E43866ADE67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$ACF2B00A-1DD0-4429-8DC5-583E599C237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900ea576be6c9b9142ede1ad5e69d44f1362cee2","datavalue":{"value":{"entity-type":"item","numeric-id":3900021,"id":"Q3900021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$745EF3A0-DAFC-48B0-A179-9230DF9E8618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$AF810B1C-0FA1-417A-9929-ABF155F943C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$61E514DA-0C42-402F-A48A-AB16899843D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9046092912369ae53c021eb53125c7bea4658d3d","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193977$E892245B-EC88-4DC4-ACB0-72683596CA46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"892288028b1c17c9619d452ee1a1686217ad1662","datavalue":{"value":"10.1007/S11225-019-09891-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193977$196D2070-02E1-402A-B95C-4C1B6F4B7B57","rank":"normal"}],"P1643":[{"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":"abbcfbd3a1428af20d2d3246557036f338b61114","datavalue":{"value":{"amount":"+0.9380289","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":"Q2193977$7C3DDF02-E228-4996-90CD-6C33D0B326D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9475dcf8e1820386be940fb11b2bdacbca9e4cc2","datavalue":{"value":{"entity-type":"item","numeric-id":4295253,"id":"Q4295253"},"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":"Q2193977$6436DD03-5F14-417C-811C-E09F551FD72B","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":"ab099369fd67a0aaf50c40992c2c26e5af0c2c9a","datavalue":{"value":{"amount":"+0.9349985","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":"Q2193977$244807E5-1A1E-4BF0-B04B-71E39A7D9472","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":"5387572dc39fd12a4c4083948b99716ede13e290","datavalue":{"value":{"amount":"+0.9346698","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":"Q2193977$CF770172-A707-4649-B57F-B4092837FB56","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":"faf4f4e235b9d37277f9248e9565aa92dedad1ff","datavalue":{"value":{"amount":"+0.9325225","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":"Q2193977$C3EAA527-DEA2-4FE6-91C3-FA4BBDCCCC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8e6d90fa6a0f290bed41d32d30a6d3dee01de5","datavalue":{"value":{"entity-type":"item","numeric-id":3434694,"id":"Q3434694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96b48701f2c37494a8866bf738ffab3438f2286","datavalue":{"value":{"amount":"+0.9311961","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":"Q2193977$748E8B42-B33F-4147-8A5B-B8CFE1D4C874","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":"c621b39c0527800aa34acbfc97170963fe3cfe35","datavalue":{"value":{"amount":"+0.9245378","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":"Q2193977$FFD43859-3182-42AC-B681-E5C56C11E64F","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":"a959d139b413d3168c0291182f8905ce37417ab4","datavalue":{"value":{"amount":"+0.92432165","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":"Q2193977$73F1D605-EC49-454F-A796-74A09A599487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5163a827293768332d0de49092eb375740de60d5","datavalue":{"value":{"entity-type":"item","numeric-id":3509169,"id":"Q3509169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f901899b3e0ae2956d502998b22efdc8d57cff","datavalue":{"value":{"amount":"+0.9193783","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":"Q2193977$3E457D50-5EAF-4A19-BDB6-2B2FACD9EC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b108a6b167800fa57292324f80188fa967063337","datavalue":{"value":{"entity-type":"item","numeric-id":4430390,"id":"Q4430390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e88f233dcc3dbb168590be3610c0db82769ad0","datavalue":{"value":{"amount":"+0.9166715","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":"Q2193977$6DC5B8C8-AE41-46D6-AC81-839D8BB96B2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof theory for the logic of provability in true arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_theory_for_the_logic_of_provability_in_true_arithmetic"}}}}}