{"_id":"Cspc95z5sCgEBunsy","bibbaseid":"sutcliffe-zimmer-schulz-tstpdataexchangeformatsforautomatedtheoremprovingtools-2004","downloads":0,"creationDate":"2017-09-01T03:35:40.581Z","title":"TSTP data-exchange formats for automated theorem proving tools","author_short":["Sutcliffe, G.","Zimmer, J.","Schulz, S."],"year":2004,"bibtype":"article","biburl":"https://raw.githubusercontent.com/jonaprieto/athena/master/paper/ref.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Sutcliffe"],"firstnames":["Geoff"],"suffixes":[]},{"propositions":[],"lastnames":["Zimmer"],"firstnames":["Jürgen"],"suffixes":[]},{"propositions":[],"lastnames":["Schulz"],"firstnames":["Stephan"],"suffixes":[]}],"journal":"Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems","pages":"201--215","title":"TSTP data-exchange formats for automated theorem proving tools","volume":"112","year":"2004","bibtex":"@article{sutcliffe2004tstp,\nauthor = {Sutcliffe, Geoff and Zimmer, J{\\\"{u}}rgen and Schulz, Stephan},\njournal = {Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems},\npages = {201--215},\ntitle = {{TSTP data-exchange formats for automated theorem proving tools}},\nvolume = {112},\nyear = {2004}\n}\n","author_short":["Sutcliffe, G.","Zimmer, J.","Schulz, S."],"key":"sutcliffe2004tstp","id":"sutcliffe2004tstp","bibbaseid":"sutcliffe-zimmer-schulz-tstpdataexchangeformatsforautomatedtheoremprovingtools-2004","role":"author","urls":{},"downloads":0},"search_terms":["tstp","data","exchange","formats","automated","theorem","proving","tools","sutcliffe","zimmer","schulz"],"keywords":[],"authorIDs":[],"dataSources":["8jafqMAWgB7XP4FTZ"]}