{"_id":"Sv7wekMRK2Edbn4f5","bibbaseid":"aaronson-ispversusnpformallyindependent-2003","authorIDs":[],"author_short":["Aaronson, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Aaronson"],"firstnames":["Scott"],"suffixes":[]}],"title":"Is P Versus NP Formally Independent?","journal":"Bulletin of the EATCS","volume":"","number":"","pages":"","year":"2003","abstract":"","location":"","keywords":"","bibtex":"@Article{Aaronson2003,\nauthor = {Aaronson, Scott}, \ntitle = {Is P Versus NP Formally Independent?}, \njournal = {Bulletin of the EATCS}, \nvolume = {}, \nnumber = {}, \npages = {}, \nyear = {2003}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Aaronson, S."],"key":"Aaronson2003","id":"Aaronson2003","bibbaseid":"aaronson-ispversusnpformallyindependent-2003","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.725Z","downloads":0,"keywords":[],"search_terms":["versus","formally","independent","aaronson"],"title":"Is P Versus NP Formally Independent?","year":2003,"dataSources":["hEoKh4ygEAWbAZ5iy"]}