Natural Deduction Evaluator
ASO Keyword Dashboard
Tracking 23 keywords for Natural Deduction Evaluator in Google Play
Natural Deduction Evaluator tracks 23 keywords (1 keyword ranks; 22 need traction). Key metrics: 100% top-10 coverage, opportunity 70.2, difficulty 47.2, best rank 2.
Stores and evaluates natural deduction proofs
Tracked keywords
23
1 ranked • 22 not ranking yet
Top 10 coverage
100%
Best rank 2 • Latest leader —
Avg opportunity
70.2
Top keyword: swap
Avg difficulty
47.2
Lower scores indicate easier wins
Opportunity leaders
- 60.4
swap
Opportunity: 74.0 • Difficulty: 43.1 • Rank —
Competitors: 481
- 59.7
proof
Opportunity: 74.0 • Difficulty: 38.1 • Rank —
Competitors: 196
- 62.5
logical
Opportunity: 74.0 • Difficulty: 41.4 • Rank —
Competitors: 521
- 59.7
distinct
Opportunity: 74.0 • Difficulty: 39.3 • Rank —
Competitors: 314
- 70.1
natural
Opportunity: 72.0 • Difficulty: 45.8 • Rank —
Competitors: 1,168
Unranked opportunities
swap
Opportunity: 74.0 • Difficulty: 43.1 • Competitors: 481
proof
Opportunity: 74.0 • Difficulty: 38.1 • Competitors: 196
logical
Opportunity: 74.0 • Difficulty: 41.4 • Competitors: 521
distinct
Opportunity: 74.0 • Difficulty: 39.3 • Competitors: 314
natural
Opportunity: 72.0 • Difficulty: 45.8 • Competitors: 1,168
High competition keywords
help
Total apps: 280,962 • Major competitors: 14,384
Latest rank: — • Difficulty: 59.8
create
Total apps: 200,665 • Major competitors: 13,287
Latest rank: — • Difficulty: 61.6
learn
Total apps: 143,086 • Major competitors: 6,603
Latest rank: — • Difficulty: 55.9
tool
Total apps: 101,043 • Major competitors: 3,601
Latest rank: — • Difficulty: 50.6
number
Total apps: 95,919 • Major competitors: 5,090
Latest rank: — • Difficulty: 52.9
All tracked keywords
Includes opportunity, difficulty, rankings and competitor benchmarks
| Major Competitors | |||||||
|---|---|---|---|---|---|---|---|
| deduction | 71 | 100 | 33 | 49 1,205 competing apps Median installs: 2,857 Avg rating: 1.9 | 2 | 2 | 60 major competitor apps |
| version | 70 | 100 | 56 | 76 56,833 competing apps Median installs: 3,752 Avg rating: 2.2 | — | — | 3,125 major competitor apps |
| step | 69 | 100 | 51 | 78 83,331 competing apps Median installs: 1,280 Avg rating: 1.9 | — | — | 3,798 major competitor apps |
| swap | 74 | 100 | 43 | 60 6,211 competing apps Median installs: 4,028 Avg rating: 2.2 | — | — | 481 major competitor apps |
| learn | 67 | 100 | 56 | 82 143,086 competing apps Median installs: 1,947 Avg rating: 1.9 | — | — | 6,603 major competitor apps |
| individual | 71 | 100 | 49 | 73 38,004 competing apps Median installs: 1,268 Avg rating: 1.7 | — | — | 1,070 major competitor apps |
| educational | 70 | 100 | 48 | 76 60,441 competing apps Median installs: 997 Avg rating: 1.7 | — | — | 2,020 major competitor apps |
| list | 69 | 100 | 53 | 78 82,336 competing apps Median installs: 1,975 Avg rating: 1.9 | — | — | 3,302 major competitor apps |
| help | 65 | 100 | 60 | 87 280,962 competing apps Median installs: 1,692 Avg rating: 2.0 | — | — | 14,384 major competitor apps |
| store | 69 | 100 | 55 | 78 81,143 competing apps Median installs: 1,335 Avg rating: 1.9 | — | — | 3,958 major competitor apps |
| english | 70 | 100 | 48 | 74 46,581 competing apps Median installs: 3,058 Avg rating: 1.9 | — | — | 1,889 major competitor apps |
| create | 66 | 100 | 62 | 84 200,665 competing apps Median installs: 2,550 Avg rating: 2.0 | — | — | 13,287 major competitor apps |
| tool | 68 | 100 | 51 | 80 101,043 competing apps Median installs: 1,136 Avg rating: 1.9 | — | — | 3,601 major competitor apps |
| feedback | 70 | 100 | 55 | 75 51,285 competing apps Median installs: 2,399 Avg rating: 2.0 | — | — | 2,448 major competitor apps |
| number | 68 | 100 | 53 | 79 95,919 competing apps Median installs: 2,684 Avg rating: 2.0 | — | — | 5,090 major competitor apps |
| natural | 72 | 100 | 46 | 70 25,172 competing apps Median installs: 1,612 Avg rating: 1.9 | — | — | 1,168 major competitor apps |
| proof | 74 | 100 | 38 | 60 5,560 competing apps Median installs: 1,108 Avg rating: 1.8 | — | — | 196 major competitor apps |
| edit | 71 | 100 | 61 | 71 30,604 competing apps Median installs: 2,846 Avg rating: 2.1 | — | — | 2,290 major competitor apps |
| logical | 74 | 100 | 41 | 62 8,363 competing apps Median installs: 3,020 Avg rating: 2.0 | — | — | 521 major competitor apps |
| educational tool | 72 | 100 | 31 | 51 1,535 competing apps Median installs: 1,086 Avg rating: 1.7 | — | — | 24 major competitor apps |
| distinct | 74 | 100 | 39 | 60 5,587 competing apps Median installs: 3,017 Avg rating: 2.0 | — | — | 314 major competitor apps |
| english version | 70 | 100 | 30 | 44 541 competing apps Median installs: 2,668 Avg rating: 1.7 | — | — | 12 major competitor apps |
| croatian | 70 | 100 | 28 | 45 688 competing apps Median installs: 2,002 Avg rating: 1.8 | — | — | 15 major competitor apps |
App Description
Stores and evaluates natural deduction proofs
Users can create and store any number of distinct natural deduction proofs and edit them freely. The proofs are automatically evaluated by the app. The evaluations provide feedback on each individual step of the proof - whether a proposition is incorrectly formulated, correctly derived, incorrectly derived etc.
The app contains a list of derivation rules which can be used in proofs.
Users can swap between the Croatian and English version of the app.