Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122586059> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2122586059 endingPage "289" @default.
- W2122586059 startingPage "253" @default.
- W2122586059 abstract "A major event in automated reasoning was the introduction by Robinson of resolution as an inference principle that is complete for the first-order predicate calculus. Here the theory of binary resolution, based strictly on unification, is recast to incorporate the axioms of equality. Equality-based binary resolution is complete without making use of paramodulation and leads to refutations that are less than half as long as standard refutations with the equality axioms. A detailed discussion is given of the first major use of a theorem prover based on this new method." @default.
- W2122586059 created "2016-06-24" @default.
- W2122586059 creator A5072040862 @default.
- W2122586059 creator A5090729968 @default.
- W2122586059 date "1986-04-01" @default.
- W2122586059 modified "2023-10-16" @default.
- W2122586059 title "Equality-based binary resolution" @default.
- W2122586059 cites W1748872274 @default.
- W2122586059 cites W1998113645 @default.
- W2122586059 cites W2036915776 @default.
- W2122586059 cites W2049990485 @default.
- W2122586059 cites W2062897452 @default.
- W2122586059 cites W2088072422 @default.
- W2122586059 cites W2100738443 @default.
- W2122586059 doi "https://doi.org/10.1145/5383.5389" @default.
- W2122586059 hasPublicationYear "1986" @default.
- W2122586059 type Work @default.
- W2122586059 sameAs 2122586059 @default.
- W2122586059 citedByCount "40" @default.
- W2122586059 countsByYear W21225860592015 @default.
- W2122586059 countsByYear W21225860592018 @default.
- W2122586059 countsByYear W21225860592019 @default.
- W2122586059 countsByYear W21225860592021 @default.
- W2122586059 crossrefType "journal-article" @default.
- W2122586059 hasAuthorship W2122586059A5072040862 @default.
- W2122586059 hasAuthorship W2122586059A5090729968 @default.
- W2122586059 hasBestOaLocation W21225860591 @default.
- W2122586059 hasConcept C100481476 @default.
- W2122586059 hasConcept C108710211 @default.
- W2122586059 hasConcept C11413529 @default.
- W2122586059 hasConcept C118615104 @default.
- W2122586059 hasConcept C136119220 @default.
- W2122586059 hasConcept C138268822 @default.
- W2122586059 hasConcept C140146324 @default.
- W2122586059 hasConcept C154945302 @default.
- W2122586059 hasConcept C159718280 @default.
- W2122586059 hasConcept C167729594 @default.
- W2122586059 hasConcept C199343813 @default.
- W2122586059 hasConcept C199360897 @default.
- W2122586059 hasConcept C202444582 @default.
- W2122586059 hasConcept C206880738 @default.
- W2122586059 hasConcept C2524010 @default.
- W2122586059 hasConcept C2776214188 @default.
- W2122586059 hasConcept C2777686260 @default.
- W2122586059 hasConcept C33923547 @default.
- W2122586059 hasConcept C3746660 @default.
- W2122586059 hasConcept C41008148 @default.
- W2122586059 hasConcept C48372109 @default.
- W2122586059 hasConcept C71924100 @default.
- W2122586059 hasConcept C94375191 @default.
- W2122586059 hasConcept C96146094 @default.
- W2122586059 hasConceptScore W2122586059C100481476 @default.
- W2122586059 hasConceptScore W2122586059C108710211 @default.
- W2122586059 hasConceptScore W2122586059C11413529 @default.
- W2122586059 hasConceptScore W2122586059C118615104 @default.
- W2122586059 hasConceptScore W2122586059C136119220 @default.
- W2122586059 hasConceptScore W2122586059C138268822 @default.
- W2122586059 hasConceptScore W2122586059C140146324 @default.
- W2122586059 hasConceptScore W2122586059C154945302 @default.
- W2122586059 hasConceptScore W2122586059C159718280 @default.
- W2122586059 hasConceptScore W2122586059C167729594 @default.
- W2122586059 hasConceptScore W2122586059C199343813 @default.
- W2122586059 hasConceptScore W2122586059C199360897 @default.
- W2122586059 hasConceptScore W2122586059C202444582 @default.
- W2122586059 hasConceptScore W2122586059C206880738 @default.
- W2122586059 hasConceptScore W2122586059C2524010 @default.
- W2122586059 hasConceptScore W2122586059C2776214188 @default.
- W2122586059 hasConceptScore W2122586059C2777686260 @default.
- W2122586059 hasConceptScore W2122586059C33923547 @default.
- W2122586059 hasConceptScore W2122586059C3746660 @default.
- W2122586059 hasConceptScore W2122586059C41008148 @default.
- W2122586059 hasConceptScore W2122586059C48372109 @default.
- W2122586059 hasConceptScore W2122586059C71924100 @default.
- W2122586059 hasConceptScore W2122586059C94375191 @default.
- W2122586059 hasConceptScore W2122586059C96146094 @default.
- W2122586059 hasIssue "2" @default.
- W2122586059 hasLocation W21225860591 @default.
- W2122586059 hasOpenAccess W2122586059 @default.
- W2122586059 hasPrimaryLocation W21225860591 @default.
- W2122586059 hasRelatedWork W10462600 @default.
- W2122586059 hasRelatedWork W174732673 @default.
- W2122586059 hasRelatedWork W1946255743 @default.
- W2122586059 hasRelatedWork W2075469844 @default.
- W2122586059 hasRelatedWork W2122586059 @default.
- W2122586059 hasRelatedWork W2132082819 @default.
- W2122586059 hasRelatedWork W2152037678 @default.
- W2122586059 hasRelatedWork W2608781458 @default.
- W2122586059 hasRelatedWork W2911628438 @default.
- W2122586059 hasRelatedWork W1908485227 @default.
- W2122586059 hasVolume "33" @default.
- W2122586059 isParatext "false" @default.
- W2122586059 isRetracted "false" @default.
- W2122586059 magId "2122586059" @default.
- W2122586059 workType "article" @default.