The following are the current most viewed articles on Wikipedia within Wikipedia's Automated theorem proving category. Think of it as a What's Hot list for Automated theorem proving. More info »
This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.
Rank  Topic  Wikipedia views  

1  Automated theorem proving  675  
2  Resolution (logic)  226  
3  Automated reasoning  151  
4  Sequent calculus  123  
5  DPLL algorithm  102  
6  Method of analytic tableaux  101  
7  Proof (truth)  98  
8  Computerassisted proof  90  
9  Unification (computing)  75  
10  Davis–Putnam algorithm  67  
11  Hilbert system  60  
12  Interactive theorem proving  59  
13  Concolic testing  29  
14  Proof complexity  22  
15  Chaff algorithm  17  
16  Unit propagation  17  
17  Rippling  17  
18  Occurs check  16  
19  Model elimination  14  
20  IsaPlanner  14  
21  Beaver bitvector decision procedure  9  
22  Semilinear resolution  8  
23  Delayed clause construction  7  
24  Harald Ganzinger  less than 5 views 
This category has only the following subcategory.
The following 23 pages are in this category, out of 23 total. This list may not reflect recent changes (learn more).
ABCD 
D cont.GHIMO 
PRSU 
