Abstract | ||
---|---|---|
This paper gives a simple, elegant statement of the condensed detachment rule that is independent of most general unifiers and proves that this is equivalent to the longer, more usual, formulation. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1007/BF01048619 | Journal of Logic, Language and Information |
Keywords | Field | DocType |
Condensed detachment,unification | Discrete mathematics,Unification,Algorithm,Condensed detachment,Mathematics,Calculus | Journal |
Volume | Issue | Citations |
4 | 2 | 0 |
PageRank | References | Authors |
0.34 | 2 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin W. Bunder | 1 | 64 | 16.78 |