Matches in SemOpenAlex for { <https://semopenalex.org/work/W3149124681> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W3149124681 abstract "In this paper, the satisfiability problem of a linear system of equations for quantifiers is discussed. This problem arises from the mechanical theorem-proving on modules. A discriminating condition for this problem is obtained which places no restriction on quantifiers. Some applications to Abelian groups, elementary number theory, vector spaces, ect. are discussed." @default.
- W3149124681 created "2021-04-13" @default.
- W3149124681 creator A5047113301 @default.
- W3149124681 date "1993-01-01" @default.
- W3149124681 modified "2023-09-27" @default.
- W3149124681 title "On the Satisfiability of Linear Systems of Equations for Quantifiers" @default.
- W3149124681 hasPublicationYear "1993" @default.
- W3149124681 type Work @default.
- W3149124681 sameAs 3149124681 @default.
- W3149124681 citedByCount "0" @default.
- W3149124681 crossrefType "journal-article" @default.
- W3149124681 hasAuthorship W3149124681A5047113301 @default.
- W3149124681 hasConcept C118615104 @default.
- W3149124681 hasConcept C134306372 @default.
- W3149124681 hasConcept C136119220 @default.
- W3149124681 hasConcept C136170076 @default.
- W3149124681 hasConcept C168773769 @default.
- W3149124681 hasConcept C199343813 @default.
- W3149124681 hasConcept C202444582 @default.
- W3149124681 hasConcept C2777686260 @default.
- W3149124681 hasConcept C33923547 @default.
- W3149124681 hasConcept C6943359 @default.
- W3149124681 hasConcept C71924100 @default.
- W3149124681 hasConcept C94523830 @default.
- W3149124681 hasConceptScore W3149124681C118615104 @default.
- W3149124681 hasConceptScore W3149124681C134306372 @default.
- W3149124681 hasConceptScore W3149124681C136119220 @default.
- W3149124681 hasConceptScore W3149124681C136170076 @default.
- W3149124681 hasConceptScore W3149124681C168773769 @default.
- W3149124681 hasConceptScore W3149124681C199343813 @default.
- W3149124681 hasConceptScore W3149124681C202444582 @default.
- W3149124681 hasConceptScore W3149124681C2777686260 @default.
- W3149124681 hasConceptScore W3149124681C33923547 @default.
- W3149124681 hasConceptScore W3149124681C6943359 @default.
- W3149124681 hasConceptScore W3149124681C71924100 @default.
- W3149124681 hasConceptScore W3149124681C94523830 @default.
- W3149124681 hasLocation W31491246811 @default.
- W3149124681 hasOpenAccess W3149124681 @default.
- W3149124681 hasPrimaryLocation W31491246811 @default.
- W3149124681 hasRelatedWork W100816062 @default.
- W3149124681 hasRelatedWork W1502547841 @default.
- W3149124681 hasRelatedWork W15085223 @default.
- W3149124681 hasRelatedWork W1579499855 @default.
- W3149124681 hasRelatedWork W165444905 @default.
- W3149124681 hasRelatedWork W1840469622 @default.
- W3149124681 hasRelatedWork W1861777415 @default.
- W3149124681 hasRelatedWork W1967406295 @default.
- W3149124681 hasRelatedWork W2019237035 @default.
- W3149124681 hasRelatedWork W2057629125 @default.
- W3149124681 hasRelatedWork W2083138714 @default.
- W3149124681 hasRelatedWork W2116348452 @default.
- W3149124681 hasRelatedWork W2156265441 @default.
- W3149124681 hasRelatedWork W2165447739 @default.
- W3149124681 hasRelatedWork W2497724070 @default.
- W3149124681 hasRelatedWork W2798338833 @default.
- W3149124681 hasRelatedWork W2950838898 @default.
- W3149124681 hasRelatedWork W3028542372 @default.
- W3149124681 hasRelatedWork W581366513 @default.
- W3149124681 hasRelatedWork W2386466986 @default.
- W3149124681 isParatext "false" @default.
- W3149124681 isRetracted "false" @default.
- W3149124681 magId "3149124681" @default.
- W3149124681 workType "article" @default.