uses framework
[published]static · preferred
First-order logic
| Confidence | Rank | Temporal | Method |
|---|---|---|---|
| High (91%) | preferred | static | ai_generated |
Sources
| Source | Domain | Score | AI |
|---|---|---|---|
| uses_framework | — | — |
First-order logic
| Confidence | Rank | Temporal | Method |
|---|---|---|---|
| High (91%) | preferred | static | ai_generated |
| Source | Domain | Score | AI |
|---|---|---|---|
| uses_framework | — | — |