Matches in SemOpenAlex for { <https://semopenalex.org/work/W110461417> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W110461417 created "2016-06-24" @default.
- W110461417 creator A5010064604 @default.
- W110461417 date "1990-12-01" @default.
- W110461417 modified "2023-09-27" @default.
- W110461417 title "Satisfiability of formulae with one ∀ is decidable in exponential time" @default.
- W110461417 cites W1969356353 @default.
- W110461417 cites W2018189786 @default.
- W110461417 cites W2032725063 @default.
- W110461417 cites W2064811181 @default.
- W110461417 cites W2080220005 @default.
- W110461417 cites W2114368612 @default.
- W110461417 cites W2126160338 @default.
- W110461417 cites W2140992830 @default.
- W110461417 cites W2991667407 @default.
- W110461417 cites W304604758 @default.
- W110461417 cites W4241108585 @default.
- W110461417 doi "https://doi.org/10.1007/bf01651329" @default.
- W110461417 hasPublicationYear "1990" @default.
- W110461417 type Work @default.
- W110461417 sameAs 110461417 @default.
- W110461417 citedByCount "3" @default.
- W110461417 countsByYear W1104614172012 @default.
- W110461417 countsByYear W1104614172017 @default.
- W110461417 crossrefType "journal-article" @default.
- W110461417 hasAuthorship W110461417A5010064604 @default.
- W110461417 hasConcept C11413529 @default.
- W110461417 hasConcept C114614502 @default.
- W110461417 hasConcept C118615104 @default.
- W110461417 hasConcept C134306372 @default.
- W110461417 hasConcept C138885662 @default.
- W110461417 hasConcept C141603448 @default.
- W110461417 hasConcept C151376022 @default.
- W110461417 hasConcept C153269930 @default.
- W110461417 hasConcept C154945302 @default.
- W110461417 hasConcept C168773769 @default.
- W110461417 hasConcept C179799912 @default.
- W110461417 hasConcept C197685441 @default.
- W110461417 hasConcept C2777212361 @default.
- W110461417 hasConcept C311688 @default.
- W110461417 hasConcept C33923547 @default.
- W110461417 hasConcept C34388435 @default.
- W110461417 hasConcept C41008148 @default.
- W110461417 hasConcept C41895202 @default.
- W110461417 hasConceptScore W110461417C11413529 @default.
- W110461417 hasConceptScore W110461417C114614502 @default.
- W110461417 hasConceptScore W110461417C118615104 @default.
- W110461417 hasConceptScore W110461417C134306372 @default.
- W110461417 hasConceptScore W110461417C138885662 @default.
- W110461417 hasConceptScore W110461417C141603448 @default.
- W110461417 hasConceptScore W110461417C151376022 @default.
- W110461417 hasConceptScore W110461417C153269930 @default.
- W110461417 hasConceptScore W110461417C154945302 @default.
- W110461417 hasConceptScore W110461417C168773769 @default.
- W110461417 hasConceptScore W110461417C179799912 @default.
- W110461417 hasConceptScore W110461417C197685441 @default.
- W110461417 hasConceptScore W110461417C2777212361 @default.
- W110461417 hasConceptScore W110461417C311688 @default.
- W110461417 hasConceptScore W110461417C33923547 @default.
- W110461417 hasConceptScore W110461417C34388435 @default.
- W110461417 hasConceptScore W110461417C41008148 @default.
- W110461417 hasConceptScore W110461417C41895202 @default.
- W110461417 hasLocation W1104614171 @default.
- W110461417 hasOpenAccess W110461417 @default.
- W110461417 hasPrimaryLocation W1104614171 @default.
- W110461417 hasRelatedWork W103116065 @default.
- W110461417 hasRelatedWork W1494939852 @default.
- W110461417 hasRelatedWork W1517830222 @default.
- W110461417 hasRelatedWork W1549866473 @default.
- W110461417 hasRelatedWork W1600636537 @default.
- W110461417 hasRelatedWork W1815771810 @default.
- W110461417 hasRelatedWork W1830696394 @default.
- W110461417 hasRelatedWork W1981947400 @default.
- W110461417 hasRelatedWork W2003216212 @default.
- W110461417 hasRelatedWork W2027602125 @default.
- W110461417 hasRelatedWork W2037639986 @default.
- W110461417 hasRelatedWork W2041403185 @default.
- W110461417 hasRelatedWork W2042347326 @default.
- W110461417 hasRelatedWork W2066585576 @default.
- W110461417 hasRelatedWork W2082723133 @default.
- W110461417 hasRelatedWork W2126513401 @default.
- W110461417 hasRelatedWork W2140105720 @default.
- W110461417 hasRelatedWork W2989517397 @default.
- W110461417 hasRelatedWork W3102693153 @default.
- W110461417 hasRelatedWork W1843939751 @default.
- W110461417 isParatext "false" @default.
- W110461417 isRetracted "false" @default.
- W110461417 magId "110461417" @default.
- W110461417 workType "article" @default.