@techreport{
 title = {The SMT-LIB Standard: Version 2.5},
 type = {techreport},
 year = {2015},
 institution = {Department of Computer Science, The University of Iowa},
 id = {ec6ec72d-bbcc-33c5-884a-6b2ca387ba8e},
 created = {2017-04-26T09:06:21.457Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:21.457Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {smtlib25},
 source_type = {techreport},
 bibtype = {techreport},
 author = {Barrett, Clark and Fontaine, Pascal and Tinelli, Cesare}
}

{"_id":"9zmCvmM6NZPnMfGS3","bibbaseid":"barrett-fontaine-tinelli-thesmtlibstandardversion25-2015","downloads":0,"creationDate":"2017-04-26T09:07:48.298Z","title":"The SMT-LIB Standard: Version 2.5","author_short":["Barrett, C.","Fontaine, P.","Tinelli, C."],"year":2015,"bibtype":"techreport","biburl":null,"bibdata":{"title":"The SMT-LIB Standard: Version 2.5","type":"techreport","year":"2015","institution":"Department of Computer Science, The University of Iowa","id":"ec6ec72d-bbcc-33c5-884a-6b2ca387ba8e","created":"2017-04-26T09:06:21.457Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:21.457Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"smtlib25","source_type":"techreport","bibtype":"techreport","author":"Barrett, Clark and Fontaine, Pascal and Tinelli, Cesare","bibtex":"@techreport{\n title = {The SMT-LIB Standard: Version 2.5},\n type = {techreport},\n year = {2015},\n institution = {Department of Computer Science, The University of Iowa},\n id = {ec6ec72d-bbcc-33c5-884a-6b2ca387ba8e},\n created = {2017-04-26T09:06:21.457Z},\n file_attached = {false},\n profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},\n group_id = {337127a6-4a46-3af3-a559-f76746200fef},\n last_modified = {2017-04-26T09:06:21.457Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {smtlib25},\n source_type = {techreport},\n bibtype = {techreport},\n author = {Barrett, Clark and Fontaine, Pascal and Tinelli, Cesare}\n}","author_short":["Barrett, C.","Fontaine, P.","Tinelli, C."],"bibbaseid":"barrett-fontaine-tinelli-thesmtlibstandardversion25-2015","role":"author","urls":{},"downloads":0},"search_terms":["smt","lib","standard","version","barrett","fontaine","tinelli"],"keywords":[],"authorIDs":[]}