{"entities":{"Q2701071":{"pageid":2711815,"ns":120,"title":"Item:Q2701071","lastrevid":82773263,"modified":"2026-05-06T21:54:45Z","type":"item","id":"Q2701071","labels":{"en":{"language":"en","value":"Lower bounds against sparse symmetric functions of ACC circuits: expanding the reach of \\#SAT algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680322"}},"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":"Q2701071$C2D16BA8-692E-4070-BBE4-60A850E91781","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbf7555e98fb1885befa941ca77dc44c1828b588","datavalue":{"value":{"text":"Lower bounds against sparse symmetric functions of ACC circuits: expanding the reach of \\#SAT algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2701071$EA870663-0808-4254-AAB0-FC8503F712AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63d4ea39754eb23531f6b0460c095222be728bd4","datavalue":{"value":{"entity-type":"item","numeric-id":2119010,"id":"Q2119010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$2E7FAB86-E362-4BE9-9FB1-57600ED3A3B2","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":"Q2701071$5770FC18-F19C-440A-B18A-F79FE070C525","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$93616F4F-0C88-4059-849D-F261F9AF2720","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74408d541e56041c0ad7c62d17b5e76afde38223","datavalue":{"value":{"time":"+2023-04-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":"Q2701071$EBC5386D-D3B7-48A3-9C1A-1A8FC0BB11BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701071$C9A68BC0-BF70-4D62-AF50-B3A0E8B54399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4740cba1efd2b44189c3735ee66e5683cc7d094c","datavalue":{"value":"94Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701071$1432BD06-2270-413A-8508-2911085415E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701071$6333CAFC-0EB4-4A5D-9C32-27158D49FE0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"010e077dea17447b525631c107b71236fb0a43fe","datavalue":{"value":"7680322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701071$64621933-A78E-4F16-BD15-0E96C9E90A9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1904ceb2943588ab4d17c2f0b007f3cabcd39830","datavalue":{"value":"\\#SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701071$0A306C94-2C70-4F25-AA02-12B0A1675135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701071$E815E13E-5A77-4E9C-A009-8F0232E78AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701071$15EA7687-1E96-4F3F-AF11-B9A80B341AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f21852e741d7b43439bab8d48e98382bb25e78c","datavalue":{"value":"exact majority","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701071$BA697F6D-B310-4E87-BD29-7B2E663CC56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a66a937660687865993fecd8309ea72f8db0ab45","datavalue":{"value":"ACC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701071$BEE6217C-96FF-4F1D-9860-2AD7165E03B4","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":"Q2701071$647606D2-9652-44E0-8B21-C34B240D11A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e75cbed90e11e9618a9646a71e63975ff9d3871e","datavalue":{"value":"https://doi.org/10.1007/s00224-022-10106-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2701071$BA99AF14-C831-4A89-87D7-3592C1973490","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcaaf2fd46a3e07aaf83a77b025214eec6d62787","datavalue":{"value":"W3001571187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701071$B1E1593E-0879-46DC-B756-0286E485E073","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":"Q2701071$D33F5605-8892-4214-A5F3-BE0409D801A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ac81fec14da4f3aa43a4e3f7cfcf896763e5d1","datavalue":{"value":{"entity-type":"item","numeric-id":4246733,"id":"Q4246733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$F0D94F3E-A5F5-4FB1-805B-1A9FE573C5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68616883371a59200cff5f3b736702bbe967345f","datavalue":{"value":{"entity-type":"item","numeric-id":1892214,"id":"Q1892214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$44CF7A3E-F025-4E75-BC28-275A8540253E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa1c1fa1f613442a33bbebfcf7c29e90533feb2f","datavalue":{"value":{"entity-type":"item","numeric-id":2294696,"id":"Q2294696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$DD5E1B8D-101A-46DD-A35E-9273EF87F842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb7cae577342a3f3adce664a0e0e55344485076","datavalue":{"value":{"entity-type":"item","numeric-id":5091770,"id":"Q5091770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$E27C4273-3E7D-4D06-B064-3D6883E70C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f470da8ce1e3f7fff31281f1621e2ba65576f207","datavalue":{"value":{"entity-type":"item","numeric-id":5145016,"id":"Q5145016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$02C2F133-38A7-4A6E-98C0-AAEDA5EBC071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8cd79183c0b4be1f820dfac41ddf0d9f228147","datavalue":{"value":{"entity-type":"item","numeric-id":5757456,"id":"Q5757456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$6810FDEE-1BA5-4CB2-B264-BB1144C79F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e4ec3391671959471e0dda3a6f5f980abca5fa","datavalue":{"value":{"entity-type":"item","numeric-id":4371671,"id":"Q4371671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$1CDB6F45-DE72-43F3-A5AA-105D3A4B8933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58ad5e428d9feea0d47f5d1f257d269d8f48cbc","datavalue":{"value":{"entity-type":"item","numeric-id":3088190,"id":"Q3088190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$06267480-7186-493E-AD55-78045C427DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e57a1180d0da0fe56af9f3ec7431c25fd30431","datavalue":{"value":{"entity-type":"item","numeric-id":1590080,"id":"Q1590080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$FEAAD5E2-3AE6-4755-9EF3-289A30E3544B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0888b2a995b4bb13effe3c46ef5fb4681a63de44","datavalue":{"value":{"entity-type":"item","numeric-id":3608869,"id":"Q3608869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$39D29267-9C16-4CE2-A353-10A999F06B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695ff78e141778dcd7c4235a0892b9d7c3ac9fa0","datavalue":{"value":{"entity-type":"item","numeric-id":3392947,"id":"Q3392947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$2E14BF4C-1F95-406E-8F05-35F5E9B7217C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509e452b6dd0f8e036244daa5f6ac10d798d6bd2","datavalue":{"value":{"entity-type":"item","numeric-id":5916126,"id":"Q5916126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$6F5D0DEB-B8B3-4046-A743-B234075167BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1ad0aae239a16ac95dd0a93d4755e5ff0cbba4","datavalue":{"value":{"entity-type":"item","numeric-id":5230346,"id":"Q5230346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$E21857F2-330F-47CF-9D0D-609DB4D2328E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1004c5d55757d58af0eedff2519fea2085d7506a","datavalue":{"value":{"entity-type":"item","numeric-id":3129458,"id":"Q3129458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$AA7F8520-8B18-4D27-B7EF-18BFA48A597B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbc7d30b653f396949309a04d1ce697eedd7a86","datavalue":{"value":{"entity-type":"item","numeric-id":5874336,"id":"Q5874336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$C398C8FF-E072-45E5-B864-529A42AAF4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e1c59b20b978e8e0de5a32fdeb6c212dbd6e1a","datavalue":{"value":{"entity-type":"item","numeric-id":1090455,"id":"Q1090455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$CCF21DE7-21FB-4949-A8C5-B327135B847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c781337e93f50cfcff52b43f4e06243fa301e132","datavalue":{"value":{"entity-type":"item","numeric-id":2848219,"id":"Q2848219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$42E952EE-F153-4186-9F01-C28C134902BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9295637fd4e359fc8e65c1b474446e900dfad6","datavalue":{"value":{"entity-type":"item","numeric-id":3189637,"id":"Q3189637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$A63D9698-669E-4DDF-9D82-B908052CC7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32fa136972e31bde79aa1a5b22ee68228fe2bfc","datavalue":{"value":{"entity-type":"item","numeric-id":5121894,"id":"Q5121894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$F704DE23-04A0-4889-AD84-188C6371C1AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f90bbdecb0937875ad96700167f6a59a40683f1e","datavalue":{"value":"10.1007/S00224-022-10106-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701071$3C8F1B4B-0BEF-4C07-91C7-F7C6EE639DEA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701071$1F0195A2-6E8A-4AAA-9259-BECA609BE948","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower bounds against sparse symmetric functions of ACC circuits: expanding the reach of \\SAT algorithms","badges":[]}}}}}