Matches in SemOpenAlex for { <https://semopenalex.org/work/W2485337387> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2485337387 created "2016-08-23" @default.
- W2485337387 creator A5020300462 @default.
- W2485337387 date "1988-01-01" @default.
- W2485337387 modified "2023-09-27" @default.
- W2485337387 title "Simulation as an aid to verification using the HOL theorem prover" @default.
- W2485337387 hasPublicationYear "1988" @default.
- W2485337387 type Work @default.
- W2485337387 sameAs 2485337387 @default.
- W2485337387 citedByCount "5" @default.
- W2485337387 crossrefType "journal-article" @default.
- W2485337387 hasAuthorship W2485337387A5020300462 @default.
- W2485337387 hasConcept C108710211 @default.
- W2485337387 hasConcept C11413529 @default.
- W2485337387 hasConcept C118615104 @default.
- W2485337387 hasConcept C159718280 @default.
- W2485337387 hasConcept C17435882 @default.
- W2485337387 hasConcept C199343813 @default.
- W2485337387 hasConcept C199360897 @default.
- W2485337387 hasConcept C206880738 @default.
- W2485337387 hasConcept C2524010 @default.
- W2485337387 hasConcept C2777686260 @default.
- W2485337387 hasConcept C33923547 @default.
- W2485337387 hasConcept C41008148 @default.
- W2485337387 hasConcept C71924100 @default.
- W2485337387 hasConceptScore W2485337387C108710211 @default.
- W2485337387 hasConceptScore W2485337387C11413529 @default.
- W2485337387 hasConceptScore W2485337387C118615104 @default.
- W2485337387 hasConceptScore W2485337387C159718280 @default.
- W2485337387 hasConceptScore W2485337387C17435882 @default.
- W2485337387 hasConceptScore W2485337387C199343813 @default.
- W2485337387 hasConceptScore W2485337387C199360897 @default.
- W2485337387 hasConceptScore W2485337387C206880738 @default.
- W2485337387 hasConceptScore W2485337387C2524010 @default.
- W2485337387 hasConceptScore W2485337387C2777686260 @default.
- W2485337387 hasConceptScore W2485337387C33923547 @default.
- W2485337387 hasConceptScore W2485337387C41008148 @default.
- W2485337387 hasConceptScore W2485337387C71924100 @default.
- W2485337387 hasLocation W24853373871 @default.
- W2485337387 hasOpenAccess W2485337387 @default.
- W2485337387 hasPrimaryLocation W24853373871 @default.
- W2485337387 hasRelatedWork W120823771 @default.
- W2485337387 hasRelatedWork W133949766 @default.
- W2485337387 hasRelatedWork W1540896903 @default.
- W2485337387 hasRelatedWork W154368879 @default.
- W2485337387 hasRelatedWork W17889614 @default.
- W2485337387 hasRelatedWork W179065745 @default.
- W2485337387 hasRelatedWork W2010445528 @default.
- W2485337387 hasRelatedWork W2021284393 @default.
- W2485337387 hasRelatedWork W2055082904 @default.
- W2485337387 hasRelatedWork W2086027910 @default.
- W2485337387 hasRelatedWork W2158022092 @default.
- W2485337387 hasRelatedWork W2159811535 @default.
- W2485337387 hasRelatedWork W2401255201 @default.
- W2485337387 hasRelatedWork W27073727 @default.
- W2485337387 hasRelatedWork W3211235669 @default.
- W2485337387 hasRelatedWork W593894321 @default.
- W2485337387 hasRelatedWork W97894006 @default.
- W2485337387 hasRelatedWork W1542579875 @default.
- W2485337387 hasRelatedWork W2192184199 @default.
- W2485337387 hasRelatedWork W2297848989 @default.
- W2485337387 isParatext "false" @default.
- W2485337387 isRetracted "false" @default.
- W2485337387 magId "2485337387" @default.
- W2485337387 workType "article" @default.