68-XX Computer science {For papers containing software, source code, etc. in a specific mathematical area, see the classification number –04 in that area} 392936
68V15 Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [See also 03B35] 1303