Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007521205> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2007521205 endingPage "326" @default.
- W2007521205 startingPage "317" @default.
- W2007521205 abstract "Let ℒ be the set of all formulas of a given first order predicate logic (with or without identity). For each positive integer n , let ℒ n be the set of all formulas φ in ℒ logically equivalent to a formula of the form where Q is a (possibly empty) string of quantifiers, m is a positive integer, and each α ij is either an atomic formula or the negation of an atomic formula." @default.
- W2007521205 created "2016-06-24" @default.
- W2007521205 creator A5009762723 @default.
- W2007521205 creator A5077435289 @default.
- W2007521205 date "1962-09-01" @default.
- W2007521205 modified "2023-09-24" @default.
- W2007521205 title "An improved prenex normal form1 " @default.
- W2007521205 doi "https://doi.org/10.2307/2964650" @default.
- W2007521205 hasPublicationYear "1962" @default.
- W2007521205 type Work @default.
- W2007521205 sameAs 2007521205 @default.
- W2007521205 citedByCount "12" @default.
- W2007521205 countsByYear W20075212052020 @default.
- W2007521205 crossrefType "journal-article" @default.
- W2007521205 hasAuthorship W2007521205A5009762723 @default.
- W2007521205 hasAuthorship W2007521205A5077435289 @default.
- W2007521205 hasConcept C100481476 @default.
- W2007521205 hasConcept C114614502 @default.
- W2007521205 hasConcept C118615104 @default.
- W2007521205 hasConcept C121332964 @default.
- W2007521205 hasConcept C140146324 @default.
- W2007521205 hasConcept C157486923 @default.
- W2007521205 hasConcept C177264268 @default.
- W2007521205 hasConcept C199360897 @default.
- W2007521205 hasConcept C2185349 @default.
- W2007521205 hasConcept C24890656 @default.
- W2007521205 hasConcept C2778355321 @default.
- W2007521205 hasConcept C33923547 @default.
- W2007521205 hasConcept C37914503 @default.
- W2007521205 hasConcept C41008148 @default.
- W2007521205 hasConcept C97137487 @default.
- W2007521205 hasConceptScore W2007521205C100481476 @default.
- W2007521205 hasConceptScore W2007521205C114614502 @default.
- W2007521205 hasConceptScore W2007521205C118615104 @default.
- W2007521205 hasConceptScore W2007521205C121332964 @default.
- W2007521205 hasConceptScore W2007521205C140146324 @default.
- W2007521205 hasConceptScore W2007521205C157486923 @default.
- W2007521205 hasConceptScore W2007521205C177264268 @default.
- W2007521205 hasConceptScore W2007521205C199360897 @default.
- W2007521205 hasConceptScore W2007521205C2185349 @default.
- W2007521205 hasConceptScore W2007521205C24890656 @default.
- W2007521205 hasConceptScore W2007521205C2778355321 @default.
- W2007521205 hasConceptScore W2007521205C33923547 @default.
- W2007521205 hasConceptScore W2007521205C37914503 @default.
- W2007521205 hasConceptScore W2007521205C41008148 @default.
- W2007521205 hasConceptScore W2007521205C97137487 @default.
- W2007521205 hasIssue "3" @default.
- W2007521205 hasLocation W20075212051 @default.
- W2007521205 hasOpenAccess W2007521205 @default.
- W2007521205 hasPrimaryLocation W20075212051 @default.
- W2007521205 hasRelatedWork W1978042415 @default.
- W2007521205 hasRelatedWork W1986884618 @default.
- W2007521205 hasRelatedWork W2018616641 @default.
- W2007521205 hasRelatedWork W2021318707 @default.
- W2007521205 hasRelatedWork W2067259733 @default.
- W2007521205 hasRelatedWork W2296002977 @default.
- W2007521205 hasRelatedWork W2502624504 @default.
- W2007521205 hasRelatedWork W3007835832 @default.
- W2007521205 hasRelatedWork W4244448262 @default.
- W2007521205 hasRelatedWork W1815571 @default.
- W2007521205 hasVolume "27" @default.
- W2007521205 isParatext "false" @default.
- W2007521205 isRetracted "false" @default.
- W2007521205 magId "2007521205" @default.
- W2007521205 workType "article" @default.