The OpenMath Standard Version 2.0. Buswell, S., Caprotti, O., Carlisle, D., Dewar, M. C., Gaëtano, M., & Kohlhase, M. Technical Report June, 2004.
Paper bibtex @techreport{buswell_openmath_2004,
title = {The {OpenMath} {Standard} {Version} 2.0},
url = {http://openmath.org/standard/om20-2004-06-30/},
urldate = {2021-10-06},
author = {Buswell, Stephen and Caprotti, Olga and Carlisle, David and Dewar, Mike C. and Gaëtano, Marc and Kohlhase, Michael},
month = jun,
year = {2004},
}
Downloads: 0
{"_id":"K3kxo3pTB8hpJCMNZ","bibbaseid":"buswell-caprotti-carlisle-dewar-gatano-kohlhase-theopenmathstandardversion20-2004","author_short":["Buswell, S.","Caprotti, O.","Carlisle, D.","Dewar, M. C.","Gaëtano, M.","Kohlhase, M."],"bibdata":{"bibtype":"techreport","type":"techreport","title":"The OpenMath Standard Version 2.0","url":"http://openmath.org/standard/om20-2004-06-30/","urldate":"2021-10-06","author":[{"propositions":[],"lastnames":["Buswell"],"firstnames":["Stephen"],"suffixes":[]},{"propositions":[],"lastnames":["Caprotti"],"firstnames":["Olga"],"suffixes":[]},{"propositions":[],"lastnames":["Carlisle"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Dewar"],"firstnames":["Mike","C."],"suffixes":[]},{"propositions":[],"lastnames":["Gaëtano"],"firstnames":["Marc"],"suffixes":[]},{"propositions":[],"lastnames":["Kohlhase"],"firstnames":["Michael"],"suffixes":[]}],"month":"June","year":"2004","bibtex":"@techreport{buswell_openmath_2004,\n\ttitle = {The {OpenMath} {Standard} {Version} 2.0},\n\turl = {http://openmath.org/standard/om20-2004-06-30/},\n\turldate = {2021-10-06},\n\tauthor = {Buswell, Stephen and Caprotti, Olga and Carlisle, David and Dewar, Mike C. and Gaëtano, Marc and Kohlhase, Michael},\n\tmonth = jun,\n\tyear = {2004},\n}\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n","author_short":["Buswell, S.","Caprotti, O.","Carlisle, D.","Dewar, M. C.","Gaëtano, M.","Kohlhase, M."],"key":"buswell_openmath_2004","id":"buswell_openmath_2004","bibbaseid":"buswell-caprotti-carlisle-dewar-gatano-kohlhase-theopenmathstandardversion20-2004","role":"author","urls":{"Paper":"http://openmath.org/standard/om20-2004-06-30/"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"techreport","biburl":"https://bibbase.org/zotero/andreg-p","dataSources":["QGwcHf7xnb5mCCQi7","232g8hXpDQX9NP5FP"],"keywords":[],"search_terms":["openmath","standard","version","buswell","caprotti","carlisle","dewar","gaëtano","kohlhase"],"title":"The OpenMath Standard Version 2.0","year":2004}