Matches in SemOpenAlex for { <https://semopenalex.org/work/W3208348160> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3208348160 created "2021-11-08" @default.
- W3208348160 creator A5023561560 @default.
- W3208348160 date "2003-01-01" @default.
- W3208348160 modified "2023-09-27" @default.
- W3208348160 title "An Interactive Theorem Prover for Kleene Algebra with Tests" @default.
- W3208348160 cites W1519319790 @default.
- W3208348160 cites W152230201 @default.
- W3208348160 cites W1529136483 @default.
- W3208348160 cites W1529227536 @default.
- W3208348160 cites W1557559121 @default.
- W3208348160 cites W1566548834 @default.
- W3208348160 cites W1570445666 @default.
- W3208348160 cites W1570949334 @default.
- W3208348160 cites W1574223981 @default.
- W3208348160 cites W1579433101 @default.
- W3208348160 cites W1597515852 @default.
- W3208348160 cites W164550212 @default.
- W3208348160 cites W1763095070 @default.
- W3208348160 cites W1864458977 @default.
- W3208348160 cites W1881794246 @default.
- W3208348160 cites W1963571656 @default.
- W3208348160 cites W1998368317 @default.
- W3208348160 cites W2010626618 @default.
- W3208348160 cites W2068047345 @default.
- W3208348160 cites W2069709605 @default.
- W3208348160 cites W2089139117 @default.
- W3208348160 cites W2117065635 @default.
- W3208348160 cites W2141931064 @default.
- W3208348160 cites W2142072439 @default.
- W3208348160 cites W2163152086 @default.
- W3208348160 cites W2295903464 @default.
- W3208348160 hasPublicationYear "2003" @default.
- W3208348160 type Work @default.
- W3208348160 sameAs 3208348160 @default.
- W3208348160 citedByCount "0" @default.
- W3208348160 crossrefType "journal-article" @default.
- W3208348160 hasAuthorship W3208348160A5023561560 @default.
- W3208348160 hasConcept C108710211 @default.
- W3208348160 hasConcept C118615104 @default.
- W3208348160 hasConcept C136119220 @default.
- W3208348160 hasConcept C159718280 @default.
- W3208348160 hasConcept C199343813 @default.
- W3208348160 hasConcept C199360897 @default.
- W3208348160 hasConcept C202444582 @default.
- W3208348160 hasConcept C206470798 @default.
- W3208348160 hasConcept C206880738 @default.
- W3208348160 hasConcept C2524010 @default.
- W3208348160 hasConcept C2777686260 @default.
- W3208348160 hasConcept C33923547 @default.
- W3208348160 hasConcept C41008148 @default.
- W3208348160 hasConcept C71924100 @default.
- W3208348160 hasConceptScore W3208348160C108710211 @default.
- W3208348160 hasConceptScore W3208348160C118615104 @default.
- W3208348160 hasConceptScore W3208348160C136119220 @default.
- W3208348160 hasConceptScore W3208348160C159718280 @default.
- W3208348160 hasConceptScore W3208348160C199343813 @default.
- W3208348160 hasConceptScore W3208348160C199360897 @default.
- W3208348160 hasConceptScore W3208348160C202444582 @default.
- W3208348160 hasConceptScore W3208348160C206470798 @default.
- W3208348160 hasConceptScore W3208348160C206880738 @default.
- W3208348160 hasConceptScore W3208348160C2524010 @default.
- W3208348160 hasConceptScore W3208348160C2777686260 @default.
- W3208348160 hasConceptScore W3208348160C33923547 @default.
- W3208348160 hasConceptScore W3208348160C41008148 @default.
- W3208348160 hasConceptScore W3208348160C71924100 @default.
- W3208348160 hasLocation W32083481601 @default.
- W3208348160 hasOpenAccess W3208348160 @default.
- W3208348160 hasPrimaryLocation W32083481601 @default.
- W3208348160 hasRelatedWork W1503614434 @default.
- W3208348160 hasRelatedWork W1567315244 @default.
- W3208348160 hasRelatedWork W1592672507 @default.
- W3208348160 hasRelatedWork W1989055264 @default.
- W3208348160 hasRelatedWork W2010445528 @default.
- W3208348160 hasRelatedWork W2035289314 @default.
- W3208348160 hasRelatedWork W2055082904 @default.
- W3208348160 hasRelatedWork W2086027910 @default.
- W3208348160 hasRelatedWork W2091015996 @default.
- W3208348160 hasRelatedWork W2159811535 @default.
- W3208348160 hasRelatedWork W2201648668 @default.
- W3208348160 hasRelatedWork W23469032 @default.
- W3208348160 hasRelatedWork W23494085 @default.
- W3208348160 hasRelatedWork W2569856615 @default.
- W3208348160 hasRelatedWork W3004100840 @default.
- W3208348160 hasRelatedWork W3204438756 @default.
- W3208348160 hasRelatedWork W60445782 @default.
- W3208348160 hasRelatedWork W97894006 @default.
- W3208348160 hasRelatedWork W1542579875 @default.
- W3208348160 hasRelatedWork W2192184199 @default.
- W3208348160 isParatext "false" @default.
- W3208348160 isRetracted "false" @default.
- W3208348160 magId "3208348160" @default.
- W3208348160 workType "article" @default.