{"entities":{"Q3094358":{"pageid":3105073,"ns":120,"title":"Item:Q3094358","lastrevid":45437686,"modified":"2025-12-08T04:18:09Z","type":"item","id":"Q3094358","labels":{"en":{"language":"en","value":"ON THE PROOF COMPLEXITY OF THE NISAN\u2013WIGDERSON GENERATOR BASED ON A HARD <font>NP</font> \u2229 <font>coNP</font> FUNCTION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5962798"}},"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":"Q3094358$D0D6CF02-871E-4CD5-AEAB-86E1EE4FCF38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7729761e64b0a851c7502e6c3f66b2fb4ee94988","datavalue":{"value":{"text":"ON THE PROOF COMPLEXITY OF THE NISAN\u2013WIGDERSON GENERATOR BASED ON A HARD <font>NP</font> \u2229 <font>coNP</font> FUNCTION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3094358$4299FB63-A04D-4309-A6CB-793509E334AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da8b07723caef7a2954ad364684be20e46dc0d5d","datavalue":{"value":"1259.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094358$809AB339-6510-4610-9529-B05E167FEB53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41330b4968a2394a8c098f95dbb7255bac4edefc","datavalue":{"value":"10.1142/S0219061311000979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094358$59DFE7DD-F1B9-4B2E-81CC-7E2BA53E6D44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$E6513148-8C1C-4D2F-B37A-3313E887D929","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$604B9D8A-6550-470B-9126-8766486A919E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49bcb19b8a7e2ddd8235f44448393fef2fb0c5dd","datavalue":{"value":{"time":"+2011-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3094358$C2E9451A-AFC5-4214-8639-9DBED44A6737","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094358$434B500C-B0A8-4815-B41A-2776D2F08373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094358$A309AF8B-1544-4FFC-8706-92DB6A1F3C7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd8aebcf4d12da8d10e84cf88189f057b0aadbc3","datavalue":{"value":"5962798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094358$00C1C51D-2314-456A-846C-2DB0D9501C0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094358$79EC4401-D046-47CB-B93B-7427D84C4116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ca725f8dc0ee223878b2f92392adf9d958dc571","datavalue":{"value":"Nisan-Wigderson generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094358$6FFB3DAD-6ACB-43F0-A015-FD5C798E9CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5c986c44cadba2608d15cdbdbd7fbd9525b6f9","datavalue":{"value":"propositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094358$AAF4F670-31E1-4E6E-96DF-97D076EE5320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094358$D785C31B-8D79-4407-BFCC-F8F291AF5D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094358$51CB5C9B-CAB4-4194-9C3B-9D83D23F0C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094358$5F42AD14-A75F-49E4-81FB-8115BBBAF781","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":"Q3094358$98185F7B-5B45-45FE-AC4B-3A13EF597CE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$08B646B8-1E83-4A0B-AF2E-8F7AB8419A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44e25a337277592acbd5304d35cee1523fc637d","datavalue":{"value":{"entity-type":"item","numeric-id":5410826,"id":"Q5410826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$53FD8557-7957-4774-AF56-2020508EB1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$561F34BD-7D87-4B96-8834-1B5D2AFD4CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f99502c40ae215d703ebc8b47da560e094c7aa","datavalue":{"value":{"entity-type":"item","numeric-id":4328696,"id":"Q4328696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$8BA9855B-5DA5-40E1-AF6C-5522431E8D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$FE7B28EB-88A7-4C88-A895-554AC92C6CEB","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":"Q3094358$E50BA85C-089A-4B06-A2EB-2703E0B05DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90315d4607bfa85e4ef281151392b849bd9de627","datavalue":{"value":{"entity-type":"item","numeric-id":2736584,"id":"Q2736584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$6CBAE359-09B0-44E5-A9A4-A2FB3057A8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70e7ced847ef0c7f988c1b5d60be1b5ff4d2f251","datavalue":{"value":{"entity-type":"item","numeric-id":5311724,"id":"Q5311724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$8EC05681-EC99-470E-B57B-301B43C09344","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":"Q3094358$1ABC0639-31F2-4696-8293-84E7C10205FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$94CEB944-B89C-4DA6-A2C0-685BB39386D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59453e58f7cfaf844d3b63583cdaa54741e69f19","datavalue":{"value":{"entity-type":"item","numeric-id":1383164,"id":"Q1383164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$340DF7CF-5978-4256-A0EF-2A6962A6156C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$3A1F2B59-7318-4582-ACF0-554F8EC7B6BE","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":"Q3094358$21083B90-ED45-41F4-B001-E73ACD44EE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27dacfae92c86da50323d93fbc1f595755ad866","datavalue":{"value":{"entity-type":"item","numeric-id":3170558,"id":"Q3170558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094358$5C522D0F-5975-4FA4-A20B-F26D23159CD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f698ff13b8afdce19c544b9880b77e271c07948","datavalue":{"value":{"entity-type":"item","numeric-id":2753732,"id":"Q2753732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b408369589c556fd21dfb8309b51a18ba2595862","datavalue":{"value":{"amount":"+0.85383815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094358$09FCDE7D-A384-40D0-9E1C-F1D8C8F309C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9cd9603f72f5cc304cdd3cc6417e9689e2d499","datavalue":{"value":{"entity-type":"item","numeric-id":1766819,"id":"Q1766819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34ac308b0d8db1bba12fa7d8507f0b99fcfd995","datavalue":{"value":{"amount":"+0.8491089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094358$971FF0EF-0F51-4A5F-BCAB-34F6AC241322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56f6cc49e8babb67d365ccbe97ecae50ca12879","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b08133c4a1ce30e4b3fe7f911de3d405b6b5ee","datavalue":{"value":{"amount":"+0.84184617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094358$903B4534-2C72-4A81-9012-E3B342F9A515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9e13cbbf9f3550ba42a0a7cdbe44ebe6cd40c7","datavalue":{"value":{"entity-type":"item","numeric-id":6111785,"id":"Q6111785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0bb21926c6543d6a42f7c40ddbd82bf5def9934","datavalue":{"value":{"amount":"+0.8366699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094358$ADC56C03-F295-4FD4-847A-B4689E6638F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d4fb9568a7bd9b4eebd05bcf19edb58a76ced7","datavalue":{"value":{"entity-type":"item","numeric-id":4651526,"id":"Q4651526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c80d7d4d56edbf860e5040690dd8b826471e5a","datavalue":{"value":{"amount":"+0.83399266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094358$C3A46696-D1B3-40E5-BE67-2255920B0B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e5ba26e12a463c2f030c88b16861f9195c5de23","datavalue":{"value":{"entity-type":"item","numeric-id":937197,"id":"Q937197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8befc43eec50c379f18b9c9ee5a33eaeca7324b6","datavalue":{"value":{"amount":"+0.83310825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094358$6F885A53-6CB4-4544-BA51-BD2300ECD692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1544c83ef541829508dc70631e9e16c2eb6bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5465865,"id":"Q5465865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8befc43eec50c379f18b9c9ee5a33eaeca7324b6","datavalue":{"value":{"amount":"+0.83310825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094358$4669A397-84BC-4C91-AA5F-F110A1F43C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c0f3945d9208b7c330e01d2ced79c2a3e7bbc3","datavalue":{"value":{"entity-type":"item","numeric-id":5261621,"id":"Q5261621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eabe4e0d448a1fbb010ec1878db876ac57d8e8a4","datavalue":{"value":{"amount":"+0.83103883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094358$64009139-BF88-47D7-9759-ECE46400EF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88453e14d364cfb14b965fc017a30b5e31de78dc","datavalue":{"value":{"entity-type":"item","numeric-id":408544,"id":"Q408544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4b9feba711f0c100ad30e4d075a03f09e49fae","datavalue":{"value":{"amount":"+0.82845235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094358$35888C1E-C2EA-4DDC-AF96-7B435AD46B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbdac3bdf84484ff2d524a478a64d1c45de09cce","datavalue":{"value":{"entity-type":"item","numeric-id":3464626,"id":"Q3464626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4b9feba711f0c100ad30e4d075a03f09e49fae","datavalue":{"value":{"amount":"+0.82845235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3094358$C2DE2BD0-E23C-4F66-8D54-F6A959955329","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3094358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3094358"}}}}}