{"id":"https://openalex.org/W1995111095","doi":"https://doi.org/10.1145/258533.258669","title":"On ACC0[pk] Frege proofs","display_name":"On ACC0[pk] Frege proofs","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W1995111095","doi":"https://doi.org/10.1145/258533.258669","mag":"1995111095"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/258533.258669","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/258533.258669","source":null,"license":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/258533.258669","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027033595","display_name":"Alexis Maciel","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I1317227900","https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexis Maciel","raw_affiliation_string":"Department of Computer Science and UMIACS, University of Maryland College Park, MD#TAB#","raw_affiliation_strings":["Department of Computer Science and UMIACS, University of Maryland College Park, MD#TAB#"]},{"author_position":"last","author":{"id":"https://openalex.org/A5003318200","display_name":"Toniann Pitassi","orcid":null},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243","https://openalex.org/I3132585960"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Toniann Pitassi","raw_affiliation_string":"Department Computer Science, University of Arizona, Tucson, AZ#TAB#","raw_affiliation_strings":["Department Computer Science, University of Arizona, Tucson, AZ#TAB#"]}],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":4,"cited_by_percentile_year":{"min":73,"max":75},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Combinatorial Optimization and Complexity Theory","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Combinatorial Optimization and Complexity Theory","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic Programming and Knowledge Representation","score":0.9988,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computational Complexity and Algorithmic Information Theory","score":0.9985,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.755803},{"id":"https://openalex.org/C2776244770","wikidata":"https://www.wikidata.org/wiki/Q253590","display_name":"Ninth","level":2,"score":0.5632309},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.54320455},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.53467184},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.5269982},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.32457423},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21279112},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1240356},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/258533.258669","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/258533.258669","source":null,"license":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/258533.258669","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/258533.258669","source":null,"license":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"referenced_works_count":23,"referenced_works":["https://openalex.org/W14085832","https://openalex.org/W84007486","https://openalex.org/W1504491664","https://openalex.org/W1607926272","https://openalex.org/W1968655942","https://openalex.org/W1982847801","https://openalex.org/W1990360244","https://openalex.org/W2009994177","https://openalex.org/W2014588328","https://openalex.org/W2054013713","https://openalex.org/W2069767473","https://openalex.org/W2070678975","https://openalex.org/W2075848688","https://openalex.org/W2078608416","https://openalex.org/W2093396771","https://openalex.org/W2114527013","https://openalex.org/W2116794057","https://openalex.org/W2130864840","https://openalex.org/W2131798840","https://openalex.org/W2132489129","https://openalex.org/W2323554188","https://openalex.org/W2462776419","https://openalex.org/W2912133662"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2418086552","https://openalex.org/W4365148692","https://openalex.org/W2137958507","https://openalex.org/W2353365501","https://openalex.org/W4210972636","https://openalex.org/W2321963733","https://openalex.org/W4224988680","https://openalex.org/W4297747900","https://openalex.org/W4244731855"],"ngrams_url":"https://api.openalex.org/works/W1995111095/ngrams","abstract_inverted_index":{"Article":[0],"Free":[1],"Access":[2],"Share":[3],"on":[4,70,121],"On":[5],"ACC0[pk]":[6],"Frege":[7],"proofs":[8],"Authors:":[9],"Alexis":[10],"Maciel":[11],"Dept.":[12,24],"of":[13,19,25,31,44,52,64,72],"Computer":[14,26,41,49],"Science":[15,27],"and":[16,28,98],"UMIACS,":[17,29],"University":[18,30,43,51],"Maryland,":[20,32],"College":[21,33],"Park,":[22,34],"MD":[23],"MDView":[35],"Profile":[36,56],",":[37],"Toniann":[38],"Pitassi":[39],"Department":[40,48],"Science,":[42,50],"Arizona,":[45,53],"Tucson,":[46,54],"AZ":[47],"AZView":[55],"Authors":[57],"Info":[58],"&":[59],"Claims":[60],"STOC":[61],"'97:":[62],"Proceedings":[63],"the":[65,122],"twenty-ninth":[66],"annual":[67],"ACM":[68],"symposium":[69],"Theory":[71],"computingMay":[73],"1997":[74],"Pages":[75],"720\u2013729https://doi.org/10.1145/258533.258669Online:04":[76],"May":[77],"1997Publication":[78],"History":[79],"2citation216DownloadsMetricsTotal":[80],"Citations2Total":[81],"Downloads216Last":[82],"12":[83],"Months3Last":[84],"6":[85],"weeks0":[86],"Get":[87],"Citation":[88,90,127],"AlertsNew":[89,126],"Alert":[91],"added!This":[92],"alert":[93,118],"has":[94,113],"been":[95,114],"successfully":[96],"added":[97],"will":[99,103],"be":[100,104],"sent":[101],"to:You":[102],"notified":[105],"whenever":[106],"a":[107,139],"record":[108],"that":[109],"you":[110],"have":[111],"chosen":[112],"cited.To":[115],"manage":[116],"your":[117,132],"preferences,":[119],"click":[120],"button":[123],"below.Manage":[124],"my":[125],"Alert!Please":[128],"log":[129],"in":[130],"to":[131,135,137],"account":[133],"Save":[134],"BinderSave":[136],"BinderCreate":[138],"New":[140],"BinderNameCancelCreateExport":[141],"CitationPublisher":[142],"SiteeReaderPDF":[143]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1995111095","counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2024-03-20T01:51:22.614702","created_date":"2016-06-24"}