Matches in SemOpenAlex for { <https://semopenalex.org/work/W2223503359> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2223503359 abstract "Clause-K-transformations are faithful transformations between clause sets. When inferences are drawn on a clause set using resolution as inference rule, some clauses may be involved in particularly many resolution steps. Typically such a clause would express a very general property like the symmetry or transitivity of a relation. Most of these resolution steps do not contribute to inferring the empty clause. Clause-K-transformations can be used to eliminate unnecessary resolution steps. A clause set is transformed by replacing a clause that is involved in particularly many resolution steps by em instances of this clause. The more specific these instances are, the more this transformation will reduce the number of possible resolution steps. The criteria for the faithfulness of such a transformation can be tested automatically. For clauses not containing function symbols, I have described a way to enumerate candidates for clause-K-transformations. With this I have found transformations for many clauses automatically. I have also investigated eliminations for clauses containing function symbols (e.g.~condensed detachment) and eliminations of several clauses at the same time." @default.
- W2223503359 created "2016-06-24" @default.
- W2223503359 creator A5078443723 @default.
- W2223503359 date "1996-02-01" @default.
- W2223503359 modified "2023-09-27" @default.
- W2223503359 title "Resolution K-Transformations" @default.
- W2223503359 hasPublicationYear "1996" @default.
- W2223503359 type Work @default.
- W2223503359 sameAs 2223503359 @default.
- W2223503359 citedByCount "0" @default.
- W2223503359 crossrefType "dissertation" @default.
- W2223503359 hasAuthorship W2223503359A5078443723 @default.
- W2223503359 hasConcept C104317684 @default.
- W2223503359 hasConcept C111472728 @default.
- W2223503359 hasConcept C114614502 @default.
- W2223503359 hasConcept C134510687 @default.
- W2223503359 hasConcept C138268822 @default.
- W2223503359 hasConcept C138885662 @default.
- W2223503359 hasConcept C14036430 @default.
- W2223503359 hasConcept C154945302 @default.
- W2223503359 hasConcept C177264268 @default.
- W2223503359 hasConcept C185592680 @default.
- W2223503359 hasConcept C189950617 @default.
- W2223503359 hasConcept C191399111 @default.
- W2223503359 hasConcept C199360897 @default.
- W2223503359 hasConcept C204241405 @default.
- W2223503359 hasConcept C204321447 @default.
- W2223503359 hasConcept C2777530160 @default.
- W2223503359 hasConcept C33923547 @default.
- W2223503359 hasConcept C41008148 @default.
- W2223503359 hasConcept C55493867 @default.
- W2223503359 hasConcept C78458016 @default.
- W2223503359 hasConcept C86803240 @default.
- W2223503359 hasConceptScore W2223503359C104317684 @default.
- W2223503359 hasConceptScore W2223503359C111472728 @default.
- W2223503359 hasConceptScore W2223503359C114614502 @default.
- W2223503359 hasConceptScore W2223503359C134510687 @default.
- W2223503359 hasConceptScore W2223503359C138268822 @default.
- W2223503359 hasConceptScore W2223503359C138885662 @default.
- W2223503359 hasConceptScore W2223503359C14036430 @default.
- W2223503359 hasConceptScore W2223503359C154945302 @default.
- W2223503359 hasConceptScore W2223503359C177264268 @default.
- W2223503359 hasConceptScore W2223503359C185592680 @default.
- W2223503359 hasConceptScore W2223503359C189950617 @default.
- W2223503359 hasConceptScore W2223503359C191399111 @default.
- W2223503359 hasConceptScore W2223503359C199360897 @default.
- W2223503359 hasConceptScore W2223503359C204241405 @default.
- W2223503359 hasConceptScore W2223503359C204321447 @default.
- W2223503359 hasConceptScore W2223503359C2777530160 @default.
- W2223503359 hasConceptScore W2223503359C33923547 @default.
- W2223503359 hasConceptScore W2223503359C41008148 @default.
- W2223503359 hasConceptScore W2223503359C55493867 @default.
- W2223503359 hasConceptScore W2223503359C78458016 @default.
- W2223503359 hasConceptScore W2223503359C86803240 @default.
- W2223503359 hasLocation W22235033591 @default.
- W2223503359 hasOpenAccess W2223503359 @default.
- W2223503359 hasPrimaryLocation W22235033591 @default.
- W2223503359 hasRelatedWork W126197933 @default.
- W2223503359 hasRelatedWork W1480466499 @default.
- W2223503359 hasRelatedWork W1496036770 @default.
- W2223503359 hasRelatedWork W1515516220 @default.
- W2223503359 hasRelatedWork W1521702938 @default.
- W2223503359 hasRelatedWork W1591091340 @default.
- W2223503359 hasRelatedWork W1608406202 @default.
- W2223503359 hasRelatedWork W1986619800 @default.
- W2223503359 hasRelatedWork W2012870319 @default.
- W2223503359 hasRelatedWork W2116886348 @default.
- W2223503359 hasRelatedWork W2154991830 @default.
- W2223503359 hasRelatedWork W2254298090 @default.
- W2223503359 hasRelatedWork W2440359226 @default.
- W2223503359 hasRelatedWork W2534686519 @default.
- W2223503359 hasRelatedWork W2557116501 @default.
- W2223503359 hasRelatedWork W2911364342 @default.
- W2223503359 hasRelatedWork W2962679295 @default.
- W2223503359 hasRelatedWork W844177551 @default.
- W2223503359 hasRelatedWork W2184395973 @default.
- W2223503359 hasRelatedWork W3099710176 @default.
- W2223503359 isParatext "false" @default.
- W2223503359 isRetracted "false" @default.
- W2223503359 magId "2223503359" @default.
- W2223503359 workType "dissertation" @default.