{"_id":{"_str":"538c431f0e577e1d6b0043e7"},"__v":0,"authorIDs":[],"author_short":["Fitting, M."],"bibbaseid":"fitting-asimplepropositionals5trableaussytem-2008","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Fitting"],"firstnames":["Melvin"],"suffixes":[]}],"journal":"Working paper","title":"A Simple Propositional S5 trableau Ssytem","year":"2008","bibtex":"@article{Fitting2008,\nauthor = {Fitting, Melvin},\njournal = {Working paper},\ntitle = {{A Simple Propositional S5 trableau Ssytem}},\nyear = {2008}\n}\n","author_short":["Fitting, M."],"key":"Fitting2008","id":"Fitting2008","bibbaseid":"fitting-asimplepropositionals5trableaussytem-2008","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/3025568/biblio/library.bib","downloads":0,"keywords":[],"search_terms":["simple","propositional","trableau","ssytem","fitting"],"title":"A Simple Propositional S5 trableau Ssytem","year":2008,"dataSources":["qv8ccPJBs55cWKHSz"]}