Syllogistic Rules
otherentity
ID: syllogisticrules
Incoming Relationships
| Relationship | Source Entity | Type | Actions |
|---|---|---|---|
| appliesTo | Theorem Prover | method | View |
| Relationship | Source Entity | Type | Actions |
|---|---|---|---|
| appliesTo | Theorem Prover | method | View |