Automated Theorem Proving
method
ID: automatedtheoremproving
Outgoing Relationships
| Relationship | Target Entity | Type | Actions |
|---|---|---|---|
| enhancedBy | Human in the Loop System | method | View |
| enables | Knowledge Validation | task | View |