{"entities":{"Q1162506":{"pageid":1173255,"ns":120,"title":"Item:Q1162506","lastrevid":66318684,"modified":"2026-04-12T09:15:01Z","type":"item","id":"Q1162506","labels":{"en":{"language":"en","value":"Unprovability of theorems of complexity theory in weak number theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3756469"}},"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":"Q1162506$10E6A853-3195-48DB-8428-9F7F0C7E321D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc53f0bea4a0a188c1ab39f783d288c3ad873e7f","datavalue":{"value":{"text":"Unprovability of theorems of complexity theory in weak number theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1162506$199B6C65-16DF-4D3F-8A69-ED941B621759","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"308ad269c85021ef59885dec9f74bf77f45ffa32","datavalue":{"value":"0482.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162506$BCEADBC6-E69E-43CA-BD59-8BD555D103EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8079ec1c0e70e6087bc539d95d442211236b9d91","datavalue":{"value":"10.1016/0304-3975(82)90068-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162506$B8FC93A5-B884-4FA2-92D1-B3D891922C91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162506$38D4B93F-7708-4CDA-9649-2F9260377010","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162506$075EDD2A-A28E-439D-8D0E-52AA40BC954F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1162506$EC836A5B-3704-4A98-8F20-7E1103BAB06C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162506$7E1C4856-55F0-464D-A62F-D6CCAEB810B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162506$B1631C07-9614-4C71-AF5F-9A4EE4B031CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162506$7C0D72A9-1BA8-4D54-A960-A232FCA4CDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162506$9E3FDC51-7317-4F38-8D0B-AA7CE5D35452","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af8386ac552ebc89183fb07ba3642d245503c550","datavalue":{"value":"3756469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162506$EE7D992B-BE81-496B-B67A-CDF5D6D1807E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162506$0F2EC78F-9316-46D4-9188-96090FEC8871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4c129c948cc01c83ec91ddd8bbd04d2fcec8661","datavalue":{"value":"existence of recursive sets that are almost everywhere difficult to decide","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162506$EA2415F6-B5DE-4E22-B600-3DD98F02D720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95ad4b9d1f45eae95b85a9f7a7d17d0efcbbd2e","datavalue":{"value":"independence of Rabin's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162506$827B0929-3436-4AA5-BCD5-2B1496FAC621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc414f681425b8ca834fa8ee0244adca0266d7f2","datavalue":{"value":"formal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162506$7C48454A-6B56-4EFB-A17A-F220D7FF8800","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":"Q1162506$43E973B5-BCFE-459D-B56B-F5142507C128","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2034b41d53bcdf00adf942174e9f6e0ae0cd576f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90068-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1162506$CB265B5E-1D61-451A-AA01-AE8079659EE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7814598795049ea2f20839b1932e4b4905931424","datavalue":{"value":"W2011569379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162506$76DCA989-65B8-40CF-B0A0-95CDB05FEFC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bcfabc22212d3db2a4fa41c3566844e5ecdda6","datavalue":{"value":{"entity-type":"item","numeric-id":3668859,"id":"Q3668859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162506$955A9CDB-BB01-474F-93F5-9FE56A5EAF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ed8c1c9b5cf85c3067f46e271b605235d5e997","datavalue":{"value":{"entity-type":"item","numeric-id":5339741,"id":"Q5339741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162506$35F86A54-FBB4-4B87-AEFB-C0BDCC002255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162506$394BB70D-3618-408C-B411-402F98423CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0e45c6d24f23b7bf00bdec0730aa590fa74f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3661556,"id":"Q3661556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162506$C32CEF69-BDD3-4E65-A7D2-B15B3A599AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162506$E03290B0-1531-4F26-81BB-0C83151936DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b474dc84c1a6cad9cdb33f337484eb4125b63b7c","datavalue":{"value":{"entity-type":"item","numeric-id":4085705,"id":"Q4085705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162506$FAB44E47-5A0A-4F74-9C2A-153BCFFC40C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"13083dbc792662f76891005661f1afe6a36bd487","datavalue":{"value":"Q126590587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162506$8C912D5D-5FEB-490E-B694-487D16DD6F0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unprovability of theorems of complexity theory in weak number theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unprovability_of_theorems_of_complexity_theory_in_weak_number_theories"}}}}}