Matches in SemOpenAlex for { <https://semopenalex.org/work/W3148977470> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3148977470 endingPage "6" @default.
- W3148977470 startingPage "1" @default.
- W3148977470 created "2021-04-13" @default.
- W3148977470 creator A5013088726 @default.
- W3148977470 creator A5022530519 @default.
- W3148977470 creator A5047489025 @default.
- W3148977470 creator A5060655251 @default.
- W3148977470 creator A5066622894 @default.
- W3148977470 creator A5070818037 @default.
- W3148977470 creator A5081846355 @default.
- W3148977470 date "2011-01-01" @default.
- W3148977470 modified "2023-09-24" @default.
- W3148977470 title "STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra" @default.
- W3148977470 hasPublicationYear "2011" @default.
- W3148977470 type Work @default.
- W3148977470 sameAs 3148977470 @default.
- W3148977470 citedByCount "0" @default.
- W3148977470 crossrefType "journal-article" @default.
- W3148977470 hasAuthorship W3148977470A5013088726 @default.
- W3148977470 hasAuthorship W3148977470A5022530519 @default.
- W3148977470 hasAuthorship W3148977470A5047489025 @default.
- W3148977470 hasAuthorship W3148977470A5060655251 @default.
- W3148977470 hasAuthorship W3148977470A5066622894 @default.
- W3148977470 hasAuthorship W3148977470A5070818037 @default.
- W3148977470 hasAuthorship W3148977470A5081846355 @default.
- W3148977470 hasConcept C11413529 @default.
- W3148977470 hasConcept C136119220 @default.
- W3148977470 hasConcept C195344581 @default.
- W3148977470 hasConcept C199360897 @default.
- W3148977470 hasConcept C202444582 @default.
- W3148977470 hasConcept C2778770139 @default.
- W3148977470 hasConcept C3019612716 @default.
- W3148977470 hasConcept C33923547 @default.
- W3148977470 hasConcept C39685927 @default.
- W3148977470 hasConcept C41008148 @default.
- W3148977470 hasConcept C459310 @default.
- W3148977470 hasConcept C6943359 @default.
- W3148977470 hasConcept C80444323 @default.
- W3148977470 hasConceptScore W3148977470C11413529 @default.
- W3148977470 hasConceptScore W3148977470C136119220 @default.
- W3148977470 hasConceptScore W3148977470C195344581 @default.
- W3148977470 hasConceptScore W3148977470C199360897 @default.
- W3148977470 hasConceptScore W3148977470C202444582 @default.
- W3148977470 hasConceptScore W3148977470C2778770139 @default.
- W3148977470 hasConceptScore W3148977470C3019612716 @default.
- W3148977470 hasConceptScore W3148977470C33923547 @default.
- W3148977470 hasConceptScore W3148977470C39685927 @default.
- W3148977470 hasConceptScore W3148977470C41008148 @default.
- W3148977470 hasConceptScore W3148977470C459310 @default.
- W3148977470 hasConceptScore W3148977470C6943359 @default.
- W3148977470 hasConceptScore W3148977470C80444323 @default.
- W3148977470 hasLocation W31489774701 @default.
- W3148977470 hasOpenAccess W3148977470 @default.
- W3148977470 hasPrimaryLocation W31489774701 @default.
- W3148977470 hasRelatedWork W1532078326 @default.
- W3148977470 hasRelatedWork W1977209207 @default.
- W3148977470 hasRelatedWork W1981962093 @default.
- W3148977470 hasRelatedWork W2020386735 @default.
- W3148977470 hasRelatedWork W2040509241 @default.
- W3148977470 hasRelatedWork W2075743607 @default.
- W3148977470 hasRelatedWork W2093749125 @default.
- W3148977470 hasRelatedWork W2106507154 @default.
- W3148977470 hasRelatedWork W2118966001 @default.
- W3148977470 hasRelatedWork W2119378734 @default.
- W3148977470 hasRelatedWork W2119546926 @default.
- W3148977470 hasRelatedWork W2119765140 @default.
- W3148977470 hasRelatedWork W2122480357 @default.
- W3148977470 hasRelatedWork W2131861297 @default.
- W3148977470 hasRelatedWork W2282171944 @default.
- W3148977470 hasRelatedWork W2407524904 @default.
- W3148977470 hasRelatedWork W2942139435 @default.
- W3148977470 hasRelatedWork W3046933254 @default.
- W3148977470 hasRelatedWork W3142185037 @default.
- W3148977470 hasRelatedWork W367561463 @default.
- W3148977470 isParatext "false" @default.
- W3148977470 isRetracted "false" @default.
- W3148977470 magId "3148977470" @default.
- W3148977470 workType "article" @default.