Matches in SemOpenAlex for { <https://semopenalex.org/work/W208157960> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W208157960 abstract "The refutational completeness property (rl) guarantees that the consistency status of every finite and clean set of formulas can be determined after finitely many applications of the inference rules. This property, however, does not provide us with any information as to how the resolution and the transformation rules should be utilized efficiently during the deductive process." @default.
- W208157960 created "2016-06-24" @default.
- W208157960 creator A5074550143 @default.
- W208157960 date "1996-01-01" @default.
- W208157960 modified "2023-09-23" @default.
- W208157960 title "Efficiency of the Deductive Process" @default.
- W208157960 doi "https://doi.org/10.1007/978-94-009-1677-7_4" @default.
- W208157960 hasPublicationYear "1996" @default.
- W208157960 type Work @default.
- W208157960 sameAs 208157960 @default.
- W208157960 citedByCount "0" @default.
- W208157960 crossrefType "book-chapter" @default.
- W208157960 hasAuthorship W208157960A5074550143 @default.
- W208157960 hasConcept C104317684 @default.
- W208157960 hasConcept C111472728 @default.
- W208157960 hasConcept C11413529 @default.
- W208157960 hasConcept C134306372 @default.
- W208157960 hasConcept C138268822 @default.
- W208157960 hasConcept C138885662 @default.
- W208157960 hasConcept C154945302 @default.
- W208157960 hasConcept C17231256 @default.
- W208157960 hasConcept C177264268 @default.
- W208157960 hasConcept C185592680 @default.
- W208157960 hasConcept C189950617 @default.
- W208157960 hasConcept C199360897 @default.
- W208157960 hasConcept C204241405 @default.
- W208157960 hasConcept C2776214188 @default.
- W208157960 hasConcept C2776436953 @default.
- W208157960 hasConcept C33923547 @default.
- W208157960 hasConcept C3746660 @default.
- W208157960 hasConcept C41008148 @default.
- W208157960 hasConcept C55493867 @default.
- W208157960 hasConcept C80444323 @default.
- W208157960 hasConcept C97364631 @default.
- W208157960 hasConcept C98045186 @default.
- W208157960 hasConceptScore W208157960C104317684 @default.
- W208157960 hasConceptScore W208157960C111472728 @default.
- W208157960 hasConceptScore W208157960C11413529 @default.
- W208157960 hasConceptScore W208157960C134306372 @default.
- W208157960 hasConceptScore W208157960C138268822 @default.
- W208157960 hasConceptScore W208157960C138885662 @default.
- W208157960 hasConceptScore W208157960C154945302 @default.
- W208157960 hasConceptScore W208157960C17231256 @default.
- W208157960 hasConceptScore W208157960C177264268 @default.
- W208157960 hasConceptScore W208157960C185592680 @default.
- W208157960 hasConceptScore W208157960C189950617 @default.
- W208157960 hasConceptScore W208157960C199360897 @default.
- W208157960 hasConceptScore W208157960C204241405 @default.
- W208157960 hasConceptScore W208157960C2776214188 @default.
- W208157960 hasConceptScore W208157960C2776436953 @default.
- W208157960 hasConceptScore W208157960C33923547 @default.
- W208157960 hasConceptScore W208157960C3746660 @default.
- W208157960 hasConceptScore W208157960C41008148 @default.
- W208157960 hasConceptScore W208157960C55493867 @default.
- W208157960 hasConceptScore W208157960C80444323 @default.
- W208157960 hasConceptScore W208157960C97364631 @default.
- W208157960 hasConceptScore W208157960C98045186 @default.
- W208157960 hasLocation W2081579601 @default.
- W208157960 hasOpenAccess W208157960 @default.
- W208157960 hasPrimaryLocation W2081579601 @default.
- W208157960 hasRelatedWork W1486432780 @default.
- W208157960 hasRelatedWork W1570994654 @default.
- W208157960 hasRelatedWork W1594385377 @default.
- W208157960 hasRelatedWork W1598987050 @default.
- W208157960 hasRelatedWork W1750380915 @default.
- W208157960 hasRelatedWork W2000399063 @default.
- W208157960 hasRelatedWork W2004721399 @default.
- W208157960 hasRelatedWork W2052377886 @default.
- W208157960 hasRelatedWork W2053323297 @default.
- W208157960 hasRelatedWork W2189157743 @default.
- W208157960 hasRelatedWork W2246647445 @default.
- W208157960 hasRelatedWork W2313909837 @default.
- W208157960 hasRelatedWork W2415873105 @default.
- W208157960 hasRelatedWork W2534990914 @default.
- W208157960 hasRelatedWork W2726449882 @default.
- W208157960 hasRelatedWork W2950340092 @default.
- W208157960 hasRelatedWork W3099227408 @default.
- W208157960 hasRelatedWork W46391580 @default.
- W208157960 hasRelatedWork W65085004 @default.
- W208157960 hasRelatedWork W2110488689 @default.
- W208157960 isParatext "false" @default.
- W208157960 isRetracted "false" @default.
- W208157960 magId "208157960" @default.
- W208157960 workType "book-chapter" @default.