The Limits of Unification
35774Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
|
Unification
Method |
usedFor |
Formal Agreement
Task |
|
Unification
Method |
usedFor | |
|
Variable Matching
Method |
usedFor |
Formal Agreement
Task |
|
Variable Substitution
Method |
usedFor |
Formal Agreement
Task |