Matches in SemOpenAlex for { <https://semopenalex.org/work/W1578977584> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1578977584 abstract "In this paper a resolution calculus with logical equivalence is presented. It is based on the fact that equivalence of literals behaves very similar to equality of terms. We show that the well known methods of equality reasoning, like paramodulation and demodulation, apply equally well to logical equivalence. Using equivalence is one way to transform an equality free representation of problems, for which resolution often performs very poorly, into a more suited equality-like notation that allows the use of the appropriate inference rules." @default.
- W1578977584 created "2016-06-24" @default.
- W1578977584 creator A5011157155 @default.
- W1578977584 creator A5046711693 @default.
- W1578977584 date "1989-01-01" @default.
- W1578977584 modified "2023-09-27" @default.
- W1578977584 title "A Resolution Calculus Extended by Equivalence" @default.
- W1578977584 cites W2019751493 @default.
- W1578977584 cites W2058514808 @default.
- W1578977584 cites W2126583599 @default.
- W1578977584 doi "https://doi.org/10.1007/978-3-642-75100-4_12" @default.
- W1578977584 hasPublicationYear "1989" @default.
- W1578977584 type Work @default.
- W1578977584 sameAs 1578977584 @default.
- W1578977584 citedByCount "1" @default.
- W1578977584 crossrefType "book-chapter" @default.
- W1578977584 hasAuthorship W1578977584A5011157155 @default.
- W1578977584 hasAuthorship W1578977584A5046711693 @default.
- W1578977584 hasConcept C11413529 @default.
- W1578977584 hasConcept C118615104 @default.
- W1578977584 hasConcept C136119220 @default.
- W1578977584 hasConcept C138268822 @default.
- W1578977584 hasConcept C154945302 @default.
- W1578977584 hasConcept C17744445 @default.
- W1578977584 hasConcept C199343813 @default.
- W1578977584 hasConcept C199360897 @default.
- W1578977584 hasConcept C199539241 @default.
- W1578977584 hasConcept C202444582 @default.
- W1578977584 hasConcept C2776214188 @default.
- W1578977584 hasConcept C2776359362 @default.
- W1578977584 hasConcept C2777686260 @default.
- W1578977584 hasConcept C2780069185 @default.
- W1578977584 hasConcept C33923547 @default.
- W1578977584 hasConcept C3746660 @default.
- W1578977584 hasConcept C41008148 @default.
- W1578977584 hasConcept C45357846 @default.
- W1578977584 hasConcept C70846408 @default.
- W1578977584 hasConcept C71924100 @default.
- W1578977584 hasConcept C94375191 @default.
- W1578977584 hasConcept C94625758 @default.
- W1578977584 hasConceptScore W1578977584C11413529 @default.
- W1578977584 hasConceptScore W1578977584C118615104 @default.
- W1578977584 hasConceptScore W1578977584C136119220 @default.
- W1578977584 hasConceptScore W1578977584C138268822 @default.
- W1578977584 hasConceptScore W1578977584C154945302 @default.
- W1578977584 hasConceptScore W1578977584C17744445 @default.
- W1578977584 hasConceptScore W1578977584C199343813 @default.
- W1578977584 hasConceptScore W1578977584C199360897 @default.
- W1578977584 hasConceptScore W1578977584C199539241 @default.
- W1578977584 hasConceptScore W1578977584C202444582 @default.
- W1578977584 hasConceptScore W1578977584C2776214188 @default.
- W1578977584 hasConceptScore W1578977584C2776359362 @default.
- W1578977584 hasConceptScore W1578977584C2777686260 @default.
- W1578977584 hasConceptScore W1578977584C2780069185 @default.
- W1578977584 hasConceptScore W1578977584C33923547 @default.
- W1578977584 hasConceptScore W1578977584C3746660 @default.
- W1578977584 hasConceptScore W1578977584C41008148 @default.
- W1578977584 hasConceptScore W1578977584C45357846 @default.
- W1578977584 hasConceptScore W1578977584C70846408 @default.
- W1578977584 hasConceptScore W1578977584C71924100 @default.
- W1578977584 hasConceptScore W1578977584C94375191 @default.
- W1578977584 hasConceptScore W1578977584C94625758 @default.
- W1578977584 hasLocation W15789775841 @default.
- W1578977584 hasOpenAccess W1578977584 @default.
- W1578977584 hasPrimaryLocation W15789775841 @default.
- W1578977584 hasRelatedWork W1483694094 @default.
- W1578977584 hasRelatedWork W1486432780 @default.
- W1578977584 hasRelatedWork W1504966796 @default.
- W1578977584 hasRelatedWork W1517927305 @default.
- W1578977584 hasRelatedWork W1539274708 @default.
- W1578977584 hasRelatedWork W1587437946 @default.
- W1578977584 hasRelatedWork W1589666554 @default.
- W1578977584 hasRelatedWork W1605543663 @default.
- W1578977584 hasRelatedWork W1608806131 @default.
- W1578977584 hasRelatedWork W2112856683 @default.
- W1578977584 hasRelatedWork W2269403119 @default.
- W1578977584 hasRelatedWork W2523733007 @default.
- W1578977584 hasRelatedWork W2726449882 @default.
- W1578977584 hasRelatedWork W2736548026 @default.
- W1578977584 hasRelatedWork W2749479972 @default.
- W1578977584 hasRelatedWork W2952243882 @default.
- W1578977584 hasRelatedWork W2976268830 @default.
- W1578977584 hasRelatedWork W3006785914 @default.
- W1578977584 hasRelatedWork W3099526688 @default.
- W1578977584 hasRelatedWork W3137291598 @default.
- W1578977584 isParatext "false" @default.
- W1578977584 isRetracted "false" @default.
- W1578977584 magId "1578977584" @default.
- W1578977584 workType "book-chapter" @default.