Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893472332> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2893472332 endingPage "288" @default.
- W2893472332 startingPage "269" @default.
- W2893472332 created "2018-10-05" @default.
- W2893472332 creator A5035576079 @default.
- W2893472332 creator A5040588151 @default.
- W2893472332 creator A5064242735 @default.
- W2893472332 creator A5080382631 @default.
- W2893472332 date "2018-09-25" @default.
- W2893472332 modified "2023-10-04" @default.
- W2893472332 title "SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME" @default.
- W2893472332 doi "https://doi.org/10.7561/sacs.2018.2.269" @default.
- W2893472332 hasPublicationYear "2018" @default.
- W2893472332 type Work @default.
- W2893472332 sameAs 2893472332 @default.
- W2893472332 citedByCount "2" @default.
- W2893472332 countsByYear W28934723322018 @default.
- W2893472332 countsByYear W28934723322019 @default.
- W2893472332 crossrefType "journal-article" @default.
- W2893472332 hasAuthorship W2893472332A5035576079 @default.
- W2893472332 hasAuthorship W2893472332A5040588151 @default.
- W2893472332 hasAuthorship W2893472332A5064242735 @default.
- W2893472332 hasAuthorship W2893472332A5080382631 @default.
- W2893472332 hasBestOaLocation W28934723321 @default.
- W2893472332 hasConcept C11413529 @default.
- W2893472332 hasConcept C121332964 @default.
- W2893472332 hasConcept C125411270 @default.
- W2893472332 hasConcept C154945302 @default.
- W2893472332 hasConcept C179799912 @default.
- W2893472332 hasConcept C197685441 @default.
- W2893472332 hasConcept C2780791683 @default.
- W2893472332 hasConcept C41008148 @default.
- W2893472332 hasConcept C56049555 @default.
- W2893472332 hasConcept C62520636 @default.
- W2893472332 hasConcept C80444323 @default.
- W2893472332 hasConceptScore W2893472332C11413529 @default.
- W2893472332 hasConceptScore W2893472332C121332964 @default.
- W2893472332 hasConceptScore W2893472332C125411270 @default.
- W2893472332 hasConceptScore W2893472332C154945302 @default.
- W2893472332 hasConceptScore W2893472332C179799912 @default.
- W2893472332 hasConceptScore W2893472332C197685441 @default.
- W2893472332 hasConceptScore W2893472332C2780791683 @default.
- W2893472332 hasConceptScore W2893472332C41008148 @default.
- W2893472332 hasConceptScore W2893472332C56049555 @default.
- W2893472332 hasConceptScore W2893472332C62520636 @default.
- W2893472332 hasConceptScore W2893472332C80444323 @default.
- W2893472332 hasIssue "2" @default.
- W2893472332 hasLocation W28934723321 @default.
- W2893472332 hasLocation W28934723322 @default.
- W2893472332 hasOpenAccess W2893472332 @default.
- W2893472332 hasPrimaryLocation W28934723321 @default.
- W2893472332 hasRelatedWork W1561671889 @default.
- W2893472332 hasRelatedWork W2040340143 @default.
- W2893472332 hasRelatedWork W2176893360 @default.
- W2893472332 hasRelatedWork W2371125232 @default.
- W2893472332 hasRelatedWork W2380356231 @default.
- W2893472332 hasRelatedWork W2389073067 @default.
- W2893472332 hasRelatedWork W250853007 @default.
- W2893472332 hasRelatedWork W2523153104 @default.
- W2893472332 hasRelatedWork W3007418977 @default.
- W2893472332 hasRelatedWork W3149643584 @default.
- W2893472332 hasVolume "2018" @default.
- W2893472332 isParatext "false" @default.
- W2893472332 isRetracted "false" @default.
- W2893472332 magId "2893472332" @default.
- W2893472332 workType "article" @default.