Matches in SemOpenAlex for { <https://semopenalex.org/work/W2056064357> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2056064357 endingPage "481" @default.
- W2056064357 startingPage "467" @default.
- W2056064357 created "2016-06-24" @default.
- W2056064357 creator A5073886655 @default.
- W2056064357 date "2010-02-19" @default.
- W2056064357 modified "2023-09-27" @default.
- W2056064357 title "Improved usability and performance of SMT solvers for debugging specifications" @default.
- W2056064357 cites W1480909796 @default.
- W2056064357 cites W1483744477 @default.
- W2056064357 cites W1486696980 @default.
- W2056064357 cites W1495187315 @default.
- W2056064357 cites W1537084112 @default.
- W2056064357 cites W1580328473 @default.
- W2056064357 cites W1583826417 @default.
- W2056064357 cites W1959256509 @default.
- W2056064357 cites W2003562044 @default.
- W2056064357 cites W2055477538 @default.
- W2056064357 cites W2124382086 @default.
- W2056064357 cites W2128543030 @default.
- W2056064357 cites W2132055325 @default.
- W2056064357 cites W2159090554 @default.
- W2056064357 cites W2164419371 @default.
- W2056064357 cites W3046946143 @default.
- W2056064357 cites W4233804448 @default.
- W2056064357 cites W4234528212 @default.
- W2056064357 cites W4253178675 @default.
- W2056064357 doi "https://doi.org/10.1007/s10009-010-0138-x" @default.
- W2056064357 hasPublicationYear "2010" @default.
- W2056064357 type Work @default.
- W2056064357 sameAs 2056064357 @default.
- W2056064357 citedByCount "19" @default.
- W2056064357 countsByYear W20560643572013 @default.
- W2056064357 countsByYear W20560643572014 @default.
- W2056064357 countsByYear W20560643572016 @default.
- W2056064357 countsByYear W20560643572018 @default.
- W2056064357 countsByYear W20560643572021 @default.
- W2056064357 countsByYear W20560643572023 @default.
- W2056064357 crossrefType "journal-article" @default.
- W2056064357 hasAuthorship W2056064357A5073886655 @default.
- W2056064357 hasConcept C111919701 @default.
- W2056064357 hasConcept C115903868 @default.
- W2056064357 hasConcept C168065819 @default.
- W2056064357 hasConcept C170130773 @default.
- W2056064357 hasConcept C199360897 @default.
- W2056064357 hasConcept C24858836 @default.
- W2056064357 hasConcept C41008148 @default.
- W2056064357 hasConceptScore W2056064357C111919701 @default.
- W2056064357 hasConceptScore W2056064357C115903868 @default.
- W2056064357 hasConceptScore W2056064357C168065819 @default.
- W2056064357 hasConceptScore W2056064357C170130773 @default.
- W2056064357 hasConceptScore W2056064357C199360897 @default.
- W2056064357 hasConceptScore W2056064357C24858836 @default.
- W2056064357 hasConceptScore W2056064357C41008148 @default.
- W2056064357 hasIssue "6" @default.
- W2056064357 hasLocation W20560643571 @default.
- W2056064357 hasOpenAccess W2056064357 @default.
- W2056064357 hasPrimaryLocation W20560643571 @default.
- W2056064357 hasRelatedWork W1498982577 @default.
- W2056064357 hasRelatedWork W1544341893 @default.
- W2056064357 hasRelatedWork W1578778518 @default.
- W2056064357 hasRelatedWork W1579177548 @default.
- W2056064357 hasRelatedWork W1587224678 @default.
- W2056064357 hasRelatedWork W1601811574 @default.
- W2056064357 hasRelatedWork W181842068 @default.
- W2056064357 hasRelatedWork W2025670560 @default.
- W2056064357 hasRelatedWork W2135396778 @default.
- W2056064357 hasRelatedWork W4234604123 @default.
- W2056064357 hasVolume "12" @default.
- W2056064357 isParatext "false" @default.
- W2056064357 isRetracted "false" @default.
- W2056064357 magId "2056064357" @default.
- W2056064357 workType "article" @default.