Using prime numbers for automatic theorem proving
Keyword(s):
We apply an analogous setting from Gödel's numbering system to automatic theorem proving.
2004 ◽
pp. 457-461
◽
1983 ◽
Vol C-32
(9)
◽
pp. 785-798
◽
Keyword(s):