Matches in SemOpenAlex for { <https://semopenalex.org/work/W2393767115> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2393767115 abstract "This paper is the first in a series to prove the quantifier elimination of dense binary orders theory.The axioms of this theory were given in the language L={≤,R},and found that the theory does not have the property of quantifier elimination in this language,but rather the dense binary orders theory has the property of quantifier elimination in the language L={≤,R,*}.This is proven in the present paper by relating the quantifier elimination of conjunctions of the formulas in the basic set,and by paying attention to conjunctions of same type formulas." @default.
- W2393767115 created "2016-06-24" @default.
- W2393767115 creator A5087471242 @default.
- W2393767115 date "2008-01-01" @default.
- W2393767115 modified "2023-09-23" @default.
- W2393767115 title "THE QUANTIFIER ELIMINATION OF DENSE BINARY ORDERS THEORY(I)" @default.
- W2393767115 hasPublicationYear "2008" @default.
- W2393767115 type Work @default.
- W2393767115 sameAs 2393767115 @default.
- W2393767115 citedByCount "0" @default.
- W2393767115 crossrefType "journal-article" @default.
- W2393767115 hasAuthorship W2393767115A5087471242 @default.
- W2393767115 hasConcept C111472728 @default.
- W2393767115 hasConcept C118615104 @default.
- W2393767115 hasConcept C138885662 @default.
- W2393767115 hasConcept C154945302 @default.
- W2393767115 hasConcept C167729594 @default.
- W2393767115 hasConcept C177264268 @default.
- W2393767115 hasConcept C189950617 @default.
- W2393767115 hasConcept C199360897 @default.
- W2393767115 hasConcept C202444582 @default.
- W2393767115 hasConcept C2524010 @default.
- W2393767115 hasConcept C2778523021 @default.
- W2393767115 hasConcept C32278780 @default.
- W2393767115 hasConcept C33923547 @default.
- W2393767115 hasConcept C41008148 @default.
- W2393767115 hasConcept C48372109 @default.
- W2393767115 hasConcept C94375191 @default.
- W2393767115 hasConceptScore W2393767115C111472728 @default.
- W2393767115 hasConceptScore W2393767115C118615104 @default.
- W2393767115 hasConceptScore W2393767115C138885662 @default.
- W2393767115 hasConceptScore W2393767115C154945302 @default.
- W2393767115 hasConceptScore W2393767115C167729594 @default.
- W2393767115 hasConceptScore W2393767115C177264268 @default.
- W2393767115 hasConceptScore W2393767115C189950617 @default.
- W2393767115 hasConceptScore W2393767115C199360897 @default.
- W2393767115 hasConceptScore W2393767115C202444582 @default.
- W2393767115 hasConceptScore W2393767115C2524010 @default.
- W2393767115 hasConceptScore W2393767115C2778523021 @default.
- W2393767115 hasConceptScore W2393767115C32278780 @default.
- W2393767115 hasConceptScore W2393767115C33923547 @default.
- W2393767115 hasConceptScore W2393767115C41008148 @default.
- W2393767115 hasConceptScore W2393767115C48372109 @default.
- W2393767115 hasConceptScore W2393767115C94375191 @default.
- W2393767115 hasLocation W23937671151 @default.
- W2393767115 hasOpenAccess W2393767115 @default.
- W2393767115 hasPrimaryLocation W23937671151 @default.
- W2393767115 hasRelatedWork W1525794006 @default.
- W2393767115 hasRelatedWork W1939949026 @default.
- W2393767115 hasRelatedWork W1984679189 @default.
- W2393767115 hasRelatedWork W1987762167 @default.
- W2393767115 hasRelatedWork W1988793564 @default.
- W2393767115 hasRelatedWork W1991569596 @default.
- W2393767115 hasRelatedWork W2020983073 @default.
- W2393767115 hasRelatedWork W2023511748 @default.
- W2393767115 hasRelatedWork W2096975981 @default.
- W2393767115 hasRelatedWork W2139771984 @default.
- W2393767115 hasRelatedWork W2164297607 @default.
- W2393767115 hasRelatedWork W2165602048 @default.
- W2393767115 hasRelatedWork W2227071558 @default.
- W2393767115 hasRelatedWork W2566672735 @default.
- W2393767115 hasRelatedWork W2580436197 @default.
- W2393767115 hasRelatedWork W2788682671 @default.
- W2393767115 hasRelatedWork W2890827357 @default.
- W2393767115 hasRelatedWork W2950253569 @default.
- W2393767115 hasRelatedWork W3102787008 @default.
- W2393767115 hasRelatedWork W3125214380 @default.
- W2393767115 isParatext "false" @default.
- W2393767115 isRetracted "false" @default.
- W2393767115 magId "2393767115" @default.
- W2393767115 workType "article" @default.