Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Theorem Proving Based on Semantics of DNA Strand Graph   Because of several technological limitations of traditional silicon based
computing, for past few years a paradigm shift, from silicon to carbon, is
occurring in computational world. DNA computing has been considered to be quite
promising in solving computational and reasoning problems by using DNA strands.
Resolution, an important aspect of automated theorem proving and mathematical
logic, is a rule of inference which leads to proof by contradiction technique
for sentences in propositional logic and first-order logic. This can also be
called refutation theorem-proving. In this paper we have shown how the theorem
proving with resolution refutation by DNA computation can be represented by the
semantics of process calculus and strand graph.

11
The categories of this paper are: hep-lat
3
The categories of this paper are: physics
2
The categories of this paper are: math
21
The categories of this paper are: adap-org
8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th