{"entities":{"Q3170558":{"pageid":3181268,"ns":120,"title":"Item:Q3170558","lastrevid":86593058,"modified":"2026-06-04T02:35:28Z","type":"item","id":"Q3170558","labels":{"en":{"language":"en","value":"Nisan-Wigderson generators in proof systems with forms of interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5951147"}},"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":"Q3170558$67088A31-2CF2-405A-8EA2-A80D44E2DF64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a79800c08d4a22f4b6dd5998f5d69ff430e8634","datavalue":{"value":{"text":"Nisan-Wigderson generators in proof systems with forms of interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3170558$AFD21CC3-A5C9-486B-8C49-420301A34543","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c42ec9475060ead784583d677ded95335b338e83","datavalue":{"value":"1252.03132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170558$13EE8AE0-AA8F-4373-BCD3-8E2FA7706601","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbd280028d852be0bb1791a3912dfc76b7046ce1","datavalue":{"value":{"entity-type":"item","numeric-id":466446,"id":"Q466446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170558$06A01A88-EE9F-4A07-87FD-45E2F1435BB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170558$426B6D4E-6F01-45B9-B50D-93BDC7749F6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23abbc7df50e9b56d73974fbfb185282140729b3","datavalue":{"value":{"time":"+2011-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3170558$E9150EDB-214C-4976-8137-F07230064110","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170558$20F5AC4F-19A1-4490-BA70-79A0B3B21B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170558$9D3816FE-ADB7-483F-B5B5-D4418BB6A447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170558$6BDDA363-B76E-4605-AC46-86D118F3645A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39b9c6065129e83ba74427e423350537b444e6de","datavalue":{"value":"5951147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170558$0126631E-4350-4D1B-8913-0001ED253BE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ca725f8dc0ee223878b2f92392adf9d958dc571","datavalue":{"value":"Nisan-Wigderson generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3170558$929B6F01-24AA-48CE-8398-F1255073AA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3170558$12F24058-282E-457F-9ED8-0CC24E788D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f1b47ff68adf8abb83839bd6f1bd41ad4f1806","datavalue":{"value":"feasible interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3170558$F272A790-BB3E-46F3-BE61-EBD57BCCD441","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":"Q3170558$77AC8ED1-4C42-4F34-A3F4-574B6AA7900F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f7289f826ee8f4f2736766cfe31c42cc50ab502","datavalue":{"value":"https://doi.org/10.1002/malq.201010012","type":"string"},"datatype":"url"},"type":"statement","id":"Q3170558$D2C11378-AFF9-4BF1-A533-E09DEDAA1419","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c7179c9bd515d7f04feb117aac7782889092ec0","datavalue":{"value":"W2061209875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170558$9935B453-9DC1-4C95-9E36-623CBB147271","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50621bbf1c084d93515abb8fb9d0b9bcc1e49ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4651526,"id":"Q4651526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170558$783B6743-BA8D-4A7D-9349-5698680F21B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170558$F4E8B20E-69D5-40B9-AD7A-CBB418D64726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170558$F721405C-FBE0-41D0-B9CA-BCBCCCA50D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac05fdbc3e4a01724a7d12eae757b5685f0f367f","datavalue":{"value":{"entity-type":"item","numeric-id":4829363,"id":"Q4829363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170558$224128BF-ED56-48E6-8551-7282D36AEBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409306bdf364930adcbf624496cede43048b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1337458,"id":"Q1337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170558$CBB8AD6E-FBA0-474A-A32C-6D5E2C146DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170558$E11845E1-FF53-45E0-8D27-982C01BEE4CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbf5ffe11d04c444983aed10b623961d447b3686","datavalue":{"value":"10.1002/MALQ.201010012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170558$2C545698-B2B2-426C-9B26-2650A0E917F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nisan-Wigderson generators in proof systems with forms of interpolation","badges":[]}}}}}