Matches in SemOpenAlex for { <https://semopenalex.org/work/W168451675> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W168451675 endingPage "196" @default.
- W168451675 startingPage "175" @default.
- W168451675 created "2016-06-24" @default.
- W168451675 creator A5050440020 @default.
- W168451675 date "1992-06-22" @default.
- W168451675 modified "2023-09-23" @default.
- W168451675 title "Transformational Design in a Theorem Prover" @default.
- W168451675 hasPublicationYear "1992" @default.
- W168451675 type Work @default.
- W168451675 sameAs 168451675 @default.
- W168451675 citedByCount "4" @default.
- W168451675 crossrefType "journal-article" @default.
- W168451675 hasAuthorship W168451675A5050440020 @default.
- W168451675 hasConcept C15744967 @default.
- W168451675 hasConcept C199343813 @default.
- W168451675 hasConcept C199360897 @default.
- W168451675 hasConcept C206880738 @default.
- W168451675 hasConcept C2777686260 @default.
- W168451675 hasConcept C33923547 @default.
- W168451675 hasConcept C38775462 @default.
- W168451675 hasConcept C41008148 @default.
- W168451675 hasConcept C71924100 @default.
- W168451675 hasConcept C77805123 @default.
- W168451675 hasConceptScore W168451675C15744967 @default.
- W168451675 hasConceptScore W168451675C199343813 @default.
- W168451675 hasConceptScore W168451675C199360897 @default.
- W168451675 hasConceptScore W168451675C206880738 @default.
- W168451675 hasConceptScore W168451675C2777686260 @default.
- W168451675 hasConceptScore W168451675C33923547 @default.
- W168451675 hasConceptScore W168451675C38775462 @default.
- W168451675 hasConceptScore W168451675C41008148 @default.
- W168451675 hasConceptScore W168451675C71924100 @default.
- W168451675 hasConceptScore W168451675C77805123 @default.
- W168451675 hasLocation W1684516751 @default.
- W168451675 hasOpenAccess W168451675 @default.
- W168451675 hasPrimaryLocation W1684516751 @default.
- W168451675 hasRelatedWork W133949766 @default.
- W168451675 hasRelatedWork W154368879 @default.
- W168451675 hasRelatedWork W163707630 @default.
- W168451675 hasRelatedWork W17889614 @default.
- W168451675 hasRelatedWork W179065745 @default.
- W168451675 hasRelatedWork W2010445528 @default.
- W168451675 hasRelatedWork W2055082904 @default.
- W168451675 hasRelatedWork W2086027910 @default.
- W168451675 hasRelatedWork W2158022092 @default.
- W168451675 hasRelatedWork W2238631904 @default.
- W168451675 hasRelatedWork W2401255201 @default.
- W168451675 hasRelatedWork W2485764773 @default.
- W168451675 hasRelatedWork W2503161610 @default.
- W168451675 hasRelatedWork W2569856615 @default.
- W168451675 hasRelatedWork W3004100840 @default.
- W168451675 hasRelatedWork W593894321 @default.
- W168451675 hasRelatedWork W97894006 @default.
- W168451675 hasRelatedWork W1542579875 @default.
- W168451675 hasRelatedWork W2192184199 @default.
- W168451675 hasRelatedWork W2297848989 @default.
- W168451675 isParatext "false" @default.
- W168451675 isRetracted "false" @default.
- W168451675 magId "168451675" @default.
- W168451675 workType "article" @default.