Year | DOI | Venue |
---|---|---|
1994 | 10.1093/logcom/4.3.217 | J. Log. Comput. |
Keywords | Field | DocType |
theorem proving | Discrete mathematics,Horn clause,Automated theorem proving,Algorithm,Mathematical proof,Superposition calculus,Fundamental theorem,Rewriting,Boolean data type,Completeness (statistics),Mathematics | Journal |
Volume | Issue | Citations |
4 | 3 | 203 |
PageRank | References | Authors |
14.06 | 8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Leo Bachmair | 1 | 1006 | 90.72 |
Harald Ganzinger | 2 | 1513 | 155.21 |