Neural Proof Nets
41623Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
|
Сетевые доказательства
Method |
relatedTo |
Линейная логика
Method |