{"entities":{"Q5477454":{"pageid":7507013,"ns":120,"title":"Item:Q5477454","lastrevid":41776349,"modified":"2025-05-08T04:48:02Z","type":"item","id":"Q5477454","labels":{"en":{"language":"en","value":"An Independence Result for Intuitionistic Bounded Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038541"}},"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":"Q5477454$56D4087D-2C3F-4219-B57B-79865D31E646","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a130be63526b20910b7ba5097862d7c57157212d","datavalue":{"value":{"text":"An Independence Result for Intuitionistic Bounded Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5477454$DE747806-5348-4AC0-B023-6D4FB83509C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78d55b8e0731f41ab7ded50b6bee26ea0f4afb10","datavalue":{"value":"1102.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477454$02C2ED9D-960B-41BD-9041-B15F69A9C39F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477454$14FA31B4-C4FC-4CA1-A4B3-BFA209282B11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac17ed5a40bf8aad6f70ec47d507eca00a25f0bb","datavalue":{"value":{"time":"+2006-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477454$545CBBFE-F621-4561-8FCF-4823A951555B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477454$604C0163-9155-4E74-A83A-B853DA94AB5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee9e9b53c93e7cecfc390cf0f171d1d5865beb0c","datavalue":{"value":"5038541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477454$A99395FB-0078-48CF-A3EE-05E1EC3E6DF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477454$E1DFEB17-2B24-4251-A0BD-2044C2452200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477454$3EF0093C-05F8-4436-BAFF-34EAF10BC71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477454$AB2B8529-1D0E-4338-9E9D-C01D4034942C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834c45d526445b63ede129bf0252d3b47bed13e5","datavalue":{"value":"NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477454$0E384917-9FE8-4281-8F66-C8552345CF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477454$4EF99512-E72E-4E0E-B970-17F967B1A0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a41e3ab451b803175f837aba9a774924d1bb063","datavalue":{"value":"polynomial induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477454$C2E0DC65-F1FB-4CB6-BEBB-145750BEAAB7","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":"Q5477454$D9984E39-91F9-443F-8D2D-19A57D03DD1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"503fbe37939b5665d20e6215fbdf2a496179f73b","datavalue":{"value":"https://doi.org/10.1093/logcom/exi085","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477454$B9E1B397-50EF-4655-A26B-9DE896171F09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"530a1c93eab947a1f990e1435a40d49df68fed12","datavalue":{"value":"W2066488812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477454$45B74985-5BAB-4A10-8E67-826537323E48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a32e3c906329a5988d5fd91cedfe6911918cee8a","datavalue":{"value":"10.1093/LOGCOM/EXI085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477454$CAB458DB-6797-4EC1-8572-39668744F723","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477454$E689AA3A-933E-43C2-9CB2-5289C8909940","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b68550829d6b273c4122cfdce50a4fbbb00d45d","datavalue":{"value":{"entity-type":"item","numeric-id":4035302,"id":"Q4035302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c31f7b662907f07bc3b0e880e13ca48331df23","datavalue":{"value":{"amount":"+0.9409139","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":"Q5477454$E6A8D977-1302-4191-9A62-D4BF2A8CF6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53749888900a2133b4056d5653381c6868b1a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4808464,"id":"Q4808464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39cbadce808ae6432a48db947c4a08f597770174","datavalue":{"value":{"amount":"+0.9298752","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":"Q5477454$DD59CE5E-0800-4B1A-B35A-0618F4F68126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616ab76eab966f6c6a6441da808485224a21b7cb","datavalue":{"value":{"entity-type":"item","numeric-id":3520239,"id":"Q3520239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85750c59d3f10eb9d989a0e6b7c86a301f3f621","datavalue":{"value":{"amount":"+0.92610794","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":"Q5477454$305D69F5-231D-40DC-8625-C4C072E29E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eac18e289762dfdbe681fd12b15d498424dee2d","datavalue":{"value":{"entity-type":"item","numeric-id":5393641,"id":"Q5393641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7464e1306cca958f843cda8f591f43877b4cbd4f","datavalue":{"value":{"amount":"+0.9176657","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":"Q5477454$A0F8FAF2-4EBD-45F2-8EA3-9BD2C2791680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191d14c45953ad66f115a4b6e20a3dd3dec50caa","datavalue":{"value":{"entity-type":"item","numeric-id":4032632,"id":"Q4032632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f96fe8d54f6f2e781409397919df5f7e9a87c6","datavalue":{"value":{"amount":"+0.9174836","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":"Q5477454$1FB7C6F8-89A7-4887-8C71-53F2280D4C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd93d7d645cd992fab256898a692386ff16220a","datavalue":{"value":{"entity-type":"item","numeric-id":2720322,"id":"Q2720322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9294b72cba2190e4254cd1b816c6aaa69f37f4","datavalue":{"value":{"amount":"+0.9146471","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":"Q5477454$2D7ACB64-7E3E-410D-B3D4-6B0D346FEC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36741582d6da03a748034d80455fc376d2ececd5","datavalue":{"value":{"entity-type":"item","numeric-id":1283131,"id":"Q1283131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d13f98e354c0ad205c200cd6605f227e69553d0","datavalue":{"value":{"amount":"+0.9130731","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":"Q5477454$7233450D-C1D2-44D6-B641-38D7115C2B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8033b63bb9815824aec95a7f6293e4d81da8c737","datavalue":{"value":{"entity-type":"item","numeric-id":4224090,"id":"Q4224090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39414e390b9e7bc973dbf35666c9698f55318085","datavalue":{"value":{"amount":"+0.91249216","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":"Q5477454$F7653B18-08D2-4737-ACF4-C1A3A6B8D8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ee24e5941a980d341edec213329522344ee401","datavalue":{"value":{"entity-type":"item","numeric-id":4818823,"id":"Q4818823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04593a3cd8f27efe4a0a3672f06903e181f8aefe","datavalue":{"value":{"amount":"+0.91022635","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":"Q5477454$D244AA5B-F000-495D-B66D-A9FDE883B937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd8a30ceea8c23c439b0c2bf57e1776b9f2d4e0","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d651eaf0bf3b106055c00bb76cd51209e15252","datavalue":{"value":{"amount":"+0.9083366","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":"Q5477454$981D6857-D963-41CA-AE61-0D9324EC0242","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477454","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477454"}}}}}