{"entities":{"Q4008752":{"pageid":6038558,"ns":120,"title":"Item:Q4008752","lastrevid":55158895,"modified":"2026-02-04T06:14:24Z","type":"item","id":"Q4008752","labels":{"en":{"language":"en","value":"An inside view of EXP; or, The closed fragment of the provability logic of I<i>\u0394</i><sub>0</sub> + <i>\u03a9</i><sub>1</sub> with a prepositional constant for EXP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63182"}},"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":"Q4008752$2AD83559-8B29-4F3C-8832-48C601216EF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad0cde09e8e1e5d3088c889b0c3f407656672c2a","datavalue":{"value":{"text":"An inside view of EXP; or, The closed fragment of the provability logic of I<i>\u0394</i><sub>0</sub> + <i>\u03a9</i><sub>1</sub> with a prepositional constant for EXP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4008752$C57BDD84-5CEE-43A4-BBC0-318973867B17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b349fb6ed268c0f36c7f4a4346e0c6f80906b04","datavalue":{"value":"0785.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008752$F8CA7A7B-3224-479F-8EAA-D7E884F26085","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"964c8f1fc0483c39903649532ed9c830b8692756","datavalue":{"value":"10.2307/2275181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008752$5D0796A3-07D6-4324-BFE4-F43C1F7B2771","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008752$B9980425-9A1E-4E6B-B512-F6F2D3C46DFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008752$33B27A49-5D82-4DCA-B79F-CDBF3A93A6E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4008752$D5FFC787-3A18-4314-8FBF-C084357851EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008752$CED551A3-CA3C-433F-A9FE-5C48612B5306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008752$BBD3ED25-6FFA-4B92-B5CD-F82EC20CB73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008752$7C63FCB0-9D2A-40B5-B9B4-F67085094FBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4e956061279a4c6c7d4f0e1c4fdfd92ba205854","datavalue":{"value":"63182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008752$9E470B19-6AE3-4FF2-B531-03D0DC507019","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008752$3F1F4C90-07C1-4977-BCE7-950EAC29191B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008752$398B811C-3490-49B2-AA9B-CB890BD3CCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7a96cc9b63b7e1482d84f68a0d60ebea610fee","datavalue":{"value":"arithmetical interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008752$36B0A47F-E2C2-48A0-9FC6-B898B84C985F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008752$3E768649-8D76-48FB-8CE6-18C78258D641","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":"Q4008752$1646E7DB-950E-4B23-AFCD-81519161FC72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"092213119f6a3087f30470054c4663c6aded6abb","datavalue":{"value":"https://doi.org/10.2307/2275181","type":"string"},"datatype":"url"},"type":"statement","id":"Q4008752$806D4B0D-4350-4560-A950-A49EA1114B54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49be2a4270b8f7a997208357cf7777849fcb6ae1","datavalue":{"value":"W2009558863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008752$AED6D267-82DF-4D35-9E37-1532F720B5BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b33598961bd6398daa9d7ff4a0865de00fc898","datavalue":{"value":{"entity-type":"item","numeric-id":5628050,"id":"Q5628050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008752$E211CED8-72A0-4016-AF0B-41A76165BE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ff44c78354bc3c3dc8c993b0a7c8cd983f897a","datavalue":{"value":{"entity-type":"item","numeric-id":5767299,"id":"Q5767299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008752$6BF858A9-9D8A-47EF-B1C5-8687462F29B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46a8bc6502e09f75290d4a8854327f8dc52f38d","datavalue":{"value":{"entity-type":"item","numeric-id":4890709,"id":"Q4890709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008752$8D478EC9-FED9-4394-8A0B-A91D65762CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95deacdc83850e4eea62168b54695c9a653ceea4","datavalue":{"value":{"entity-type":"item","numeric-id":1176098,"id":"Q1176098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008752$04C30016-39AE-4F4D-BB11-BEBB71184B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008752$F0CFA1BF-3BB5-4F00-BD1B-3DF586F49A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ededf97004b62abc463f08624d65b33b2a5865f9","datavalue":{"value":{"entity-type":"item","numeric-id":1176094,"id":"Q1176094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008752$B0AF12BD-9EC2-4C62-B833-7A7F99CCF675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55af95d1a259dd7d81908c4ff6cd4aa7411c2937","datavalue":{"value":{"entity-type":"item","numeric-id":749519,"id":"Q749519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008752$43BF9762-B45C-4415-B150-634B779AE29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711f4d18a42eba165ead1afce88a2ef93d4bf695","datavalue":{"value":{"entity-type":"item","numeric-id":4343989,"id":"Q4343989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008752$7FF65303-A615-4DD8-9654-300DDBD66D5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deee4b79cf648fd16493569f67cf583b8c8fb548","datavalue":{"value":{"entity-type":"item","numeric-id":4329293,"id":"Q4329293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c72b0c6b0ddb0eb95d0e9ca6e6a98df1dfc48a","datavalue":{"value":{"amount":"+0.8363533","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":"Q4008752$3F96C0E9-40EC-4FD4-9D6F-DCE6BA61E2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2a04dbfabe9a4b1ab8daa4d8394a9c4a34fd2b","datavalue":{"value":{"entity-type":"item","numeric-id":2037977,"id":"Q2037977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9276c90d0f58769fce868db9feee75fb4871cb","datavalue":{"value":{"amount":"+0.8301479","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":"Q4008752$C03CF761-CA11-4176-8F58-81F373C69FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285e5fbb79b297e6f7c909a5b51dbd2fd971aa5c","datavalue":{"value":{"entity-type":"item","numeric-id":2303588,"id":"Q2303588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055f359c0270a81506737a466b56b37a6486bda1","datavalue":{"value":{"amount":"+0.8193817","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":"Q4008752$A958581A-3A97-4240-899F-2084BDA65E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c1ba1f32f2fed639140326033951afbcc7d12a","datavalue":{"value":{"entity-type":"item","numeric-id":5213582,"id":"Q5213582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e27173efcf64539dc049f131e77502280ffc469","datavalue":{"value":{"amount":"+0.8167954","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":"Q4008752$F55ADC24-04DA-4FB1-AA88-00CA77E40675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2802e7646d5c354f6ce43832fcb7fb5c76187381","datavalue":{"value":{"entity-type":"item","numeric-id":2565986,"id":"Q2565986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c22bdabf76fe82acb308fb59e51813db885706","datavalue":{"value":{"amount":"+0.8164479","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":"Q4008752$A14F9D60-6389-4F8B-B095-1E4F3A6FCD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e27dd1a83e89f19127099a9eff4d2a589dac8e7","datavalue":{"value":{"entity-type":"item","numeric-id":2856059,"id":"Q2856059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd5d83a18ce7b7fd864ce45945b882e935999a6","datavalue":{"value":{"amount":"+0.8153832","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":"Q4008752$FC8570C5-06CD-473F-A2F7-07B49B4538B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a05b131fe22ba7f3e3766eeb81e4bf48593858","datavalue":{"value":{"entity-type":"item","numeric-id":482919,"id":"Q482919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a8806ba9fd741fc3b42a78720e83855cd58135","datavalue":{"value":{"amount":"+0.8140178","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":"Q4008752$F4BACF0B-8594-411C-B34C-ACCECEC2FD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527456668c396996d12e5016f26cd8b569b7b342","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c11117c71fa26252f0c6379c65378f5dc48cd90","datavalue":{"value":{"amount":"+0.81386286","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":"Q4008752$6E5162EB-2FDE-44DB-9FE4-89E199492386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec69db315f475852e150bfa78a94d0f00b00230c","datavalue":{"value":{"entity-type":"item","numeric-id":4761712,"id":"Q4761712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fb6c1eb6bc919d44dc25dddca8396781618f20","datavalue":{"value":{"amount":"+0.813167","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":"Q4008752$AA382042-DF4A-4E19-949E-EE18E2D381A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b37e310fbd8aba2f2f607636eea32d5f54e36d6","datavalue":{"value":{"entity-type":"item","numeric-id":4282602,"id":"Q4282602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57752e76ef903286df6c79841abd153509c6731","datavalue":{"value":{"amount":"+0.81205964","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":"Q4008752$A78BAB57-1F51-43C0-B0DB-F8475727B1A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4008752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4008752"}}}}}