Matches in SemOpenAlex for { <https://semopenalex.org/work/W2047650147> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2047650147 created "2016-06-24" @default.
- W2047650147 creator A5056365707 @default.
- W2047650147 date "1998-01-01" @default.
- W2047650147 modified "2023-09-26" @default.
- W2047650147 title "C formalised in HOL" @default.
- W2047650147 cites W1498523273 @default.
- W2047650147 cites W1503973138 @default.
- W2047650147 cites W1519127112 @default.
- W2047650147 cites W1534508664 @default.
- W2047650147 cites W1534850143 @default.
- W2047650147 cites W1544633123 @default.
- W2047650147 cites W1544662935 @default.
- W2047650147 cites W1548553503 @default.
- W2047650147 cites W1553537175 @default.
- W2047650147 cites W1558637250 @default.
- W2047650147 cites W1570258731 @default.
- W2047650147 cites W1574919925 @default.
- W2047650147 cites W1588723084 @default.
- W2047650147 cites W1601695638 @default.
- W2047650147 cites W1818561783 @default.
- W2047650147 cites W1829244603 @default.
- W2047650147 cites W1864574667 @default.
- W2047650147 cites W1873117265 @default.
- W2047650147 cites W1965348053 @default.
- W2047650147 cites W1987868327 @default.
- W2047650147 cites W2005973420 @default.
- W2047650147 cites W2007181618 @default.
- W2047650147 cites W2009828204 @default.
- W2047650147 cites W2028904812 @default.
- W2047650147 cites W2030224590 @default.
- W2047650147 cites W2032396207 @default.
- W2047650147 cites W2034711041 @default.
- W2047650147 cites W2040711311 @default.
- W2047650147 cites W2051221358 @default.
- W2047650147 cites W2070869623 @default.
- W2047650147 cites W2103953153 @default.
- W2047650147 cites W2129075596 @default.
- W2047650147 cites W2131403402 @default.
- W2047650147 cites W2294680933 @default.
- W2047650147 cites W2493860389 @default.
- W2047650147 cites W2546854926 @default.
- W2047650147 cites W2611598995 @default.
- W2047650147 cites W3146075203 @default.
- W2047650147 hasPublicationYear "1998" @default.
- W2047650147 type Work @default.
- W2047650147 sameAs 2047650147 @default.
- W2047650147 citedByCount "49" @default.
- W2047650147 countsByYear W20476501472012 @default.
- W2047650147 countsByYear W20476501472013 @default.
- W2047650147 countsByYear W20476501472014 @default.
- W2047650147 countsByYear W20476501472015 @default.
- W2047650147 countsByYear W20476501472016 @default.
- W2047650147 countsByYear W20476501472018 @default.
- W2047650147 countsByYear W20476501472019 @default.
- W2047650147 crossrefType "journal-article" @default.
- W2047650147 hasAuthorship W2047650147A5056365707 @default.
- W2047650147 hasConcept C17435882 @default.
- W2047650147 hasConcept C199360897 @default.
- W2047650147 hasConcept C41008148 @default.
- W2047650147 hasConceptScore W2047650147C17435882 @default.
- W2047650147 hasConceptScore W2047650147C199360897 @default.
- W2047650147 hasConceptScore W2047650147C41008148 @default.
- W2047650147 hasLocation W20476501471 @default.
- W2047650147 hasOpenAccess W2047650147 @default.
- W2047650147 hasPrimaryLocation W20476501471 @default.
- W2047650147 hasRelatedWork W14193191 @default.
- W2047650147 hasRelatedWork W1521083034 @default.
- W2047650147 hasRelatedWork W1571196178 @default.
- W2047650147 hasRelatedWork W163539143 @default.
- W2047650147 hasRelatedWork W1818561783 @default.
- W2047650147 hasRelatedWork W2005574148 @default.
- W2047650147 hasRelatedWork W2011270512 @default.
- W2047650147 hasRelatedWork W201976661 @default.
- W2047650147 hasRelatedWork W2023035194 @default.
- W2047650147 hasRelatedWork W2106192381 @default.
- W2047650147 hasRelatedWork W2110980218 @default.
- W2047650147 hasRelatedWork W2120897738 @default.
- W2047650147 hasRelatedWork W2129695855 @default.
- W2047650147 hasRelatedWork W2130970533 @default.
- W2047650147 hasRelatedWork W2137628566 @default.
- W2047650147 hasRelatedWork W2141080699 @default.
- W2047650147 hasRelatedWork W2149590446 @default.
- W2047650147 hasRelatedWork W2154942048 @default.
- W2047650147 hasRelatedWork W2162604396 @default.
- W2047650147 hasRelatedWork W3106373601 @default.
- W2047650147 isParatext "false" @default.
- W2047650147 isRetracted "false" @default.
- W2047650147 magId "2047650147" @default.
- W2047650147 workType "article" @default.