| Keyword | CPC | PCC | Volume | Score | Length of keyword |
|---|---|---|---|---|---|
| what is separation logic | 0.46 | 0.8 | 6981 | 73 | 24 |
| what | 1.36 | 0.7 | 4833 | 51 | 4 |
| is | 0.4 | 0.2 | 7530 | 51 | 2 |
| separation | 0.65 | 0.1 | 5438 | 79 | 10 |
| logic | 0.3 | 0.1 | 4150 | 56 | 5 |
| Keyword | CPC | PCC | Volume | Score |
|---|---|---|---|---|
| what is separation logic | 0.76 | 0.6 | 6865 | 42 |
| logical separation of data | 1.1 | 0.3 | 1257 | 90 |
| logical separation vs physical separation | 0.12 | 0.9 | 4849 | 16 |
| use separation of logic and presentation | 0.4 | 0.2 | 1267 | 92 |
| what is logical separation | 0.03 | 0.1 | 6490 | 84 |
| what is logical separation of data | 0.32 | 0.1 | 8940 | 89 |
| separation logic | 1.45 | 0.3 | 4175 | 82 |
| separation logic z3 | 1.46 | 0.9 | 6967 | 20 |
| separation logic invariant | 0.17 | 0.2 | 9017 | 70 |
| separation logic tutorial | 0.33 | 1 | 2417 | 88 |
