Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570663090> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1570663090 abstract "Recent years have seen a renewed interest in instantiation based theorem proving for first-order logic. The disconnection calculus is a successful approach of this kind, it integrates clause linking into a tableau guided proof procedure. In this paper we consider extensions of both the linking concept and the treatment of variables which are based on generalised notions of unifiability. These extensions result in significantly enhanced search space pruning and may permit the reduction of the length of refutations below Herbrand complexity which normally is a lower bound to the proof lengths of instantiation based methods. We present concise proofs of soundness and completeness of the new methods and show how these concepts relate to other instantiation based approaches." @default.
- W1570663090 created "2016-06-24" @default.
- W1570663090 creator A5025398192 @default.
- W1570663090 creator A5088965213 @default.
- W1570663090 date "2004-01-01" @default.
- W1570663090 modified "2023-09-27" @default.
- W1570663090 title "Generalised Handling of Variables in Disconnection Tableaux" @default.
- W1570663090 cites W1496272191 @default.
- W1570663090 cites W1506030860 @default.
- W1570663090 cites W1516218099 @default.
- W1570663090 cites W1554618854 @default.
- W1570663090 cites W1573446999 @default.
- W1570663090 cites W1601833083 @default.
- W1570663090 cites W2025252200 @default.
- W1570663090 cites W2067716734 @default.
- W1570663090 cites W2147593720 @default.
- W1570663090 cites W2151523288 @default.
- W1570663090 cites W2167964658 @default.
- W1570663090 cites W4233253115 @default.
- W1570663090 cites W960765268 @default.
- W1570663090 doi "https://doi.org/10.1007/978-3-540-25984-8_20" @default.
- W1570663090 hasPublicationYear "2004" @default.
- W1570663090 type Work @default.
- W1570663090 sameAs 1570663090 @default.
- W1570663090 citedByCount "5" @default.
- W1570663090 crossrefType "book-chapter" @default.
- W1570663090 hasAuthorship W1570663090A5025398192 @default.
- W1570663090 hasAuthorship W1570663090A5088965213 @default.
- W1570663090 hasConcept C105605280 @default.
- W1570663090 hasConcept C108010975 @default.
- W1570663090 hasConcept C108710211 @default.
- W1570663090 hasConcept C11413529 @default.
- W1570663090 hasConcept C118615104 @default.
- W1570663090 hasConcept C134306372 @default.
- W1570663090 hasConcept C136119220 @default.
- W1570663090 hasConcept C17231256 @default.
- W1570663090 hasConcept C199343813 @default.
- W1570663090 hasConcept C199360897 @default.
- W1570663090 hasConcept C202444582 @default.
- W1570663090 hasConcept C206880738 @default.
- W1570663090 hasConcept C2524010 @default.
- W1570663090 hasConcept C2777686260 @default.
- W1570663090 hasConcept C33923547 @default.
- W1570663090 hasConcept C39920170 @default.
- W1570663090 hasConcept C41008148 @default.
- W1570663090 hasConcept C6557445 @default.
- W1570663090 hasConcept C71924100 @default.
- W1570663090 hasConcept C80444323 @default.
- W1570663090 hasConcept C86803240 @default.
- W1570663090 hasConceptScore W1570663090C105605280 @default.
- W1570663090 hasConceptScore W1570663090C108010975 @default.
- W1570663090 hasConceptScore W1570663090C108710211 @default.
- W1570663090 hasConceptScore W1570663090C11413529 @default.
- W1570663090 hasConceptScore W1570663090C118615104 @default.
- W1570663090 hasConceptScore W1570663090C134306372 @default.
- W1570663090 hasConceptScore W1570663090C136119220 @default.
- W1570663090 hasConceptScore W1570663090C17231256 @default.
- W1570663090 hasConceptScore W1570663090C199343813 @default.
- W1570663090 hasConceptScore W1570663090C199360897 @default.
- W1570663090 hasConceptScore W1570663090C202444582 @default.
- W1570663090 hasConceptScore W1570663090C206880738 @default.
- W1570663090 hasConceptScore W1570663090C2524010 @default.
- W1570663090 hasConceptScore W1570663090C2777686260 @default.
- W1570663090 hasConceptScore W1570663090C33923547 @default.
- W1570663090 hasConceptScore W1570663090C39920170 @default.
- W1570663090 hasConceptScore W1570663090C41008148 @default.
- W1570663090 hasConceptScore W1570663090C6557445 @default.
- W1570663090 hasConceptScore W1570663090C71924100 @default.
- W1570663090 hasConceptScore W1570663090C80444323 @default.
- W1570663090 hasConceptScore W1570663090C86803240 @default.
- W1570663090 hasLocation W15706630901 @default.
- W1570663090 hasOpenAccess W1570663090 @default.
- W1570663090 hasPrimaryLocation W15706630901 @default.
- W1570663090 hasRelatedWork W1534957303 @default.
- W1570663090 hasRelatedWork W1541732450 @default.
- W1570663090 hasRelatedWork W1551326782 @default.
- W1570663090 hasRelatedWork W1581520202 @default.
- W1570663090 hasRelatedWork W1591830785 @default.
- W1570663090 hasRelatedWork W1621051805 @default.
- W1570663090 hasRelatedWork W1820801715 @default.
- W1570663090 hasRelatedWork W1975957807 @default.
- W1570663090 hasRelatedWork W1999732797 @default.
- W1570663090 hasRelatedWork W2046478788 @default.
- W1570663090 hasRelatedWork W2048015200 @default.
- W1570663090 hasRelatedWork W2057361103 @default.
- W1570663090 hasRelatedWork W2123740011 @default.
- W1570663090 hasRelatedWork W2128642478 @default.
- W1570663090 hasRelatedWork W2145044561 @default.
- W1570663090 hasRelatedWork W2151523288 @default.
- W1570663090 hasRelatedWork W2168177042 @default.
- W1570663090 hasRelatedWork W2189778928 @default.
- W1570663090 hasRelatedWork W55835010 @default.
- W1570663090 hasRelatedWork W960765268 @default.
- W1570663090 isParatext "false" @default.
- W1570663090 isRetracted "false" @default.
- W1570663090 magId "1570663090" @default.
- W1570663090 workType "book-chapter" @default.