{"entities":{"Q1115610":{"pageid":1126359,"ns":120,"title":"Item:Q1115610","lastrevid":66764919,"modified":"2026-04-12T12:42:10Z","type":"item","id":"Q1115610","labels":{"en":{"language":"en","value":"Simplicity, immunity, relativizations and nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4087022"}},"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":"Q1115610$76AD2F27-9E27-45FE-8652-5A41D8A53D1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cf44d6505406c657beda64d171e724f792b323f","datavalue":{"value":{"text":"Simplicity, immunity, relativizations and nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115610$DD41B0DD-629A-4A4D-A171-BCF8F9707E6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e46ac9df83ca8304b6abe7f000fd6726d3f4a045","datavalue":{"value":"0664.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115610$0B93294B-552A-4B8E-BAEE-CABB8F1CD02E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24d53da38b6590b6f393f5d7b93ed3c039525cb2","datavalue":{"value":"10.1016/0890-5401(89)90020-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115610$41403B84-33CC-4063-983E-5564A46E0CAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b5d4eff185f184ba65efed7028d19a1118ca26","datavalue":{"value":{"entity-type":"item","numeric-id":230556,"id":"Q230556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$7E4B4FDA-535E-4146-972E-B62FC42F2C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01f2b44bd5296f1967545dd7a615bd568b590239","datavalue":{"value":{"entity-type":"item","numeric-id":582045,"id":"Q582045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$7EDE4B23-9059-40E9-881F-57D7CC099490","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$8033A824-4767-4AE2-98D7-A26F46905086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1115610$FCCBA887-36C1-4EA9-B0AE-F9F80E57189A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f03cbb177c4b2682bfd2ff3f52443d7ac66981e","datavalue":{"value":"A very strong separation of NP, coNP and P is proved by slow diagonalization:    There exists an oracle A such that NP(A) contains an NP(A)-simple set which is P(A)-immune.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115610$CAB828B1-ABAF-45E2-9B61-6AFDCAE70128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115610$125D2DC0-AED4-4B31-8035-D3EE15C11C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115610$B2081773-44DA-434B-954C-785F97D2A090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115610$A2407031-E849-47C3-B7B3-4517BE0A20D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04fe462effe51af5381e06d493f061e1f6d32d87","datavalue":{"value":"4087022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115610$BBEBC32C-33C1-456E-8455-D34E957713D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06059c11269d258bbccac60c4e9a619d8f9e5b9a","datavalue":{"value":"relativization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115610$DAD638CB-829B-4F0E-A12A-5278D4A04407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab6e04df938671db6a0f08c281be4e60f36d3072","datavalue":{"value":"simple sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115610$7DFE6430-33EB-4633-ACC7-E046B3D7A3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dba7898297bcac55c6aef58e95729a8efd6cd75b","datavalue":{"value":"immune sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115610$751C49F4-9F83-439C-9CD2-FFE31307A02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834c45d526445b63ede129bf0252d3b47bed13e5","datavalue":{"value":"NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115610$D72F3840-01B5-48BC-A127-2F27CD05CE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9312c5bd19bd292f1ca8773c9ae4198ab6a1cf9a","datavalue":{"value":"coNP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115610$0170FD3F-F74C-4209-9396-1C7F4F3DFD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac873341ab34d6db98676ef037e18583cae25841","datavalue":{"value":"oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115610$2B1C9DDA-14FC-488B-97D2-7F7A85B4A2CE","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":"Q1115610$AF19D16F-FCA8-4C95-BCCF-85FA7769513D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfaed12bafc69fb85f0e62364036c264419d356d","datavalue":{"value":"https://doi.org/10.1016/0890-5401(89)90020-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115610$0662715A-28E3-4F6C-A625-632EC81A1570","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0b71d060ff3d86326d70094f3e374604e0bb10d","datavalue":{"value":"W2039789519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115610$13ED6D72-4E91-4275-B7F8-817037DB25D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"110c1e2c2af0807cf63aca7e44f16f8f618495f4","datavalue":{"value":{"entity-type":"item","numeric-id":1253656,"id":"Q1253656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$2B8C851F-A631-4CA2-B4FB-50C8DBAA04C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cffbf4f835aa5098d423c3d5d378b9a5e8d9619c","datavalue":{"value":{"entity-type":"item","numeric-id":3683534,"id":"Q3683534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$9538DFEB-310E-4181-B6B8-76F07DFC25FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e3771f8171656e0aed45bf0777afe8aad7a3a9","datavalue":{"value":{"entity-type":"item","numeric-id":3902480,"id":"Q3902480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$B8554AAC-5370-47A2-B9FB-27ADBDFC7887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c0858507f0e0e1298ad6c5106a6b771fa19452","datavalue":{"value":{"entity-type":"item","numeric-id":3675521,"id":"Q3675521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$62424867-3E06-4236-B987-4D0BC48905F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bcba6abf24137e5ea317e56b32f617a34d2b1e","datavalue":{"value":{"entity-type":"item","numeric-id":795829,"id":"Q795829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$ADEC2B3E-E3BD-4AFB-95DB-48B8AFEFC159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d351615d8a41de69e6bcb3ac199e23c42d063f22","datavalue":{"value":{"entity-type":"item","numeric-id":5843994,"id":"Q5843994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$E98E4ADC-784A-4267-87DB-EC6F88372360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c62062de7837e74980976f9ffd2b1553f5599b","datavalue":{"value":{"entity-type":"item","numeric-id":1140080,"id":"Q1140080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$643514F9-7171-4F4B-9C23-3829FE6E7BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba0de3b75117dfe261f81c9f5f4226509a524a1","datavalue":{"value":{"entity-type":"item","numeric-id":3312209,"id":"Q3312209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$1D0340FB-33CD-409E-9E19-9947168BB404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde708178fd22b5a6473ace4f76c9d9acbc0b80","datavalue":{"value":{"entity-type":"item","numeric-id":3347296,"id":"Q3347296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$9BFA8EF9-E2AF-4651-8496-ED814974F0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$6B8240EB-82E6-435C-AB91-E2AD132A035D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932837bf2989ca9558ab1b005871e76cd52df763","datavalue":{"value":{"entity-type":"item","numeric-id":3751005,"id":"Q3751005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115610$C6C79962-9903-4BBC-BB36-BC51919F687A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplicity, immunity, relativizations and nondeterminism","badges":[]}}}}}