Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297814284> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4297814284 abstract "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." @default.
- W4297814284 created "2022-10-01" @default.
- W4297814284 creator A5034661309 @default.
- W4297814284 creator A5050422295 @default.
- W4297814284 date "2017-02-15" @default.
- W4297814284 modified "2023-09-30" @default.
- W4297814284 title "Theorem Proving Based on Semantics of DNA Strand Graph" @default.
- W4297814284 doi "https://doi.org/10.48550/arxiv.1702.05383" @default.
- W4297814284 hasPublicationYear "2017" @default.
- W4297814284 type Work @default.
- W4297814284 citedByCount "0" @default.
- W4297814284 crossrefType "posted-content" @default.
- W4297814284 hasAuthorship W4297814284A5034661309 @default.
- W4297814284 hasAuthorship W4297814284A5050422295 @default.
- W4297814284 hasBestOaLocation W42978142841 @default.
- W4297814284 hasConcept C100481476 @default.
- W4297814284 hasConcept C111472728 @default.
- W4297814284 hasConcept C138268822 @default.
- W4297814284 hasConcept C138885662 @default.
- W4297814284 hasConcept C154945302 @default.
- W4297814284 hasConcept C184337299 @default.
- W4297814284 hasConcept C195344581 @default.
- W4297814284 hasConcept C199360897 @default.
- W4297814284 hasConcept C206880738 @default.
- W4297814284 hasConcept C2776214188 @default.
- W4297814284 hasConcept C2776728590 @default.
- W4297814284 hasConcept C41008148 @default.
- W4297814284 hasConcept C45374587 @default.
- W4297814284 hasConcept C80444323 @default.
- W4297814284 hasConcept C82047324 @default.
- W4297814284 hasConceptScore W4297814284C100481476 @default.
- W4297814284 hasConceptScore W4297814284C111472728 @default.
- W4297814284 hasConceptScore W4297814284C138268822 @default.
- W4297814284 hasConceptScore W4297814284C138885662 @default.
- W4297814284 hasConceptScore W4297814284C154945302 @default.
- W4297814284 hasConceptScore W4297814284C184337299 @default.
- W4297814284 hasConceptScore W4297814284C195344581 @default.
- W4297814284 hasConceptScore W4297814284C199360897 @default.
- W4297814284 hasConceptScore W4297814284C206880738 @default.
- W4297814284 hasConceptScore W4297814284C2776214188 @default.
- W4297814284 hasConceptScore W4297814284C2776728590 @default.
- W4297814284 hasConceptScore W4297814284C41008148 @default.
- W4297814284 hasConceptScore W4297814284C45374587 @default.
- W4297814284 hasConceptScore W4297814284C80444323 @default.
- W4297814284 hasConceptScore W4297814284C82047324 @default.
- W4297814284 hasLocation W42978142841 @default.
- W4297814284 hasOpenAccess W4297814284 @default.
- W4297814284 hasPrimaryLocation W42978142841 @default.
- W4297814284 hasRelatedWork W1553145570 @default.
- W4297814284 hasRelatedWork W1656258 @default.
- W4297814284 hasRelatedWork W1740279486 @default.
- W4297814284 hasRelatedWork W2172284483 @default.
- W4297814284 hasRelatedWork W2338301088 @default.
- W4297814284 hasRelatedWork W2389795908 @default.
- W4297814284 hasRelatedWork W2494123147 @default.
- W4297814284 hasRelatedWork W2496881771 @default.
- W4297814284 hasRelatedWork W2569890278 @default.
- W4297814284 hasRelatedWork W571061302 @default.
- W4297814284 isParatext "false" @default.
- W4297814284 isRetracted "false" @default.
- W4297814284 workType "article" @default.