Matches in SemOpenAlex for { <https://semopenalex.org/work/W1656258> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1656258 endingPage "180" @default.
- W1656258 startingPage "169" @default.
- W1656258 abstract "A straightforward formulation of a mathematical problem is mostly not ad-equate for resolution theorem proving. We present a method to optimize suchformulations by exploiting the variability of first-order logic. The optimizingtransformation is described as logic morphisms, whose operationalizations aretactics. The different behaviour of a resolution theorem prover for the sourceand target formulations is demonstrated by several examples. It is shown howtactical and resolution-style theorem proving can be combined." @default.
- W1656258 created "2016-06-24" @default.
- W1656258 creator A5024794217 @default.
- W1656258 creator A5070989325 @default.
- W1656258 date "1999-01-01" @default.
- W1656258 modified "2023-09-26" @default.
- W1656258 title "Reformulating Resolution Problems by Tactics" @default.
- W1656258 hasPublicationYear "1999" @default.
- W1656258 type Work @default.
- W1656258 sameAs 1656258 @default.
- W1656258 citedByCount "0" @default.
- W1656258 crossrefType "journal-article" @default.
- W1656258 hasAuthorship W1656258A5024794217 @default.
- W1656258 hasAuthorship W1656258A5070989325 @default.
- W1656258 hasConcept C100481476 @default.
- W1656258 hasConcept C11413529 @default.
- W1656258 hasConcept C118615104 @default.
- W1656258 hasConcept C136119220 @default.
- W1656258 hasConcept C137212723 @default.
- W1656258 hasConcept C138268822 @default.
- W1656258 hasConcept C154945302 @default.
- W1656258 hasConcept C195344581 @default.
- W1656258 hasConcept C199343813 @default.
- W1656258 hasConcept C202444582 @default.
- W1656258 hasConcept C206880738 @default.
- W1656258 hasConcept C2777686260 @default.
- W1656258 hasConcept C33923547 @default.
- W1656258 hasConcept C41008148 @default.
- W1656258 hasConcept C69562738 @default.
- W1656258 hasConcept C71924100 @default.
- W1656258 hasConcept C80444323 @default.
- W1656258 hasConceptScore W1656258C100481476 @default.
- W1656258 hasConceptScore W1656258C11413529 @default.
- W1656258 hasConceptScore W1656258C118615104 @default.
- W1656258 hasConceptScore W1656258C136119220 @default.
- W1656258 hasConceptScore W1656258C137212723 @default.
- W1656258 hasConceptScore W1656258C138268822 @default.
- W1656258 hasConceptScore W1656258C154945302 @default.
- W1656258 hasConceptScore W1656258C195344581 @default.
- W1656258 hasConceptScore W1656258C199343813 @default.
- W1656258 hasConceptScore W1656258C202444582 @default.
- W1656258 hasConceptScore W1656258C206880738 @default.
- W1656258 hasConceptScore W1656258C2777686260 @default.
- W1656258 hasConceptScore W1656258C33923547 @default.
- W1656258 hasConceptScore W1656258C41008148 @default.
- W1656258 hasConceptScore W1656258C69562738 @default.
- W1656258 hasConceptScore W1656258C71924100 @default.
- W1656258 hasConceptScore W1656258C80444323 @default.
- W1656258 hasLocation W16562581 @default.
- W1656258 hasOpenAccess W1656258 @default.
- W1656258 hasPrimaryLocation W16562581 @default.
- W1656258 hasRelatedWork W107135364 @default.
- W1656258 hasRelatedWork W127232014 @default.
- W1656258 hasRelatedWork W1498428138 @default.
- W1656258 hasRelatedWork W1530837725 @default.
- W1656258 hasRelatedWork W1549545260 @default.
- W1656258 hasRelatedWork W1577869834 @default.
- W1656258 hasRelatedWork W1966647497 @default.
- W1656258 hasRelatedWork W1967592514 @default.
- W1656258 hasRelatedWork W1996158986 @default.
- W1656258 hasRelatedWork W2014291738 @default.
- W1656258 hasRelatedWork W2037889370 @default.
- W1656258 hasRelatedWork W2040884237 @default.
- W1656258 hasRelatedWork W2048083479 @default.
- W1656258 hasRelatedWork W2059311907 @default.
- W1656258 hasRelatedWork W2073911647 @default.
- W1656258 hasRelatedWork W2393406546 @default.
- W1656258 hasRelatedWork W83406561 @default.
- W1656258 hasRelatedWork W94570535 @default.
- W1656258 hasRelatedWork W1971665981 @default.
- W1656258 hasRelatedWork W2666671889 @default.
- W1656258 isParatext "false" @default.
- W1656258 isRetracted "false" @default.
- W1656258 magId "1656258" @default.
- W1656258 workType "article" @default.