{"entities":{"Q4644602":{"pageid":6674183,"ns":120,"title":"Item:Q4644602","lastrevid":53313632,"modified":"2026-01-24T17:18:37Z","type":"item","id":"Q4644602","labels":{"en":{"language":"en","value":"Reduction of provability logics to \\(\\Sigma_1\\)-provability logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6998037"}},"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":"Q4644602$4A772ECA-BFAC-4ADC-BB31-4D1D47B9BE16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"422426973236efa668e8168504e5b95a02d3f9b4","datavalue":{"value":{"text":"Reduction of provability logics to \u03a3<sub>1</sub>-provability logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644602$CE90CD6D-ED9C-42FF-A9DD-86FDD4B20510","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cc86033c5115421227c490ee6ec22c801ed9f5e","datavalue":{"value":"1405.03094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644602$23C4C8F2-CBA1-45EE-BE45-2BB703ADA5BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644602$E3361108-C4DC-4865-A464-830BA9DF87E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19313e0c467e1ce4e38f875e2fd208b41b083bfd","datavalue":{"value":{"entity-type":"item","numeric-id":481875,"id":"Q481875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644602$7C0CC353-6C9D-44CB-A766-275CB3450F86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644602$0684D424-6534-4714-B424-D1F4D51806DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644602$14CABF82-01E9-4833-9764-6CE85ED267FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644602$057FAC0C-F337-4DFC-86BA-04C384831EF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff191f1ec019e2c80b9cca03371e20598f02eb46","datavalue":{"value":"6998037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644602$D74121C3-A684-467E-8341-FDAF100909CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644602$1DD921CB-C873-4450-9C38-BDABB887EB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5fe1784dbba99343c48e38b73e4e8b39b66772","datavalue":{"value":"provability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644602$92F48F7C-0E53-4730-8E86-A655E063F6FE","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":"Q4644602$09CC5682-0866-41FF-94A5-BC777EBFACBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c745325077bfa338ad2e2e3f0d9c06e8780917ef","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzv031","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644602$7379C2B4-5845-4CC6-80B0-84CBF67C304D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32d4bdb28e6b727766ab247587be599ae52ee570","datavalue":{"value":"W2225896778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644602$356A97D1-627D-43BE-AB45-895782DCF7F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21df2705caba36e2c0f8cc6bc2a788ef2a4e169b","datavalue":{"value":"10.1093/JIGPAL/JZV031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644602$01B70F35-0A95-407E-AC57-2C5E03C72AFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644602$B05B7E17-802B-4E82-B498-78CC83B8EF45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eaafb090a89d0156903f2df9529665679bf9953","datavalue":{"value":{"entity-type":"item","numeric-id":2658282,"id":"Q2658282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dadd8fd06a8f2eaad236e9e8711d13c0a1217c1b","datavalue":{"value":{"amount":"+0.8369722962379456","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":"Q4644602$F1E31B47-44BD-4601-9930-2011C2FBDF7B","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":"09be8232ab9e367c5909dff08fd0816dc8004e41","datavalue":{"value":{"amount":"+0.7981245517730713","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":"Q4644602$80E9B619-99FB-41D1-8C7A-D290EF7A41AA","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":"b40a08e492583a745fbfb46737e5067dd1dd62ac","datavalue":{"value":{"amount":"+0.791631281375885","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":"Q4644602$3192887B-54CD-452D-898C-9C3E654E73CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb57636b430decf664ee4c5abcf6237e4a434765","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08cd43deb8e3a4ec214c545c76889ad89d1e9cd8","datavalue":{"value":{"amount":"+0.780977189540863","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":"Q4644602$A5CCE7BC-6A07-43D0-955E-92FE19FA4238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0b4fb6948c8f54dc67ea16bd08a699892a658a","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e803653433c591aa61744cccebddd8f38427c2","datavalue":{"value":{"amount":"+0.776468813419342","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":"Q4644602$2944434E-02F5-46EF-94A6-3C044F565096","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644602"}}}}}