Matches in SemOpenAlex for { <https://semopenalex.org/work/W205584733> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W205584733 endingPage "131" @default.
- W205584733 startingPage "103" @default.
- W205584733 abstract "In Chapter 4 we discussed ways of improving the efficiency of resolution based deductive process by minimizing the length of resolvents and by simplifying the termination test. In this chapter we focus on theorem proving strategies — the speed-up techniques for controlling and directing the deductive process of an automated reasoning system.KeywordsTransformation RuleOperator PolarityInitial ApplicationPolarity RelationClassical Propositional LogicThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W205584733 created "2016-06-24" @default.
- W205584733 creator A5074550143 @default.
- W205584733 date "1996-01-01" @default.
- W205584733 modified "2023-09-27" @default.
- W205584733 title "Theorem Proving Strategies" @default.
- W205584733 doi "https://doi.org/10.1007/978-94-009-1677-7_5" @default.
- W205584733 hasPublicationYear "1996" @default.
- W205584733 type Work @default.
- W205584733 sameAs 205584733 @default.
- W205584733 citedByCount "0" @default.
- W205584733 crossrefType "book-chapter" @default.
- W205584733 hasAuthorship W205584733A5074550143 @default.
- W205584733 hasConcept C11413529 @default.
- W205584733 hasConcept C120665830 @default.
- W205584733 hasConcept C121332964 @default.
- W205584733 hasConcept C138268822 @default.
- W205584733 hasConcept C144024400 @default.
- W205584733 hasConcept C154945302 @default.
- W205584733 hasConcept C190248442 @default.
- W205584733 hasConcept C192209626 @default.
- W205584733 hasConcept C199343813 @default.
- W205584733 hasConcept C199360897 @default.
- W205584733 hasConcept C206880738 @default.
- W205584733 hasConcept C2777686260 @default.
- W205584733 hasConcept C2992238565 @default.
- W205584733 hasConcept C33923547 @default.
- W205584733 hasConcept C36289849 @default.
- W205584733 hasConcept C41008148 @default.
- W205584733 hasConcept C71924100 @default.
- W205584733 hasConcept C97364631 @default.
- W205584733 hasConcept C98045186 @default.
- W205584733 hasConceptScore W205584733C11413529 @default.
- W205584733 hasConceptScore W205584733C120665830 @default.
- W205584733 hasConceptScore W205584733C121332964 @default.
- W205584733 hasConceptScore W205584733C138268822 @default.
- W205584733 hasConceptScore W205584733C144024400 @default.
- W205584733 hasConceptScore W205584733C154945302 @default.
- W205584733 hasConceptScore W205584733C190248442 @default.
- W205584733 hasConceptScore W205584733C192209626 @default.
- W205584733 hasConceptScore W205584733C199343813 @default.
- W205584733 hasConceptScore W205584733C199360897 @default.
- W205584733 hasConceptScore W205584733C206880738 @default.
- W205584733 hasConceptScore W205584733C2777686260 @default.
- W205584733 hasConceptScore W205584733C2992238565 @default.
- W205584733 hasConceptScore W205584733C33923547 @default.
- W205584733 hasConceptScore W205584733C36289849 @default.
- W205584733 hasConceptScore W205584733C41008148 @default.
- W205584733 hasConceptScore W205584733C71924100 @default.
- W205584733 hasConceptScore W205584733C97364631 @default.
- W205584733 hasConceptScore W205584733C98045186 @default.
- W205584733 hasLocation W2055847331 @default.
- W205584733 hasOpenAccess W205584733 @default.
- W205584733 hasPrimaryLocation W2055847331 @default.
- W205584733 hasRelatedWork W1483284084 @default.
- W205584733 hasRelatedWork W1505806930 @default.
- W205584733 hasRelatedWork W1510003740 @default.
- W205584733 hasRelatedWork W1543931510 @default.
- W205584733 hasRelatedWork W1554618854 @default.
- W205584733 hasRelatedWork W1576127349 @default.
- W205584733 hasRelatedWork W1597173728 @default.
- W205584733 hasRelatedWork W1598572838 @default.
- W205584733 hasRelatedWork W1619830180 @default.
- W205584733 hasRelatedWork W2010917637 @default.
- W205584733 hasRelatedWork W2082559330 @default.
- W205584733 hasRelatedWork W2116359956 @default.
- W205584733 hasRelatedWork W2119636934 @default.
- W205584733 hasRelatedWork W2592839518 @default.
- W205584733 hasRelatedWork W2895148576 @default.
- W205584733 hasRelatedWork W29316377 @default.
- W205584733 hasRelatedWork W2963437651 @default.
- W205584733 hasRelatedWork W3184275293 @default.
- W205584733 hasRelatedWork W71891286 @default.
- W205584733 hasRelatedWork W1574793289 @default.
- W205584733 isParatext "false" @default.
- W205584733 isRetracted "false" @default.
- W205584733 magId "205584733" @default.
- W205584733 workType "book-chapter" @default.