Matches in SemOpenAlex for { <https://semopenalex.org/work/W2390309401> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2390309401 abstract "Partitions of F(S) in the system Hα have been studied,congruence partitions about on F(S) have been given,respectively by using the concepts of accessible generalized tautology and α-contradiction.A kind of upgrade algorithm have been given.It is proved that in the systnm Hα,tautologies can not be get by using upgrade algorithm to non-tautologies within finite times of upgrade algorithm." @default.
- W2390309401 created "2016-06-24" @default.
- W2390309401 creator A5000266144 @default.
- W2390309401 date "2007-01-01" @default.
- W2390309401 modified "2023-09-23" @default.
- W2390309401 title "Partitions of F(S) and a Kind of Upgrade Algorithm in the System H_α" @default.
- W2390309401 hasPublicationYear "2007" @default.
- W2390309401 type Work @default.
- W2390309401 sameAs 2390309401 @default.
- W2390309401 citedByCount "0" @default.
- W2390309401 crossrefType "journal-article" @default.
- W2390309401 hasAuthorship W2390309401A5000266144 @default.
- W2390309401 hasConcept C102993220 @default.
- W2390309401 hasConcept C111919701 @default.
- W2390309401 hasConcept C11413529 @default.
- W2390309401 hasConcept C118615104 @default.
- W2390309401 hasConcept C132074034 @default.
- W2390309401 hasConcept C166374712 @default.
- W2390309401 hasConcept C203659156 @default.
- W2390309401 hasConcept C2524010 @default.
- W2390309401 hasConcept C2780615140 @default.
- W2390309401 hasConcept C33923547 @default.
- W2390309401 hasConcept C3845977 @default.
- W2390309401 hasConcept C41008148 @default.
- W2390309401 hasConcept C80444323 @default.
- W2390309401 hasConceptScore W2390309401C102993220 @default.
- W2390309401 hasConceptScore W2390309401C111919701 @default.
- W2390309401 hasConceptScore W2390309401C11413529 @default.
- W2390309401 hasConceptScore W2390309401C118615104 @default.
- W2390309401 hasConceptScore W2390309401C132074034 @default.
- W2390309401 hasConceptScore W2390309401C166374712 @default.
- W2390309401 hasConceptScore W2390309401C203659156 @default.
- W2390309401 hasConceptScore W2390309401C2524010 @default.
- W2390309401 hasConceptScore W2390309401C2780615140 @default.
- W2390309401 hasConceptScore W2390309401C33923547 @default.
- W2390309401 hasConceptScore W2390309401C3845977 @default.
- W2390309401 hasConceptScore W2390309401C41008148 @default.
- W2390309401 hasConceptScore W2390309401C80444323 @default.
- W2390309401 hasOpenAccess W2390309401 @default.
- W2390309401 hasRelatedWork W1494221669 @default.
- W2390309401 hasRelatedWork W1552970256 @default.
- W2390309401 hasRelatedWork W1563797259 @default.
- W2390309401 hasRelatedWork W1837362933 @default.
- W2390309401 hasRelatedWork W2036716130 @default.
- W2390309401 hasRelatedWork W2055167058 @default.
- W2390309401 hasRelatedWork W2096975981 @default.
- W2390309401 hasRelatedWork W2127907968 @default.
- W2390309401 hasRelatedWork W2142906421 @default.
- W2390309401 hasRelatedWork W2148157601 @default.
- W2390309401 hasRelatedWork W2283837784 @default.
- W2390309401 hasRelatedWork W2381682756 @default.
- W2390309401 hasRelatedWork W2406454724 @default.
- W2390309401 hasRelatedWork W2415579669 @default.
- W2390309401 hasRelatedWork W2469310354 @default.
- W2390309401 hasRelatedWork W3138992896 @default.
- W2390309401 hasRelatedWork W3146177073 @default.
- W2390309401 hasRelatedWork W82525747 @default.
- W2390309401 hasRelatedWork W2554351795 @default.
- W2390309401 isParatext "false" @default.
- W2390309401 isRetracted "false" @default.
- W2390309401 magId "2390309401" @default.
- W2390309401 workType "article" @default.