OSCAR means Ohio State Catalog of Automated Retrieval in
Mathematics
Similar to OSCAR
ABS - Absolute
AC - Axiom of Choice
AC - Arc Consistency
AC - Assumption Context
AC - 'A' Complement
AC - Added Constraint
ACA - Arithmetic Comprehension Axiom
View all in Mathematics