Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000227239> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2000227239 endingPage "21" @default.
- W2000227239 startingPage "2" @default.
- W2000227239 abstract "The problem of automated theorem finding is one of the 33 basic research problems in automated reasoning which was originally proposed by Wos in 1988, and it is still an open problem. To solve the problem, an approach of forward deduction based on the strong relevant logics was proposed. Following the approach, this paper presents a systematic methodology for automated theorem finding. To show the effectiveness of our methodology, the paper presents two case studies, one is automated theorem finding in NBG set theory and the other is automated theorem finding in Peano's arithmetic. Some known theorems have been found in our case studies." @default.
- W2000227239 created "2016-06-24" @default.
- W2000227239 creator A5043041058 @default.
- W2000227239 creator A5051616105 @default.
- W2000227239 creator A5052921394 @default.
- W2000227239 date "2014-10-01" @default.
- W2000227239 modified "2023-10-12" @default.
- W2000227239 title "A systematic methodology for automated theorem finding" @default.
- W2000227239 cites W1978735259 @default.
- W2000227239 doi "https://doi.org/10.1016/j.tcs.2014.06.028" @default.
- W2000227239 hasPublicationYear "2014" @default.
- W2000227239 type Work @default.
- W2000227239 sameAs 2000227239 @default.
- W2000227239 citedByCount "18" @default.
- W2000227239 countsByYear W20002272392015 @default.
- W2000227239 countsByYear W20002272392016 @default.
- W2000227239 countsByYear W20002272392017 @default.
- W2000227239 countsByYear W20002272392018 @default.
- W2000227239 countsByYear W20002272392019 @default.
- W2000227239 countsByYear W20002272392020 @default.
- W2000227239 crossrefType "journal-article" @default.
- W2000227239 hasAuthorship W2000227239A5043041058 @default.
- W2000227239 hasAuthorship W2000227239A5051616105 @default.
- W2000227239 hasAuthorship W2000227239A5052921394 @default.
- W2000227239 hasBestOaLocation W20002272391 @default.
- W2000227239 hasConcept C11413529 @default.
- W2000227239 hasConcept C118615104 @default.
- W2000227239 hasConcept C136119220 @default.
- W2000227239 hasConcept C13766981 @default.
- W2000227239 hasConcept C171636804 @default.
- W2000227239 hasConcept C177264268 @default.
- W2000227239 hasConcept C194886279 @default.
- W2000227239 hasConcept C195344581 @default.
- W2000227239 hasConcept C199343813 @default.
- W2000227239 hasConcept C199360897 @default.
- W2000227239 hasConcept C202444582 @default.
- W2000227239 hasConcept C206880738 @default.
- W2000227239 hasConcept C2777686260 @default.
- W2000227239 hasConcept C33923547 @default.
- W2000227239 hasConcept C41008148 @default.
- W2000227239 hasConcept C45962547 @default.
- W2000227239 hasConcept C71924100 @default.
- W2000227239 hasConcept C80444323 @default.
- W2000227239 hasConcept C97489613 @default.
- W2000227239 hasConceptScore W2000227239C11413529 @default.
- W2000227239 hasConceptScore W2000227239C118615104 @default.
- W2000227239 hasConceptScore W2000227239C136119220 @default.
- W2000227239 hasConceptScore W2000227239C13766981 @default.
- W2000227239 hasConceptScore W2000227239C171636804 @default.
- W2000227239 hasConceptScore W2000227239C177264268 @default.
- W2000227239 hasConceptScore W2000227239C194886279 @default.
- W2000227239 hasConceptScore W2000227239C195344581 @default.
- W2000227239 hasConceptScore W2000227239C199343813 @default.
- W2000227239 hasConceptScore W2000227239C199360897 @default.
- W2000227239 hasConceptScore W2000227239C202444582 @default.
- W2000227239 hasConceptScore W2000227239C206880738 @default.
- W2000227239 hasConceptScore W2000227239C2777686260 @default.
- W2000227239 hasConceptScore W2000227239C33923547 @default.
- W2000227239 hasConceptScore W2000227239C41008148 @default.
- W2000227239 hasConceptScore W2000227239C45962547 @default.
- W2000227239 hasConceptScore W2000227239C71924100 @default.
- W2000227239 hasConceptScore W2000227239C80444323 @default.
- W2000227239 hasConceptScore W2000227239C97489613 @default.
- W2000227239 hasLocation W20002272391 @default.
- W2000227239 hasOpenAccess W2000227239 @default.
- W2000227239 hasPrimaryLocation W20002272391 @default.
- W2000227239 hasRelatedWork W110834650 @default.
- W2000227239 hasRelatedWork W1920869409 @default.
- W2000227239 hasRelatedWork W2089894907 @default.
- W2000227239 hasRelatedWork W2157638043 @default.
- W2000227239 hasRelatedWork W2185162921 @default.
- W2000227239 hasRelatedWork W2360668589 @default.
- W2000227239 hasRelatedWork W2744220352 @default.
- W2000227239 hasRelatedWork W3021074910 @default.
- W2000227239 hasRelatedWork W31538685 @default.
- W2000227239 hasRelatedWork W587228181 @default.
- W2000227239 hasVolume "554" @default.
- W2000227239 isParatext "false" @default.
- W2000227239 isRetracted "false" @default.
- W2000227239 magId "2000227239" @default.
- W2000227239 workType "article" @default.