enables capability
[published]static · preferred
Automated theorem proving
| Confidence | Rank | Temporal | Method |
|---|---|---|---|
| High (90%) | preferred | static | ai_generated |
Sources
| Source | Domain | Score | AI |
|---|---|---|---|
| enables_capability | — | — |
Automated theorem proving
| Confidence | Rank | Temporal | Method |
|---|---|---|---|
| High (90%) | preferred | static | ai_generated |
| Source | Domain | Score | AI |
|---|---|---|---|
| enables_capability | — | — |