First Order Logic
method
ID: firstorderlogic
Incoming Relationships
| Relationship | Source Entity | Type | Actions |
|---|---|---|---|
| uses | Automated Reasoning | method | View |
| uses | QALD | material | View |
| combinesWith | Low Dimensional Embeddings | material | View |