Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490291451> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1490291451 abstract "The invention of suitable concepts to characterise mathematical structures is one of the most challenging tasks for both human mathematicians and automated theorem provers alike. We present an approach where automatic concept formation is used to guide nonisomorphism proofs in the residue class domain. The main idea behind the proof is to automatically identify discriminants for two given structures to show that they are not isomorphic. Suitable discriminants are generated by a theory formation system; the overall proof is constructed by a proof planner with the additional support of traditional automated theorem provers and a computer algebra system." @default.
- W1490291451 created "2016-06-24" @default.
- W1490291451 creator A5024969724 @default.
- W1490291451 creator A5040830236 @default.
- W1490291451 creator A5043436240 @default.
- W1490291451 date "2002-01-01" @default.
- W1490291451 modified "2023-09-25" @default.
- W1490291451 title "Employing Theory Formation to Guide Proof Planning" @default.
- W1490291451 cites W1491353074 @default.
- W1490291451 cites W1537031268 @default.
- W1490291451 cites W1581769579 @default.
- W1490291451 cites W179453746 @default.
- W1490291451 cites W2032943731 @default.
- W1490291451 cites W2042236049 @default.
- W1490291451 cites W2119831128 @default.
- W1490291451 cites W2127571754 @default.
- W1490291451 doi "https://doi.org/10.1007/3-540-45470-5_25" @default.
- W1490291451 hasPublicationYear "2002" @default.
- W1490291451 type Work @default.
- W1490291451 sameAs 1490291451 @default.
- W1490291451 citedByCount "13" @default.
- W1490291451 countsByYear W14902914512013 @default.
- W1490291451 countsByYear W14902914512014 @default.
- W1490291451 crossrefType "book-chapter" @default.
- W1490291451 hasAuthorship W1490291451A5024969724 @default.
- W1490291451 hasAuthorship W1490291451A5040830236 @default.
- W1490291451 hasAuthorship W1490291451A5043436240 @default.
- W1490291451 hasConcept C105605280 @default.
- W1490291451 hasConcept C108710211 @default.
- W1490291451 hasConcept C111919701 @default.
- W1490291451 hasConcept C11413529 @default.
- W1490291451 hasConcept C124978682 @default.
- W1490291451 hasConcept C134306372 @default.
- W1490291451 hasConcept C136119220 @default.
- W1490291451 hasConcept C13766981 @default.
- W1490291451 hasConcept C154945302 @default.
- W1490291451 hasConcept C173613240 @default.
- W1490291451 hasConcept C195653647 @default.
- W1490291451 hasConcept C202444582 @default.
- W1490291451 hasConcept C206880738 @default.
- W1490291451 hasConcept C2318724 @default.
- W1490291451 hasConcept C2524010 @default.
- W1490291451 hasConcept C2776999362 @default.
- W1490291451 hasConcept C2777212361 @default.
- W1490291451 hasConcept C33923547 @default.
- W1490291451 hasConcept C36503486 @default.
- W1490291451 hasConcept C41008148 @default.
- W1490291451 hasConcept C80444323 @default.
- W1490291451 hasConceptScore W1490291451C105605280 @default.
- W1490291451 hasConceptScore W1490291451C108710211 @default.
- W1490291451 hasConceptScore W1490291451C111919701 @default.
- W1490291451 hasConceptScore W1490291451C11413529 @default.
- W1490291451 hasConceptScore W1490291451C124978682 @default.
- W1490291451 hasConceptScore W1490291451C134306372 @default.
- W1490291451 hasConceptScore W1490291451C136119220 @default.
- W1490291451 hasConceptScore W1490291451C13766981 @default.
- W1490291451 hasConceptScore W1490291451C154945302 @default.
- W1490291451 hasConceptScore W1490291451C173613240 @default.
- W1490291451 hasConceptScore W1490291451C195653647 @default.
- W1490291451 hasConceptScore W1490291451C202444582 @default.
- W1490291451 hasConceptScore W1490291451C206880738 @default.
- W1490291451 hasConceptScore W1490291451C2318724 @default.
- W1490291451 hasConceptScore W1490291451C2524010 @default.
- W1490291451 hasConceptScore W1490291451C2776999362 @default.
- W1490291451 hasConceptScore W1490291451C2777212361 @default.
- W1490291451 hasConceptScore W1490291451C33923547 @default.
- W1490291451 hasConceptScore W1490291451C36503486 @default.
- W1490291451 hasConceptScore W1490291451C41008148 @default.
- W1490291451 hasConceptScore W1490291451C80444323 @default.
- W1490291451 hasLocation W14902914511 @default.
- W1490291451 hasOpenAccess W1490291451 @default.
- W1490291451 hasPrimaryLocation W14902914511 @default.
- W1490291451 hasRelatedWork W1500659951 @default.
- W1490291451 hasRelatedWork W1501858132 @default.
- W1490291451 hasRelatedWork W1555144148 @default.
- W1490291451 hasRelatedWork W1569732618 @default.
- W1490291451 hasRelatedWork W1573542630 @default.
- W1490291451 hasRelatedWork W1589439023 @default.
- W1490291451 hasRelatedWork W1826823769 @default.
- W1490291451 hasRelatedWork W1890599079 @default.
- W1490291451 hasRelatedWork W1974190112 @default.
- W1490291451 hasRelatedWork W2007957627 @default.
- W1490291451 hasRelatedWork W2032943731 @default.
- W1490291451 hasRelatedWork W2042851559 @default.
- W1490291451 hasRelatedWork W2064239695 @default.
- W1490291451 hasRelatedWork W2076859913 @default.
- W1490291451 hasRelatedWork W2081798440 @default.
- W1490291451 hasRelatedWork W2127571754 @default.
- W1490291451 hasRelatedWork W2136934577 @default.
- W1490291451 hasRelatedWork W2284662111 @default.
- W1490291451 hasRelatedWork W3083199057 @default.
- W1490291451 hasRelatedWork W3083544609 @default.
- W1490291451 isParatext "false" @default.
- W1490291451 isRetracted "false" @default.
- W1490291451 magId "1490291451" @default.
- W1490291451 workType "book-chapter" @default.