{"entities":{"Q4836045":{"pageid":6865625,"ns":120,"title":"Item:Q4836045","lastrevid":47324200,"modified":"2026-01-01T09:11:26Z","type":"item","id":"Q4836045","labels":{"en":{"language":"en","value":"Delineating classes of computational complexity via second order theories with weak set existence principles. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 762307"}},"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":"Q4836045$FC2ED6CE-DDE3-47FB-B369-25BC6963E737","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd792b3fb6d9f1385961c3bd06fdc922eb813e89","datavalue":{"value":{"text":"Delineating classes of computational complexity via second order theories with weak set existence principles. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4836045$C798BE41-3700-4D28-8FAF-35E8D3F29A9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"718fe4472f08e3838f7eeb744fe238b0b2b18294","datavalue":{"value":"0819.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836045$CF87F4F6-3EEF-4642-9A6C-FF486E6BB5BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9ef4346580ee72df990de44b85b64d084297b0d","datavalue":{"value":"10.2307/2275511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836045$72699135-C636-41D2-B2FB-8D76A554041F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b29b5084545988c090cc6b6fc2f4391a16d2f74a","datavalue":{"value":{"entity-type":"item","numeric-id":738822,"id":"Q738822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4836045$23DB72A8-4532-49F1-9187-8530FC519016","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":"Q4836045$CFC66DFB-B060-40BE-A1C0-F0DC960AA668","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"475c462458f5897ccd369a31c0985317076f3863","datavalue":{"value":{"time":"+1995-06-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":"Q4836045$6579B290-27B8-4FD6-BE2B-B7C39AF7E8E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836045$2D02EE98-7228-4A7B-B8A6-ABD2807F8432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836045$6E551C20-F758-4287-AC6D-67A49384AF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836045$2214D45E-FA2F-4C88-B374-F41663DD8200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836045$39C4D6DC-A859-45EE-B5C3-16144FD09FBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebb332363b858a2ae2fa730eb1c7b76ae39af3d2","datavalue":{"value":"762307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836045$51387B3F-4D75-4B66-86F6-8474C57387F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836045$C965A30E-12E5-4D3A-912A-866971F5399E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e26ecbb27d33931c3e5c0c710f5754efbbeead3","datavalue":{"value":"polynomial time hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836045$58C59383-7407-498E-89F6-D38AF52D6D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836045$613C348A-E231-4F34-9332-ADACF9B58F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278231b00986d461204829ddbef32a972791c8a8","datavalue":{"value":"second order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836045$A5CB41E9-4362-4917-B024-7AEF975A6317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf99a6b89c4373d4147ba263c9ebc2fd85b6915","datavalue":{"value":"weak comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836045$ACEED90B-08DA-4321-A8D9-7779CADFB64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836045$81F8D77C-3ACF-4637-9E6B-3BD9E4AEAA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836045$A696DD1C-7165-4F0E-BC2C-EF1E3EB64949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"551bf35d4850652fe37dc1199f9a10daca95778d","datavalue":{"value":"bounded complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836045$AE0282D0-9433-4846-AB07-C4296A07B082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836045$0BDAC17D-FAF6-47E7-8823-89B9F5BAD241","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":"Q4836045$39751FEB-B75B-4766-8FC8-6E4CBD739131","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78822d7fb5deafa92e75cc79d7571d8f1c27a6ce","datavalue":{"value":"https://doi.org/10.2307/2275511","type":"string"},"datatype":"url"},"type":"statement","id":"Q4836045$B20E2859-65AD-4379-84AB-F314A0F076ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdaa21854a201d73472212e9958bc41d8faabb71","datavalue":{"value":"W2155681304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836045$72647309-9229-4405-810E-4D6A83CF51F6","rank":"normal"}],"P1643":[{"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":"809705f949dc607532de4b391cdd8c2259b0792d","datavalue":{"value":{"amount":"+0.8131812810897827","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":"Q4836045$5EEA77C1-3BF4-4536-8F10-E2919BCF5E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a126a7a1e5bee29b380fcd6748926c7a78956736","datavalue":{"value":{"entity-type":"item","numeric-id":2843916,"id":"Q2843916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265d903ba422ec13a9b33f4b5293a7f08d4d70f8","datavalue":{"value":{"amount":"+0.812300980091095","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":"Q4836045$0F881573-F47E-47FE-A21C-7ECE6FFE8112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab852e519e8a5fd276910cab958d77ccc14382f4","datavalue":{"value":{"entity-type":"item","numeric-id":1427856,"id":"Q1427856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65263d702cb20a369346b61f80068c635008fcec","datavalue":{"value":{"amount":"+0.7967833280563354","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":"Q4836045$C8D8F43B-5E2E-45E2-94F3-362F86A155D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b16fe4e50fb1ab446261c9c2e75253cfb69227","datavalue":{"value":{"entity-type":"item","numeric-id":3985100,"id":"Q3985100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484358b4cb86c5db0f86b7fc01f522b1ae504805","datavalue":{"value":{"amount":"+0.7857008576393127","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":"Q4836045$850E6872-F102-46C1-BB9E-B1FDB801284B","rank":"normal"},{"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":"35a19981676e46094d04ac58e7ea8c273e0fbdc7","datavalue":{"value":{"amount":"+0.7835574150085449","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":"Q4836045$B08FA46E-ED99-47D7-B37E-2B07C49300D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4836045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4836045"}}}}}