Matches in SemOpenAlex for { <https://semopenalex.org/work/W2300757639> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2300757639 created "2016-06-24" @default.
- W2300757639 creator A5075266701 @default.
- W2300757639 date "2003-01-01" @default.
- W2300757639 modified "2023-09-23" @default.
- W2300757639 title "Formalization and Execution of STE in HOL" @default.
- W2300757639 hasPublicationYear "2003" @default.
- W2300757639 type Work @default.
- W2300757639 sameAs 2300757639 @default.
- W2300757639 citedByCount "2" @default.
- W2300757639 crossrefType "journal-article" @default.
- W2300757639 hasAuthorship W2300757639A5075266701 @default.
- W2300757639 hasConcept C17435882 @default.
- W2300757639 hasConcept C199360897 @default.
- W2300757639 hasConcept C41008148 @default.
- W2300757639 hasConceptScore W2300757639C17435882 @default.
- W2300757639 hasConceptScore W2300757639C199360897 @default.
- W2300757639 hasConceptScore W2300757639C41008148 @default.
- W2300757639 hasLocation W23007576391 @default.
- W2300757639 hasOpenAccess W2300757639 @default.
- W2300757639 hasPrimaryLocation W23007576391 @default.
- W2300757639 hasRelatedWork W1480474950 @default.
- W2300757639 hasRelatedWork W1544440708 @default.
- W2300757639 hasRelatedWork W1586786145 @default.
- W2300757639 hasRelatedWork W1587675319 @default.
- W2300757639 hasRelatedWork W1600435877 @default.
- W2300757639 hasRelatedWork W1607725044 @default.
- W2300757639 hasRelatedWork W1712305647 @default.
- W2300757639 hasRelatedWork W1785117661 @default.
- W2300757639 hasRelatedWork W198616183 @default.
- W2300757639 hasRelatedWork W2005941052 @default.
- W2300757639 hasRelatedWork W2144280226 @default.
- W2300757639 hasRelatedWork W2146402917 @default.
- W2300757639 hasRelatedWork W2297818114 @default.
- W2300757639 hasRelatedWork W2541706925 @default.
- W2300757639 hasRelatedWork W2573460936 @default.
- W2300757639 hasRelatedWork W2797934247 @default.
- W2300757639 hasRelatedWork W2806231403 @default.
- W2300757639 hasRelatedWork W2973352811 @default.
- W2300757639 hasRelatedWork W3133538130 @default.
- W2300757639 hasRelatedWork W3146661448 @default.
- W2300757639 isParatext "false" @default.
- W2300757639 isRetracted "false" @default.
- W2300757639 magId "2300757639" @default.
- W2300757639 workType "article" @default.