Matches in SemOpenAlex for { <https://semopenalex.org/work/W2350248003> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2350248003 abstract "It's always a difficult point that solves the Prenex Normal Form in the Predicate Logic of Discrete Mathematics.Analyzes and summarizes the solution steps of Prenex Normal Form.The second,for the two rules and situations of changing name,researches on them according to the classification method.Using the instances,we help students to know well its solutions,and it gets a good effect in the teaching process." @default.
- W2350248003 created "2016-06-24" @default.
- W2350248003 creator A5062424409 @default.
- W2350248003 date "2012-01-01" @default.
- W2350248003 modified "2023-10-18" @default.
- W2350248003 title "Research on the Solving Method of Prenex Normal Form in Predicate Logic" @default.
- W2350248003 hasPublicationYear "2012" @default.
- W2350248003 type Work @default.
- W2350248003 sameAs 2350248003 @default.
- W2350248003 citedByCount "0" @default.
- W2350248003 crossrefType "journal-article" @default.
- W2350248003 hasAuthorship W2350248003A5062424409 @default.
- W2350248003 hasConcept C102993220 @default.
- W2350248003 hasConcept C11413529 @default.
- W2350248003 hasConcept C140146324 @default.
- W2350248003 hasConcept C19689857 @default.
- W2350248003 hasConcept C199360897 @default.
- W2350248003 hasConcept C2524010 @default.
- W2350248003 hasConcept C28719098 @default.
- W2350248003 hasConcept C33923547 @default.
- W2350248003 hasConcept C41008148 @default.
- W2350248003 hasConcept C80444323 @default.
- W2350248003 hasConceptScore W2350248003C102993220 @default.
- W2350248003 hasConceptScore W2350248003C11413529 @default.
- W2350248003 hasConceptScore W2350248003C140146324 @default.
- W2350248003 hasConceptScore W2350248003C19689857 @default.
- W2350248003 hasConceptScore W2350248003C199360897 @default.
- W2350248003 hasConceptScore W2350248003C2524010 @default.
- W2350248003 hasConceptScore W2350248003C28719098 @default.
- W2350248003 hasConceptScore W2350248003C33923547 @default.
- W2350248003 hasConceptScore W2350248003C41008148 @default.
- W2350248003 hasConceptScore W2350248003C80444323 @default.
- W2350248003 hasLocation W23502480031 @default.
- W2350248003 hasOpenAccess W2350248003 @default.
- W2350248003 hasPrimaryLocation W23502480031 @default.
- W2350248003 hasRelatedWork W1532763240 @default.
- W2350248003 hasRelatedWork W1770130844 @default.
- W2350248003 hasRelatedWork W189953126 @default.
- W2350248003 hasRelatedWork W2011185234 @default.
- W2350248003 hasRelatedWork W2160623077 @default.
- W2350248003 hasRelatedWork W2183965288 @default.
- W2350248003 hasRelatedWork W2604981200 @default.
- W2350248003 hasRelatedWork W2734648235 @default.
- W2350248003 hasRelatedWork W2944298334 @default.
- W2350248003 hasRelatedWork W2987391383 @default.
- W2350248003 hasRelatedWork W3039770073 @default.
- W2350248003 hasRelatedWork W3094993302 @default.
- W2350248003 hasRelatedWork W3128044797 @default.
- W2350248003 hasRelatedWork W631641701 @default.
- W2350248003 hasRelatedWork W836475855 @default.
- W2350248003 hasRelatedWork W165694850 @default.
- W2350248003 hasRelatedWork W2175619293 @default.
- W2350248003 hasRelatedWork W2183205003 @default.
- W2350248003 hasRelatedWork W2741303137 @default.
- W2350248003 hasRelatedWork W2744839249 @default.
- W2350248003 isParatext "false" @default.
- W2350248003 isRetracted "false" @default.
- W2350248003 magId "2350248003" @default.
- W2350248003 workType "article" @default.