{"entities":{"Q3520239":{"pageid":5550143,"ns":120,"title":"Item:Q3520239","lastrevid":50428463,"modified":"2026-01-14T01:01:15Z","type":"item","id":"Q3520239","labels":{"en":{"language":"en","value":"On the Hierarchy of Intuitionistic Bounded Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312593"}},"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":"Q3520239$41A45BB8-89BA-427A-91ED-B51313820E8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72ba21af4ecf55f8363735dfdb7c686ef8d3ed8e","datavalue":{"value":{"text":"On the Hierarchy of Intuitionistic Bounded Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520239$13E3233D-1DF6-42AA-9E46-0C259D548411","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20f3dfa8c1966aaace9119f351686431527b93ea","datavalue":{"value":"1147.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520239$842F352B-B5A1-4B2E-860F-60EFE857B230","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":"Q3520239$8E5949AD-FD03-45E5-A369-968B97586A0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520239$92C74B09-767B-4D9A-A66A-B20182899D84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520239$9885798A-1B0E-44FA-83CE-6A24178438DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fad3a343707dfef8ab7b5a0820b5848383bf646","datavalue":{"value":"5312593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520239$C2CE4ACD-47A2-46C4-AB47-6721CE378F78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520239$8AD501D3-4177-4E36-9526-ADD986AB5950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520239$FE86BBBB-648C-48D3-9C7B-C192E2B19DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520239$86783DCD-C4EC-4909-8C78-D6186027AC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520239$0CD91A0E-66B1-43C9-9F14-853A72102230","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":"Q3520239$47C34684-CD92-4BCA-AC49-A8465017FA39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f585ad9560da758e85a8b8a4f1308bd473fb3644","datavalue":{"value":"https://doi.org/10.1093/logcom/exn003","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520239$0C5F30DE-057C-4E6A-978E-EB6091C59696","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92141b7571cb63ee132ea940f914e2a22ab0a2ea","datavalue":{"value":"W2016116596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520239$D07640BD-4FA9-40DE-A0F7-6B2A06FC7B81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7101d401db479227a8e60cc096247361977f3c70","datavalue":{"value":"10.1093/LOGCOM/EXN003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520239$9618B001-F936-499D-BB22-B6091ED42272","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":"Q3520239$BE164184-C8C6-46D7-88AB-A45A9D168609","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cdef7b785745d544e7a903a143eaa101e1bcd61","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b7b6e921758e0c5a8cd3eaaa0f8db2155de1ee","datavalue":{"value":{"amount":"+0.8633242845535278","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":"Q3520239$EBF57F33-8269-44D5-BCEB-9854D1FBA819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1df2f7774d4d4a498fc136dba94f052ced0bbe1","datavalue":{"value":{"entity-type":"item","numeric-id":1899144,"id":"Q1899144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38709d6b5375b5a297adbc003b8fd1b9f2729dbe","datavalue":{"value":{"amount":"+0.8019385933876038","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":"Q3520239$67D46DA4-B01F-401C-9956-DDEE694ECCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4391ef12e51c3ce2230d0e5e03d87c41a53878","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383a8ade8222a5a4fb3ed0171441062181ff0602","datavalue":{"value":{"amount":"+0.7966978549957275","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":"Q3520239$B2899B9C-C643-42A5-A094-9DE9CEB68FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e206e5b76b5db928f8dffd4e5d272220680fdd4","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585106a22b727ae7cf4d831968b4e8fef2a0146b","datavalue":{"value":{"amount":"+0.7939837574958801","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":"Q3520239$7F56B935-EF93-4870-954F-B4AB8216FD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47496c36c573c197837d5b4096abc762e7aec7de","datavalue":{"value":{"entity-type":"item","numeric-id":4812318,"id":"Q4812318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd77d11af65087d06d9f0d2d6f77416a1b5f63d","datavalue":{"value":{"amount":"+0.7898707985877991","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":"Q3520239$D2CEB28E-1301-436D-9A8F-4E51F9FDFD60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520239"}}}}}