{"entities":{"Q1866903":{"pageid":1877645,"ns":120,"title":"Item:Q1866903","lastrevid":71018478,"modified":"2026-04-13T18:56:29Z","type":"item","id":"Q1866903","labels":{"en":{"language":"en","value":"Sequent logic of arithmetic decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1900011"}},"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":"Q1866903$56090E80-8E8B-4523-8843-E340F5B94DBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adb460d7f3e85c8368582f02c9122ee498eac4a0","datavalue":{"value":{"text":"Sequent logic of arithmetic decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866903$364EEC4A-F379-4E46-A2C7-3CDA6FFAC59A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04a0b565616d97482542096499ff0067e31ea3ee","datavalue":{"value":"1021.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866903$152204FB-93D3-42DB-8C9C-E3E728C49CA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866903$F379AA55-DD41-477F-A64A-84A04DFB1A50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866903$E63F0FE1-D201-4EDA-8E3F-6F30CFABD06D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43dbfab4f9fe3f2c9967420050a5333989c6f939","datavalue":{"value":"This paper follows the works by \\textit{H. Montgomery} and \\textit{R. Routley} [Logique Anal. 11, 422-424 (1968; Zbl 0169.30003)] and \\textit{I. L. Humberstone} [Notre Dame J. Formal Logic 36, 214-229 (1995; Zbl 0833.03004)]. The author proposes an axiomatics for the provability logic over GL, i.e. the logic which is complete in the interpretation of formulas of the form \\(\\vartriangleright A\\) such as ``the assertion \\(A\\) is provable in Peano arithmetic''. Also sequent calculi are presented for the provability logics over K, K4 and GL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866903$2A9B358C-5A2E-4256-8D4A-7536F6AA6046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866903$0659B676-9C42-4E07-9EEE-197A8BE8B0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866903$5817CEAB-27C5-4059-A3BA-9DC620E3383E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a48156d78c5cc1a0ad81c494a746a0e6233d63f","datavalue":{"value":"1900011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866903$70109500-DB63-4C55-9507-C2B2D387F5B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf5948204e41668d872e6200f1c6c897d914a97d","datavalue":{"value":"arithmetic solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866903$69E0821B-4CA6-4557-9335-8B07CD5D53E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bce42706f9541eba835200dfef932d69b8a0ffc9","datavalue":{"value":"sequent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866903$3F19293D-7B07-4D66-AEFA-DBFBE9BAA356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866903$111E1825-1BFC-459D-8C80-A37F9146C032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866903$0E2EAD6F-96FF-4DEC-B3F1-520101925F38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a44c82ef10600f6e342e14b8a2cd59d5438c3f88","datavalue":{"value":{"entity-type":"item","numeric-id":1347607,"id":"Q1347607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866903$4B0AA387-8A67-4EE1-8489-6233876EBE78","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":"Q1866903$31D5D140-B185-4EDE-8A1B-60874329203A","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":"7b6b28839baf1c80d10243bbda4c75daed30d326","datavalue":{"value":{"amount":"+0.8201119899749756","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":"Q1866903$1B22DD78-A1BA-4D69-8B5F-521D0896E656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc438cbef6e39cdae6ca0a79f3ba45cb387314c2","datavalue":{"value":{"entity-type":"item","numeric-id":5307881,"id":"Q5307881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"526c8b3fc7476a1bc175a118eec344856385f619","datavalue":{"value":{"amount":"+0.8098281621932983","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":"Q1866903$44E9EE66-14A2-43D6-A5E2-5C64994AD76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c521edc4d515f5c87778c3eeb7fc970dd53789","datavalue":{"value":{"entity-type":"item","numeric-id":4282592,"id":"Q4282592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1b0ed511e93c8f58fd6ee822a92fbdd114a1d9","datavalue":{"value":{"amount":"+0.7913669347763062","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":"Q1866903$843CB6DD-6AA5-41FE-9166-56A28C50D52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d2469fb9d39451f01a469e85c0232cd6dba31f","datavalue":{"value":{"entity-type":"item","numeric-id":4490140,"id":"Q4490140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f2d69972edcbe559aa1237032f5dac2668d3db","datavalue":{"value":{"amount":"+0.7887609601020813","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":"Q1866903$112EA6E5-CBD3-440F-B787-CC5B5F81478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c6bf2e0f75f1324d872302ebcef2d71dde4f9d","datavalue":{"value":{"entity-type":"item","numeric-id":579232,"id":"Q579232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f494485b7c9095687e1d6ce703eab79881c80f33","datavalue":{"value":{"amount":"+0.7787525057792664","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":"Q1866903$78D978AC-C75D-4E64-A843-B69BB58E7944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent logic of arithmetic decidability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_logic_of_arithmetic_decidability"}}}}}