Matches in SemOpenAlex for { <https://semopenalex.org/work/W1561395268> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1561395268 abstract "When using resolution for showing the unsatisfiability of logic formulas one often encounters infinite sequences of structurally similar clauses. We suggest to use deductive generalization to derive a small number of meta-clauses subsuming these infinite sequences. Resolution is extended by meta-unification in order to resolve meta-clauses instead of ordinary ones." @default.
- W1561395268 created "2016-06-24" @default.
- W1561395268 creator A5004258961 @default.
- W1561395268 date "1991-01-01" @default.
- W1561395268 modified "2023-09-27" @default.
- W1561395268 title "Deductive Generalization and Meta-Reasoning or How to Formalize Genesis" @default.
- W1561395268 cites W1514213879 @default.
- W1561395268 cites W1977818404 @default.
- W1561395268 cites W1993370765 @default.
- W1561395268 cites W1998131498 @default.
- W1561395268 cites W2016416448 @default.
- W1561395268 cites W2048748607 @default.
- W1561395268 cites W2057089816 @default.
- W1561395268 cites W2058514808 @default.
- W1561395268 cites W2100738443 @default.
- W1561395268 doi "https://doi.org/10.1007/978-3-642-46752-3_12" @default.
- W1561395268 hasPublicationYear "1991" @default.
- W1561395268 type Work @default.
- W1561395268 sameAs 1561395268 @default.
- W1561395268 citedByCount "3" @default.
- W1561395268 crossrefType "book-chapter" @default.
- W1561395268 hasAuthorship W1561395268A5004258961 @default.
- W1561395268 hasConcept C134306372 @default.
- W1561395268 hasConcept C138268822 @default.
- W1561395268 hasConcept C154945302 @default.
- W1561395268 hasConcept C177148314 @default.
- W1561395268 hasConcept C199343813 @default.
- W1561395268 hasConcept C199360897 @default.
- W1561395268 hasConcept C204321447 @default.
- W1561395268 hasConcept C21563000 @default.
- W1561395268 hasConcept C2777686260 @default.
- W1561395268 hasConcept C33923547 @default.
- W1561395268 hasConcept C41008148 @default.
- W1561395268 hasConcept C71924100 @default.
- W1561395268 hasConcept C96146094 @default.
- W1561395268 hasConcept C97364631 @default.
- W1561395268 hasConceptScore W1561395268C134306372 @default.
- W1561395268 hasConceptScore W1561395268C138268822 @default.
- W1561395268 hasConceptScore W1561395268C154945302 @default.
- W1561395268 hasConceptScore W1561395268C177148314 @default.
- W1561395268 hasConceptScore W1561395268C199343813 @default.
- W1561395268 hasConceptScore W1561395268C199360897 @default.
- W1561395268 hasConceptScore W1561395268C204321447 @default.
- W1561395268 hasConceptScore W1561395268C21563000 @default.
- W1561395268 hasConceptScore W1561395268C2777686260 @default.
- W1561395268 hasConceptScore W1561395268C33923547 @default.
- W1561395268 hasConceptScore W1561395268C41008148 @default.
- W1561395268 hasConceptScore W1561395268C71924100 @default.
- W1561395268 hasConceptScore W1561395268C96146094 @default.
- W1561395268 hasConceptScore W1561395268C97364631 @default.
- W1561395268 hasLocation W15613952681 @default.
- W1561395268 hasOpenAccess W1561395268 @default.
- W1561395268 hasPrimaryLocation W15613952681 @default.
- W1561395268 hasRelatedWork W1494145374 @default.
- W1561395268 hasRelatedWork W1514021483 @default.
- W1561395268 hasRelatedWork W1540667977 @default.
- W1561395268 hasRelatedWork W1548625203 @default.
- W1561395268 hasRelatedWork W1569543037 @default.
- W1561395268 hasRelatedWork W163800598 @default.
- W1561395268 hasRelatedWork W1750646609 @default.
- W1561395268 hasRelatedWork W1897081024 @default.
- W1561395268 hasRelatedWork W1971215190 @default.
- W1561395268 hasRelatedWork W2046048646 @default.
- W1561395268 hasRelatedWork W2542505095 @default.
- W1561395268 hasRelatedWork W2611436690 @default.
- W1561395268 hasRelatedWork W2951476724 @default.
- W1561395268 hasRelatedWork W2952468129 @default.
- W1561395268 hasRelatedWork W2963849301 @default.
- W1561395268 hasRelatedWork W2964117002 @default.
- W1561395268 hasRelatedWork W3011063628 @default.
- W1561395268 hasRelatedWork W3082208784 @default.
- W1561395268 hasRelatedWork W3087920050 @default.
- W1561395268 hasRelatedWork W3191057262 @default.
- W1561395268 isParatext "false" @default.
- W1561395268 isRetracted "false" @default.
- W1561395268 magId "1561395268" @default.
- W1561395268 workType "book-chapter" @default.