Matches in SemOpenAlex for { <https://semopenalex.org/work/W2250419052> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2250419052 abstract "A semantic restriction is presented for use with paramodulation (an inference rule for generalized equality substitution) in automated theorem-proving programs. The method applies to first-order formulas with equality whose clause forms are Horn sets. With the method, an interpretation is given to the program along with the set of clauses to be refuted. The intention is that the interpretation will serve as an example to guide the search for a refutation. The proof of the completeness of the method rests on new techniques involving the rearrangement of ground deductions. The semantic restriction was incorporated into an existing automated theorem-proving program, and a number of experiments were conducted on theorems in abstract algebra. Semantic paramodulation is an extension of set-of-support paramodulation, so a comparison of the two strategies was used as the basis for experimentation. The semantic searches performed markedly better than the corresponding set-of-support searches in many of the comparisons. The semantic restriction also makes the program less sensitive to the choice of rewrite rules and supported clauses." @default.
- W2250419052 created "2016-06-24" @default.
- W2250419052 creator A5000560482 @default.
- W2250419052 date "1984-01-01" @default.
- W2250419052 modified "2023-09-27" @default.
- W2250419052 title "Semantic paramodulation for horn sets (logic, equality, theorem-proving)" @default.
- W2250419052 hasPublicationYear "1984" @default.
- W2250419052 type Work @default.
- W2250419052 sameAs 2250419052 @default.
- W2250419052 citedByCount "1" @default.
- W2250419052 crossrefType "journal-article" @default.
- W2250419052 hasAuthorship W2250419052A5000560482 @default.
- W2250419052 hasConcept C100481476 @default.
- W2250419052 hasConcept C11413529 @default.
- W2250419052 hasConcept C118615104 @default.
- W2250419052 hasConcept C128838566 @default.
- W2250419052 hasConcept C134306372 @default.
- W2250419052 hasConcept C136119220 @default.
- W2250419052 hasConcept C154945302 @default.
- W2250419052 hasConcept C17231256 @default.
- W2250419052 hasConcept C177264268 @default.
- W2250419052 hasConcept C189790780 @default.
- W2250419052 hasConcept C193125573 @default.
- W2250419052 hasConcept C199360897 @default.
- W2250419052 hasConcept C202444582 @default.
- W2250419052 hasConcept C204321447 @default.
- W2250419052 hasConcept C206880738 @default.
- W2250419052 hasConcept C2776214188 @default.
- W2250419052 hasConcept C33923547 @default.
- W2250419052 hasConcept C3746660 @default.
- W2250419052 hasConcept C41008148 @default.
- W2250419052 hasConcept C527412718 @default.
- W2250419052 hasConceptScore W2250419052C100481476 @default.
- W2250419052 hasConceptScore W2250419052C11413529 @default.
- W2250419052 hasConceptScore W2250419052C118615104 @default.
- W2250419052 hasConceptScore W2250419052C128838566 @default.
- W2250419052 hasConceptScore W2250419052C134306372 @default.
- W2250419052 hasConceptScore W2250419052C136119220 @default.
- W2250419052 hasConceptScore W2250419052C154945302 @default.
- W2250419052 hasConceptScore W2250419052C17231256 @default.
- W2250419052 hasConceptScore W2250419052C177264268 @default.
- W2250419052 hasConceptScore W2250419052C189790780 @default.
- W2250419052 hasConceptScore W2250419052C193125573 @default.
- W2250419052 hasConceptScore W2250419052C199360897 @default.
- W2250419052 hasConceptScore W2250419052C202444582 @default.
- W2250419052 hasConceptScore W2250419052C204321447 @default.
- W2250419052 hasConceptScore W2250419052C206880738 @default.
- W2250419052 hasConceptScore W2250419052C2776214188 @default.
- W2250419052 hasConceptScore W2250419052C33923547 @default.
- W2250419052 hasConceptScore W2250419052C3746660 @default.
- W2250419052 hasConceptScore W2250419052C41008148 @default.
- W2250419052 hasConceptScore W2250419052C527412718 @default.
- W2250419052 hasLocation W22504190521 @default.
- W2250419052 hasOpenAccess W2250419052 @default.
- W2250419052 hasPrimaryLocation W22504190521 @default.
- W2250419052 hasRelatedWork W1479669713 @default.
- W2250419052 hasRelatedWork W1480782930 @default.
- W2250419052 hasRelatedWork W1483990584 @default.
- W2250419052 hasRelatedWork W1539329516 @default.
- W2250419052 hasRelatedWork W1546624997 @default.
- W2250419052 hasRelatedWork W1575897594 @default.
- W2250419052 hasRelatedWork W1813202136 @default.
- W2250419052 hasRelatedWork W1924375494 @default.
- W2250419052 hasRelatedWork W1975054206 @default.
- W2250419052 hasRelatedWork W1985445827 @default.
- W2250419052 hasRelatedWork W199417883 @default.
- W2250419052 hasRelatedWork W1996842340 @default.
- W2250419052 hasRelatedWork W2002121916 @default.
- W2250419052 hasRelatedWork W2038232291 @default.
- W2250419052 hasRelatedWork W2076410236 @default.
- W2250419052 hasRelatedWork W2135088169 @default.
- W2250419052 hasRelatedWork W2136382758 @default.
- W2250419052 hasRelatedWork W2327708665 @default.
- W2250419052 hasRelatedWork W3179244314 @default.
- W2250419052 hasRelatedWork W2141711768 @default.
- W2250419052 isParatext "false" @default.
- W2250419052 isRetracted "false" @default.
- W2250419052 magId "2250419052" @default.
- W2250419052 workType "article" @default.