{"content":[{"text":"Weak Quantiﬁer Elimination for the Integers \n Beyond the Linear Case","bbox":{"left":0.089233,"top":0.211705,"width":0.821546,"height":0.12575299999999998}},{"text":"A. Lasaruk1","bbox":{"left":0.338912,"top":0.428348,"width":0.15637800000000002,"height":0.053885000000000016}},{"text":"T. Sturm2","bbox":{"left":0.535086,"top":0.428348,"width":0.12463100000000005,"height":0.053885000000000016}},{"text":"FORWISS, University of Passau","bbox":{"left":0.343798,"top":0.527497,"width":0.31240399999999996,"height":0.03625900000000004}},{"text":"FIM, University of Passau","bbox":{"left":0.375595,"top":0.591562,"width":0.248811,"height":0.03625900000000004}},{"text":"December 4, 2007","bbox":{"left":0.376339,"top":0.678236,"width":0.24732500000000002,"height":0.04962999999999995}},{"text":"A. Lasaruk, T. Sturm","bbox":{"left":0.03299,"top":0.967468,"width":0.158898,"height":0.027590000000000003}},{"text":"(Uni Passau)","bbox":{"left":0.201049,"top":0.967468,"width":0.09929299999999999,"height":0.027590000000000003}},{"text":"WQE for the Integers","bbox":{"left":0.41827,"top":0.967468,"width":0.163445,"height":0.027590000000000003}},{"text":"December 4, 2007","bbox":{"left":0.764516,"top":0.967468,"width":0.13919500000000007,"height":0.027590000000000003}},{"text":"1 / 25","bbox":{"left":0.94124,"top":0.967468,"width":0.041220000000000034,"height":0.027590000000000003}}],"images_bbox":[],"images_bbox_not_text_overlap":[]}