| Keyword | CPC | PCC | Volume | Score | Length of keyword |
|---|---|---|---|---|---|
| proof by induction solver | 0.94 | 0.3 | 9016 | 44 | 25 |
| proof | 1.65 | 1 | 8577 | 46 | 5 |
| by | 1.16 | 0.7 | 7065 | 67 | 2 |
| induction | 1.42 | 0.4 | 1642 | 76 | 9 |
| solver | 0.12 | 0.2 | 1912 | 66 | 6 |
| Keyword | CPC | PCC | Volume | Score |
|---|---|---|---|---|
| proof by induction solver | 1.04 | 1 | 1793 | 46 |
