Matches in SemOpenAlex for { <https://semopenalex.org/work/W1831570170> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1831570170 abstract "We study classes of logical calculi which have the same inconsistent sets of formulas. We investigate the algebraic structure of these classes as well as general properties of logical calculi in these classes in the context of the search for efficient resolution based automated reasoning methods. >" @default.
- W1831570170 created "2016-06-24" @default.
- W1831570170 creator A5074550143 @default.
- W1831570170 date "2002-12-17" @default.
- W1831570170 modified "2023-09-25" @default.
- W1831570170 title "Lattices of resolution logics" @default.
- W1831570170 cites W100413114 @default.
- W1831570170 cites W1490829364 @default.
- W1831570170 cites W1550213970 @default.
- W1831570170 cites W1992499560 @default.
- W1831570170 cites W1997853397 @default.
- W1831570170 cites W2053168348 @default.
- W1831570170 cites W2095704391 @default.
- W1831570170 cites W2120602516 @default.
- W1831570170 cites W2331855851 @default.
- W1831570170 cites W3127823229 @default.
- W1831570170 cites W1971665981 @default.
- W1831570170 cites W97795048 @default.
- W1831570170 doi "https://doi.org/10.1109/ismvl.1994.302214" @default.
- W1831570170 hasPublicationYear "2002" @default.
- W1831570170 type Work @default.
- W1831570170 sameAs 1831570170 @default.
- W1831570170 citedByCount "0" @default.
- W1831570170 crossrefType "proceedings-article" @default.
- W1831570170 hasAuthorship W1831570170A5074550143 @default.
- W1831570170 hasConcept C11413529 @default.
- W1831570170 hasConcept C134306372 @default.
- W1831570170 hasConcept C136119220 @default.
- W1831570170 hasConcept C138268822 @default.
- W1831570170 hasConcept C151730666 @default.
- W1831570170 hasConcept C154945302 @default.
- W1831570170 hasConcept C195344581 @default.
- W1831570170 hasConcept C202444582 @default.
- W1831570170 hasConcept C2779343474 @default.
- W1831570170 hasConcept C33923547 @default.
- W1831570170 hasConcept C41008148 @default.
- W1831570170 hasConcept C80444323 @default.
- W1831570170 hasConcept C86803240 @default.
- W1831570170 hasConcept C9376300 @default.
- W1831570170 hasConceptScore W1831570170C11413529 @default.
- W1831570170 hasConceptScore W1831570170C134306372 @default.
- W1831570170 hasConceptScore W1831570170C136119220 @default.
- W1831570170 hasConceptScore W1831570170C138268822 @default.
- W1831570170 hasConceptScore W1831570170C151730666 @default.
- W1831570170 hasConceptScore W1831570170C154945302 @default.
- W1831570170 hasConceptScore W1831570170C195344581 @default.
- W1831570170 hasConceptScore W1831570170C202444582 @default.
- W1831570170 hasConceptScore W1831570170C2779343474 @default.
- W1831570170 hasConceptScore W1831570170C33923547 @default.
- W1831570170 hasConceptScore W1831570170C41008148 @default.
- W1831570170 hasConceptScore W1831570170C80444323 @default.
- W1831570170 hasConceptScore W1831570170C86803240 @default.
- W1831570170 hasConceptScore W1831570170C9376300 @default.
- W1831570170 hasLocation W18315701701 @default.
- W1831570170 hasOpenAccess W1831570170 @default.
- W1831570170 hasPrimaryLocation W18315701701 @default.
- W1831570170 hasRelatedWork W1491248974 @default.
- W1831570170 hasRelatedWork W1522082107 @default.
- W1831570170 hasRelatedWork W1523730659 @default.
- W1831570170 hasRelatedWork W1527077225 @default.
- W1831570170 hasRelatedWork W1551340995 @default.
- W1831570170 hasRelatedWork W1563089401 @default.
- W1831570170 hasRelatedWork W1599587354 @default.
- W1831570170 hasRelatedWork W1995955735 @default.
- W1831570170 hasRelatedWork W2003647857 @default.
- W1831570170 hasRelatedWork W2010121058 @default.
- W1831570170 hasRelatedWork W2125565018 @default.
- W1831570170 hasRelatedWork W2138672173 @default.
- W1831570170 hasRelatedWork W2150553139 @default.
- W1831570170 hasRelatedWork W2151038558 @default.
- W1831570170 hasRelatedWork W2162014041 @default.
- W1831570170 hasRelatedWork W2488544061 @default.
- W1831570170 hasRelatedWork W2890743615 @default.
- W1831570170 hasRelatedWork W2904129309 @default.
- W1831570170 hasRelatedWork W1918362962 @default.
- W1831570170 hasRelatedWork W2186257715 @default.
- W1831570170 isParatext "false" @default.
- W1831570170 isRetracted "false" @default.
- W1831570170 magId "1831570170" @default.
- W1831570170 workType "article" @default.