Matches in SemOpenAlex for { <https://semopenalex.org/work/W183630231> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W183630231 created "2016-06-24" @default.
- W183630231 creator A5011570527 @default.
- W183630231 date "2006-01-01" @default.
- W183630231 modified "2023-09-26" @default.
- W183630231 title "Java and Web Extensions of the Yices Little Engine of Proof" @default.
- W183630231 cites W14274997 @default.
- W183630231 cites W1485127077 @default.
- W183630231 cites W1500991862 @default.
- W183630231 cites W1502972580 @default.
- W183630231 cites W1510333080 @default.
- W183630231 cites W1515278398 @default.
- W183630231 cites W1570783318 @default.
- W183630231 cites W1582571943 @default.
- W183630231 cites W192023128 @default.
- W183630231 cites W1968386045 @default.
- W183630231 cites W1977420943 @default.
- W183630231 cites W1983957453 @default.
- W183630231 cites W2036915776 @default.
- W183630231 cites W2100738443 @default.
- W183630231 cites W2109595350 @default.
- W183630231 cites W2125967324 @default.
- W183630231 cites W2149241959 @default.
- W183630231 cites W2153131284 @default.
- W183630231 cites W2158995961 @default.
- W183630231 cites W2164778826 @default.
- W183630231 cites W2550602923 @default.
- W183630231 cites W2888594017 @default.
- W183630231 cites W2987907651 @default.
- W183630231 cites W3146075203 @default.
- W183630231 hasPublicationYear "2006" @default.
- W183630231 type Work @default.
- W183630231 sameAs 183630231 @default.
- W183630231 citedByCount "0" @default.
- W183630231 crossrefType "journal-article" @default.
- W183630231 hasAuthorship W183630231A5011570527 @default.
- W183630231 hasConcept C136764020 @default.
- W183630231 hasConcept C199360897 @default.
- W183630231 hasConcept C41008148 @default.
- W183630231 hasConcept C548217200 @default.
- W183630231 hasConceptScore W183630231C136764020 @default.
- W183630231 hasConceptScore W183630231C199360897 @default.
- W183630231 hasConceptScore W183630231C41008148 @default.
- W183630231 hasConceptScore W183630231C548217200 @default.
- W183630231 hasLocation W1836302311 @default.
- W183630231 hasOpenAccess W183630231 @default.
- W183630231 hasPrimaryLocation W1836302311 @default.
- W183630231 hasRelatedWork W116312893 @default.
- W183630231 hasRelatedWork W1494492530 @default.
- W183630231 hasRelatedWork W1504722839 @default.
- W183630231 hasRelatedWork W1507029499 @default.
- W183630231 hasRelatedWork W1507457864 @default.
- W183630231 hasRelatedWork W1516985231 @default.
- W183630231 hasRelatedWork W1590951149 @default.
- W183630231 hasRelatedWork W1668251704 @default.
- W183630231 hasRelatedWork W1996228525 @default.
- W183630231 hasRelatedWork W2068892086 @default.
- W183630231 hasRelatedWork W2082036516 @default.
- W183630231 hasRelatedWork W2083836378 @default.
- W183630231 hasRelatedWork W2136362013 @default.
- W183630231 hasRelatedWork W2424760048 @default.
- W183630231 hasRelatedWork W2537090530 @default.
- W183630231 hasRelatedWork W2756710720 @default.
- W183630231 hasRelatedWork W3001351914 @default.
- W183630231 hasRelatedWork W3175485889 @default.
- W183630231 hasRelatedWork W1774755741 @default.
- W183630231 hasRelatedWork W2103237096 @default.
- W183630231 isParatext "false" @default.
- W183630231 isRetracted "false" @default.
- W183630231 magId "183630231" @default.
- W183630231 workType "article" @default.