{"entities":{"Q5230346":{"pageid":7259914,"ns":120,"title":"Item:Q5230346","lastrevid":91637456,"modified":"2026-06-04T23:41:04Z","type":"item","id":"Q5230346","labels":{"en":{"language":"en","value":"Circuit lower bounds for nondeterministic quasi-polytime: an easy witness lemma for NP and NQP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7097052"}},"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":"Q5230346$F64A9456-1563-46A0-87CE-8B1247C9AA8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efc05449c7b728b56403719384616fc6767e4955","datavalue":{"value":{"text":"Circuit lower bounds for nondeterministic quasi-polytime: an easy witness lemma for NP and NQP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5230346$B7139A97-134D-47D2-A78A-E4F9AEAE9BB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"feed19b09699c44f35acd6a0a4759baa955b6be3","datavalue":{"value":"1428.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230346$9293D963-AA4E-4A8D-98D7-EE4FE5CDEFA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fad1096adecae0be54f1427c98c6cb92bc8b281a","datavalue":{"value":"10.1145/3188745.3188910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230346$24F38B13-7521-4216-9488-0E7538984F6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a61682d0d235b78ded411489b7744f7fe074c643","datavalue":{"value":{"entity-type":"item","numeric-id":2851869,"id":"Q2851869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5230346$BB7736E3-6799-4E16-849D-2AF835A9CC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a3ebf267830b34bb8ced5ebe00bd1ba645205f","datavalue":{"value":{"entity-type":"item","numeric-id":937200,"id":"Q937200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5230346$7BEFA040-9267-41EB-B9C1-1EB3BD8DA796","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1105f48e8bbfd733392f29532baa204749fd789d","datavalue":{"value":{"entity-type":"item","numeric-id":5230271,"id":"Q5230271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5230346$A0BDDE6E-1627-4481-BB7B-879EF9D8EEC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e2137b88b3b13f5dc18a801021013ed4e793327","datavalue":{"value":{"time":"+2019-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5230346$37A91C83-5088-4FFF-A44B-5EEC4D57BCF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230346$3F319316-BBC7-43AF-BBFF-D5B5AA6E15D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230346$BE0B9621-E9DF-4591-8844-B3EDF85C7C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230346$16D4DE04-1121-48E0-B64D-068D4A441943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230346$676E4F70-28E7-4042-A92F-63F241F7238A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f11eacaaf6d590e95ad346979e654ed7fecd1d39","datavalue":{"value":"7097052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230346$449F197E-2358-4794-B7DB-C0CA7CD01B55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28cc63634b4b590aca05402d04363bd27ce7c086","datavalue":{"value":"ACC Merlin-Arthur","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230346$2FDD02C7-9818-4F61-AEE9-0D6337110E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230346$691CCBE4-6FE5-496B-9F65-E6E71D9C3BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230346$36701E19-A64A-428B-9639-CB9349FDCBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230346$CE6D8C07-27C5-4237-BB2F-D66AB61CBE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0539db072e4ee5849e5383c82c9881917950f74e","datavalue":{"value":"pseudorandomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230346$85AE62E4-5A55-4BA8-86C0-3521D044CDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230346$A5A92211-1E42-4685-86B5-4FB4614EE867","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":"Q5230346$F23497D3-5BAD-45C6-B51D-E3C2E7309D57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1ab1a150698348e398f9d1217bb724303b19bbe","datavalue":{"value":"https://doi.org/10.1145/3188745.3188910","type":"string"},"datatype":"url"},"type":"statement","id":"Q5230346$AA03D0A6-C3B6-4A04-9FED-EB076D46E2B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f25ef68ee9f12b54386870adac037c25e03cb08e","datavalue":{"value":"W2809266875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230346$09F5BCA3-4877-4957-A50E-7DACF3955AE5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"24918c33809ba42af5c902127129398bbd4d4431","datavalue":{"value":"Q130984620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230346$0780410C-58BD-4574-92DF-DBCC528BEF17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c747c0f894a1343aad7c0af4622e6f5bf68645c","datavalue":{"value":{"entity-type":"item","numeric-id":5130843,"id":"Q5130843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a581fbcdd32b3bb5891ba5ffd7339424e6797032","datavalue":{"value":{"amount":"+0.9938333630561828","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":"Q5230346$EB5A5B0C-C23F-48C9-8F0D-E92B8F90D1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad18f36033fc2758756d740d033708d74abca16","datavalue":{"value":{"entity-type":"item","numeric-id":3189637,"id":"Q3189637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfee4c40a9bb43b294077e019fa1e04fb4d3e87e","datavalue":{"value":{"amount":"+0.7618218064308167","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":"Q5230346$A7381BC1-C832-4EB2-B1EB-DC094418ADA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e54846b5417b00288a9d93cf095487bcac81aedd","datavalue":{"value":{"entity-type":"item","numeric-id":2798730,"id":"Q2798730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51659d45209d9e692460c38f89dc0d0de8be241f","datavalue":{"value":{"amount":"+0.7414506673812866","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":"Q5230346$2A61B679-AAFF-4913-A81E-7A83652ACF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d7546fcaa661aa046b5af1c9495cb8dff0e1aa","datavalue":{"value":{"entity-type":"item","numeric-id":5005182,"id":"Q5005182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f035740023bf462744974c2e0e0c4de7d4924a","datavalue":{"value":{"amount":"+0.7366640567779541","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":"Q5230346$7D300461-1B40-437D-9F3F-CFCC561A7992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1daa4cc39585685672e1e56e265a6e5a1b26852","datavalue":{"value":{"entity-type":"item","numeric-id":488049,"id":"Q488049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f335975bc3d16293eb490d4260443668c46878","datavalue":{"value":{"amount":"+0.734686017036438","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":"Q5230346$120097F4-470D-4AA5-A52B-9F6834719A0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Circuit lower bounds for nondeterministic quasi-polytime: an easy witness lemma for NP and NQP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Circuit_lower_bounds_for_nondeterministic_quasi-polytime:_an_easy_witness_lemma_for_NP_and_NQP"}}}}}