Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099761695> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2099761695 endingPage "76" @default.
- W2099761695 startingPage "60" @default.
- W2099761695 abstract "“Hyper tableau” is a sound and complete calculus for first-order clausal logic. The present paper introduces an improvement which removes the major weakness of the calculus, which is the need to (at least partially) blindly guess ground-instantiations for certain clauses. This guessing is now replaced by a unification-driven technique. The calculus is presented in detail, which includes a completeness proof. Completeness is proven by using a novel approach to extract a model from an open branch. This enables semantical redundancy criteria which are not present in related approaches." @default.
- W2099761695 created "2016-06-24" @default.
- W2099761695 creator A5025228331 @default.
- W2099761695 date "1998-01-01" @default.
- W2099761695 modified "2023-09-27" @default.
- W2099761695 title "Hyper Tableau — The Next Generation" @default.
- W2099761695 cites W1552843312 @default.
- W2099761695 cites W1605411505 @default.
- W2099761695 cites W1720975781 @default.
- W2099761695 cites W1924552249 @default.
- W2099761695 cites W1984720830 @default.
- W2099761695 cites W2025130747 @default.
- W2099761695 cites W2025252200 @default.
- W2099761695 cites W2037085273 @default.
- W2099761695 cites W2040816116 @default.
- W2099761695 cites W2051382791 @default.
- W2099761695 cites W2067716734 @default.
- W2099761695 cites W2123319860 @default.
- W2099761695 cites W2167440926 @default.
- W2099761695 cites W2505983251 @default.
- W2099761695 cites W2912282119 @default.
- W2099761695 cites W4205390657 @default.
- W2099761695 cites W4301968143 @default.
- W2099761695 doi "https://doi.org/10.1007/3-540-69778-0_14" @default.
- W2099761695 hasPublicationYear "1998" @default.
- W2099761695 type Work @default.
- W2099761695 sameAs 2099761695 @default.
- W2099761695 citedByCount "38" @default.
- W2099761695 countsByYear W20997616952014 @default.
- W2099761695 countsByYear W20997616952015 @default.
- W2099761695 countsByYear W20997616952016 @default.
- W2099761695 countsByYear W20997616952017 @default.
- W2099761695 countsByYear W20997616952018 @default.
- W2099761695 countsByYear W20997616952019 @default.
- W2099761695 countsByYear W20997616952022 @default.
- W2099761695 countsByYear W20997616952023 @default.
- W2099761695 crossrefType "book-chapter" @default.
- W2099761695 hasAuthorship W2099761695A5025228331 @default.
- W2099761695 hasConcept C100481476 @default.
- W2099761695 hasConcept C111919701 @default.
- W2099761695 hasConcept C11413529 @default.
- W2099761695 hasConcept C134306372 @default.
- W2099761695 hasConcept C152124472 @default.
- W2099761695 hasConcept C17231256 @default.
- W2099761695 hasConcept C199343813 @default.
- W2099761695 hasConcept C199360897 @default.
- W2099761695 hasConcept C206880738 @default.
- W2099761695 hasConcept C2777686260 @default.
- W2099761695 hasConcept C33923547 @default.
- W2099761695 hasConcept C41008148 @default.
- W2099761695 hasConcept C71924100 @default.
- W2099761695 hasConcept C80444323 @default.
- W2099761695 hasConcept C96146094 @default.
- W2099761695 hasConceptScore W2099761695C100481476 @default.
- W2099761695 hasConceptScore W2099761695C111919701 @default.
- W2099761695 hasConceptScore W2099761695C11413529 @default.
- W2099761695 hasConceptScore W2099761695C134306372 @default.
- W2099761695 hasConceptScore W2099761695C152124472 @default.
- W2099761695 hasConceptScore W2099761695C17231256 @default.
- W2099761695 hasConceptScore W2099761695C199343813 @default.
- W2099761695 hasConceptScore W2099761695C199360897 @default.
- W2099761695 hasConceptScore W2099761695C206880738 @default.
- W2099761695 hasConceptScore W2099761695C2777686260 @default.
- W2099761695 hasConceptScore W2099761695C33923547 @default.
- W2099761695 hasConceptScore W2099761695C41008148 @default.
- W2099761695 hasConceptScore W2099761695C71924100 @default.
- W2099761695 hasConceptScore W2099761695C80444323 @default.
- W2099761695 hasConceptScore W2099761695C96146094 @default.
- W2099761695 hasLocation W20997616951 @default.
- W2099761695 hasOpenAccess W2099761695 @default.
- W2099761695 hasPrimaryLocation W20997616951 @default.
- W2099761695 hasRelatedWork W1491324663 @default.
- W2099761695 hasRelatedWork W1521348091 @default.
- W2099761695 hasRelatedWork W1528842637 @default.
- W2099761695 hasRelatedWork W1538156632 @default.
- W2099761695 hasRelatedWork W1544821125 @default.
- W2099761695 hasRelatedWork W1555959943 @default.
- W2099761695 hasRelatedWork W1585276220 @default.
- W2099761695 hasRelatedWork W2075469844 @default.
- W2099761695 hasRelatedWork W3128976224 @default.
- W2099761695 hasRelatedWork W3083102184 @default.
- W2099761695 isParatext "false" @default.
- W2099761695 isRetracted "false" @default.
- W2099761695 magId "2099761695" @default.
- W2099761695 workType "book-chapter" @default.