Name
Abstract | ||
|---|---|---|
Statement {b|nat}{a|nat}(Eq (times two (times a a)) (times b b))- (Eq a zero / Eq b zero) |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/11542384_15 | The Seventeen Provers of the World |
DocType | ISBN | Citations |
Conference | 3-540-30704-4 | 0 |
PageRank | References | Authors |
0.34 | 1 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Conor McBride | 1 | 752 | 47.89 |