Matches in SemOpenAlex for { <https://semopenalex.org/work/W2302854859> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2302854859 created "2016-06-24" @default.
- W2302854859 creator A5042230213 @default.
- W2302854859 creator A5052756595 @default.
- W2302854859 date "2005-01-01" @default.
- W2302854859 modified "2023-09-27" @default.
- W2302854859 title "CSP-Prover: a Theorem Prover for a Process Algebra CSP" @default.
- W2302854859 cites W1534850143 @default.
- W2302854859 cites W1541083135 @default.
- W2302854859 cites W1549764476 @default.
- W2302854859 cites W1582292473 @default.
- W2302854859 cites W1588668163 @default.
- W2302854859 cites W1597955218 @default.
- W2302854859 cites W1599755007 @default.
- W2302854859 cites W1600675344 @default.
- W2302854859 cites W1914742777 @default.
- W2302854859 cites W2099677469 @default.
- W2302854859 cites W2129384397 @default.
- W2302854859 cites W2141730280 @default.
- W2302854859 cites W2176300081 @default.
- W2302854859 cites W2340102009 @default.
- W2302854859 cites W2340735175 @default.
- W2302854859 cites W3144368627 @default.
- W2302854859 cites W3142790043 @default.
- W2302854859 hasPublicationYear "2005" @default.
- W2302854859 type Work @default.
- W2302854859 sameAs 2302854859 @default.
- W2302854859 citedByCount "0" @default.
- W2302854859 crossrefType "journal-article" @default.
- W2302854859 hasAuthorship W2302854859A5042230213 @default.
- W2302854859 hasAuthorship W2302854859A5052756595 @default.
- W2302854859 hasConcept C108710211 @default.
- W2302854859 hasConcept C136119220 @default.
- W2302854859 hasConcept C159718280 @default.
- W2302854859 hasConcept C161771561 @default.
- W2302854859 hasConcept C199343813 @default.
- W2302854859 hasConcept C199360897 @default.
- W2302854859 hasConcept C202444582 @default.
- W2302854859 hasConcept C206880738 @default.
- W2302854859 hasConcept C2524010 @default.
- W2302854859 hasConcept C2777686260 @default.
- W2302854859 hasConcept C33923547 @default.
- W2302854859 hasConcept C41008148 @default.
- W2302854859 hasConcept C71924100 @default.
- W2302854859 hasConcept C98045186 @default.
- W2302854859 hasConceptScore W2302854859C108710211 @default.
- W2302854859 hasConceptScore W2302854859C136119220 @default.
- W2302854859 hasConceptScore W2302854859C159718280 @default.
- W2302854859 hasConceptScore W2302854859C161771561 @default.
- W2302854859 hasConceptScore W2302854859C199343813 @default.
- W2302854859 hasConceptScore W2302854859C199360897 @default.
- W2302854859 hasConceptScore W2302854859C202444582 @default.
- W2302854859 hasConceptScore W2302854859C206880738 @default.
- W2302854859 hasConceptScore W2302854859C2524010 @default.
- W2302854859 hasConceptScore W2302854859C2777686260 @default.
- W2302854859 hasConceptScore W2302854859C33923547 @default.
- W2302854859 hasConceptScore W2302854859C41008148 @default.
- W2302854859 hasConceptScore W2302854859C71924100 @default.
- W2302854859 hasConceptScore W2302854859C98045186 @default.
- W2302854859 hasLocation W23028548591 @default.
- W2302854859 hasOpenAccess W2302854859 @default.
- W2302854859 hasPrimaryLocation W23028548591 @default.
- W2302854859 hasRelatedWork W133949766 @default.
- W2302854859 hasRelatedWork W1503614434 @default.
- W2302854859 hasRelatedWork W154368879 @default.
- W2302854859 hasRelatedWork W1567315244 @default.
- W2302854859 hasRelatedWork W159165748 @default.
- W2302854859 hasRelatedWork W17889614 @default.
- W2302854859 hasRelatedWork W179065745 @default.
- W2302854859 hasRelatedWork W2010445528 @default.
- W2302854859 hasRelatedWork W2055082904 @default.
- W2302854859 hasRelatedWork W2158022092 @default.
- W2302854859 hasRelatedWork W2201648668 @default.
- W2302854859 hasRelatedWork W23494085 @default.
- W2302854859 hasRelatedWork W2401255201 @default.
- W2302854859 hasRelatedWork W263217020 @default.
- W2302854859 hasRelatedWork W3004100840 @default.
- W2302854859 hasRelatedWork W593894321 @default.
- W2302854859 hasRelatedWork W1155595021 @default.
- W2302854859 hasRelatedWork W1542579875 @default.
- W2302854859 hasRelatedWork W2192184199 @default.
- W2302854859 hasRelatedWork W2297848989 @default.
- W2302854859 isParatext "false" @default.
- W2302854859 isRetracted "false" @default.
- W2302854859 magId "2302854859" @default.
- W2302854859 workType "article" @default.