Matches in SemOpenAlex for { <https://semopenalex.org/work/W1532655983> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W1532655983 created "2016-06-24" @default.
- W1532655983 creator A5069634739 @default.
- W1532655983 date "1994-10-01" @default.
- W1532655983 modified "2023-09-26" @default.
- W1532655983 title "Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic" @default.
- W1532655983 hasPublicationYear "1994" @default.
- W1532655983 type Work @default.
- W1532655983 sameAs 1532655983 @default.
- W1532655983 citedByCount "0" @default.
- W1532655983 crossrefType "journal-article" @default.
- W1532655983 hasAuthorship W1532655983A5069634739 @default.
- W1532655983 hasConcept C10138342 @default.
- W1532655983 hasConcept C162324750 @default.
- W1532655983 hasConcept C17435882 @default.
- W1532655983 hasConcept C182306322 @default.
- W1532655983 hasConcept C199343813 @default.
- W1532655983 hasConcept C199360897 @default.
- W1532655983 hasConcept C206880738 @default.
- W1532655983 hasConcept C2777686260 @default.
- W1532655983 hasConcept C41008148 @default.
- W1532655983 hasConcept C71924100 @default.
- W1532655983 hasConceptScore W1532655983C10138342 @default.
- W1532655983 hasConceptScore W1532655983C162324750 @default.
- W1532655983 hasConceptScore W1532655983C17435882 @default.
- W1532655983 hasConceptScore W1532655983C182306322 @default.
- W1532655983 hasConceptScore W1532655983C199343813 @default.
- W1532655983 hasConceptScore W1532655983C199360897 @default.
- W1532655983 hasConceptScore W1532655983C206880738 @default.
- W1532655983 hasConceptScore W1532655983C2777686260 @default.
- W1532655983 hasConceptScore W1532655983C41008148 @default.
- W1532655983 hasConceptScore W1532655983C71924100 @default.
- W1532655983 hasIssue "4" @default.
- W1532655983 hasLocation W15326559831 @default.
- W1532655983 hasOpenAccess W1532655983 @default.
- W1532655983 hasPrimaryLocation W15326559831 @default.
- W1532655983 hasRelatedWork W123717385 @default.
- W1532655983 hasRelatedWork W1480487311 @default.
- W1532655983 hasRelatedWork W1486056499 @default.
- W1532655983 hasRelatedWork W1577102572 @default.
- W1532655983 hasVolume "4" @default.
- W1532655983 isParatext "false" @default.
- W1532655983 isRetracted "false" @default.
- W1532655983 magId "1532655983" @default.
- W1532655983 workType "article" @default.