TY - JOUR TI - ARQMath Lab: An Incubator for Semantic Formula Search in zbMATH Open? T2 - CLEF 2020: CLEF 2020 working notes AU - Scharpf, Philipp and Schubotz, Moritz and Greiner-Petter, André and Ostendorff, Malte and Teschke, Olaf and Gipp, Bela CY - PB - PY - 2020 PY - 2020 LA - English UR - http://ceur-ws.org/Vol-2696/#paper_200 UR - https://katalog.ub.tu-freiberg.de/Record/0-1807535797 ER -