FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2070794501> ?p ?o ?g. }

• W2070794501 endingPage "354" @default.
• W2070794501 startingPage "325" @default.
• W2070794501 abstract "Proving completeness of NC-resolution under a linear restriction has been elusive; it is proved here for formulas in negation normal form. The proof uses a generalization of the Anderson–Bledsoe excess literal argument, which was developed for resolution. That result is extended to NC-resolution with partial replacement. A simple proof of the completeness of regular, connected tableaux for formulas in conjunctive normal form is also presented. These techniques are then used to establish the completeness of regular, connected tableaux for formulas in negation normal form." @default.
• W2070794501 created "2016-06-24" @default.
• W2070794501 creator A5011642507 @default.
• W2070794501 creator A5031255395 @default.
• W2070794501 creator A5084143460 @default.
• W2070794501 date "2004-12-01" @default.
• W2070794501 modified "2023-10-17" @default.
• W2070794501 title "Linearity and regularity with negation normal form" @default.
• W2070794501 cites W1491798581 @default.
• W2070794501 cites W1816816118 @default.
• W2070794501 cites W2010405422 @default.
• W2070794501 cites W2010939537 @default.
• W2070794501 cites W2012436850 @default.
• W2070794501 cites W2018221833 @default.
• W2070794501 cites W2053547980 @default.
• W2070794501 cites W2062897452 @default.
• W2070794501 cites W2088350978 @default.
• W2070794501 cites W2092544922 @default.
• W2070794501 cites W2095365729 @default.
• W2070794501 cites W2108309071 @default.
• W2070794501 cites W4229861117 @default.
• W2070794501 doi "https://doi.org/10.1016/j.tcs.2004.09.001" @default.
• W2070794501 hasPublicationYear "2004" @default.
• W2070794501 type Work @default.
• W2070794501 sameAs 2070794501 @default.
• W2070794501 citedByCount "10" @default.
• W2070794501 countsByYear W20707945012016 @default.
• W2070794501 countsByYear W20707945012017 @default.
• W2070794501 countsByYear W20707945012020 @default.
• W2070794501 countsByYear W20707945012021 @default.
• W2070794501 countsByYear W20707945012023 @default.
• W2070794501 crossrefType "journal-article" @default.
• W2070794501 hasAuthorship W2070794501A5011642507 @default.
• W2070794501 hasAuthorship W2070794501A5031255395 @default.
• W2070794501 hasAuthorship W2070794501A5084143460 @default.
• W2070794501 hasBestOaLocation W20707945011 @default.
• W2070794501 hasConcept C102993220 @default.
• W2070794501 hasConcept C111472728 @default.
• W2070794501 hasConcept C11413529 @default.
• W2070794501 hasConcept C118615104 @default.
• W2070794501 hasConcept C121332964 @default.
• W2070794501 hasConcept C134306372 @default.
• W2070794501 hasConcept C136119220 @default.
• W2070794501 hasConcept C138268822 @default.
• W2070794501 hasConcept C138885662 @default.
• W2070794501 hasConcept C154945302 @default.
• W2070794501 hasConcept C16221470 @default.
• W2070794501 hasConcept C17231256 @default.
• W2070794501 hasConcept C177148314 @default.
• W2070794501 hasConcept C194146651 @default.
• W2070794501 hasConcept C199343813 @default.
• W2070794501 hasConcept C199360897 @default.
• W2070794501 hasConcept C202444582 @default.
• W2070794501 hasConcept C203659156 @default.
• W2070794501 hasConcept C2185349 @default.
• W2070794501 hasConcept C2777686260 @default.
• W2070794501 hasConcept C2780586882 @default.
• W2070794501 hasConcept C2780882242 @default.
• W2070794501 hasConcept C33923547 @default.
• W2070794501 hasConcept C3845977 @default.
• W2070794501 hasConcept C41008148 @default.
• W2070794501 hasConcept C62520636 @default.
• W2070794501 hasConcept C71924100 @default.
• W2070794501 hasConcept C77170095 @default.
• W2070794501 hasConceptScore W2070794501C102993220 @default.
• W2070794501 hasConceptScore W2070794501C111472728 @default.
• W2070794501 hasConceptScore W2070794501C11413529 @default.
• W2070794501 hasConceptScore W2070794501C118615104 @default.
• W2070794501 hasConceptScore W2070794501C121332964 @default.
• W2070794501 hasConceptScore W2070794501C134306372 @default.
• W2070794501 hasConceptScore W2070794501C136119220 @default.
• W2070794501 hasConceptScore W2070794501C138268822 @default.
• W2070794501 hasConceptScore W2070794501C138885662 @default.
• W2070794501 hasConceptScore W2070794501C154945302 @default.
• W2070794501 hasConceptScore W2070794501C16221470 @default.
• W2070794501 hasConceptScore W2070794501C17231256 @default.
• W2070794501 hasConceptScore W2070794501C177148314 @default.
• W2070794501 hasConceptScore W2070794501C194146651 @default.
• W2070794501 hasConceptScore W2070794501C199343813 @default.
• W2070794501 hasConceptScore W2070794501C199360897 @default.
• W2070794501 hasConceptScore W2070794501C202444582 @default.
• W2070794501 hasConceptScore W2070794501C203659156 @default.
• W2070794501 hasConceptScore W2070794501C2185349 @default.
• W2070794501 hasConceptScore W2070794501C2777686260 @default.
• W2070794501 hasConceptScore W2070794501C2780586882 @default.
• W2070794501 hasConceptScore W2070794501C2780882242 @default.
• W2070794501 hasConceptScore W2070794501C33923547 @default.
• W2070794501 hasConceptScore W2070794501C3845977 @default.
• W2070794501 hasConceptScore W2070794501C41008148 @default.
• W2070794501 hasConceptScore W2070794501C62520636 @default.
• W2070794501 hasConceptScore W2070794501C71924100 @default.
• W2070794501 hasConceptScore W2070794501C77170095 @default.
• W2070794501 hasIssue "3" @default.
• W2070794501 hasLocation W20707945011 @default.
• W2070794501 hasOpenAccess W2070794501 @default.
• W2070794501 hasPrimaryLocation W20707945011 @default.
• W2070794501 hasRelatedWork W1491798581 @default.
• W2070794501 hasRelatedWork W1967672077 @default.

• next