Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079454194> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2079454194 abstract "In this paper, we investigate the practicality of generating semantic trees to prove the unsatisfiabi-lity of sets of clauses in first-order predicate logic. Two methods of generating semantic trees are considered. First, we consider semantic trees generated by using the canonical enumeration of Herbrand base atoms. Then, we consider semantic trees generated by selectively choosing the atoms from the Herbrand base. A comparison is made between the two approaches using the theorems from the Stickel Test Set." @default.
- W2079454194 created "2016-06-24" @default.
- W2079454194 creator A5039806358 @default.
- W2079454194 creator A5054544098 @default.
- W2079454194 date "1996-01-01" @default.
- W2079454194 modified "2023-09-25" @default.
- W2079454194 title "The practicality of generating semantic trees for proofs of unsatisfiability" @default.
- W2079454194 cites W1996158986 @default.
- W2079454194 cites W2013565918 @default.
- W2079454194 cites W2020794409 @default.
- W2079454194 cites W2043314428 @default.
- W2079454194 cites W2100738443 @default.
- W2079454194 doi "https://doi.org/10.1080/00207169608804524" @default.
- W2079454194 hasPublicationYear "1996" @default.
- W2079454194 type Work @default.
- W2079454194 sameAs 2079454194 @default.
- W2079454194 citedByCount "2" @default.
- W2079454194 crossrefType "journal-article" @default.
- W2079454194 hasAuthorship W2079454194A5039806358 @default.
- W2079454194 hasAuthorship W2079454194A5054544098 @default.
- W2079454194 hasConcept C100481476 @default.
- W2079454194 hasConcept C108710211 @default.
- W2079454194 hasConcept C11413529 @default.
- W2079454194 hasConcept C118615104 @default.
- W2079454194 hasConcept C134306372 @default.
- W2079454194 hasConcept C140146324 @default.
- W2079454194 hasConcept C156340839 @default.
- W2079454194 hasConcept C177264268 @default.
- W2079454194 hasConcept C199360897 @default.
- W2079454194 hasConcept C2524010 @default.
- W2079454194 hasConcept C33923547 @default.
- W2079454194 hasConcept C41008148 @default.
- W2079454194 hasConcept C42058472 @default.
- W2079454194 hasConceptScore W2079454194C100481476 @default.
- W2079454194 hasConceptScore W2079454194C108710211 @default.
- W2079454194 hasConceptScore W2079454194C11413529 @default.
- W2079454194 hasConceptScore W2079454194C118615104 @default.
- W2079454194 hasConceptScore W2079454194C134306372 @default.
- W2079454194 hasConceptScore W2079454194C140146324 @default.
- W2079454194 hasConceptScore W2079454194C156340839 @default.
- W2079454194 hasConceptScore W2079454194C177264268 @default.
- W2079454194 hasConceptScore W2079454194C199360897 @default.
- W2079454194 hasConceptScore W2079454194C2524010 @default.
- W2079454194 hasConceptScore W2079454194C33923547 @default.
- W2079454194 hasConceptScore W2079454194C41008148 @default.
- W2079454194 hasConceptScore W2079454194C42058472 @default.
- W2079454194 hasLocation W20794541941 @default.
- W2079454194 hasOpenAccess W2079454194 @default.
- W2079454194 hasPrimaryLocation W20794541941 @default.
- W2079454194 hasRelatedWork W1503053500 @default.
- W2079454194 hasRelatedWork W1509337861 @default.
- W2079454194 hasRelatedWork W1513650840 @default.
- W2079454194 hasRelatedWork W1517205743 @default.
- W2079454194 hasRelatedWork W1538688579 @default.
- W2079454194 hasRelatedWork W1580442412 @default.
- W2079454194 hasRelatedWork W1607441480 @default.
- W2079454194 hasRelatedWork W1803582651 @default.
- W2079454194 hasRelatedWork W1870129691 @default.
- W2079454194 hasRelatedWork W1987278361 @default.
- W2079454194 hasRelatedWork W2004256601 @default.
- W2079454194 hasRelatedWork W2008623937 @default.
- W2079454194 hasRelatedWork W2019170811 @default.
- W2079454194 hasRelatedWork W2032303728 @default.
- W2079454194 hasRelatedWork W2039914844 @default.
- W2079454194 hasRelatedWork W2053455078 @default.
- W2079454194 hasRelatedWork W2136132549 @default.
- W2079454194 hasRelatedWork W2154175929 @default.
- W2079454194 hasRelatedWork W2252478902 @default.
- W2079454194 hasRelatedWork W2147518469 @default.
- W2079454194 isParatext "false" @default.
- W2079454194 isRetracted "false" @default.
- W2079454194 magId "2079454194" @default.
- W2079454194 workType "article" @default.