Matches in SemOpenAlex for { <https://semopenalex.org/work/W1545756543> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1545756543 abstract "In this paper, we present a system to improve the interaction between HOL and the user when doing proofs." @default.
- W1545756543 created "2016-06-24" @default.
- W1545756543 creator A5024129541 @default.
- W1545756543 date "1994-01-01" @default.
- W1545756543 modified "2023-09-27" @default.
- W1545756543 title "A proof development system for the HOL theorem prover" @default.
- W1545756543 cites W2501958301 @default.
- W1545756543 doi "https://doi.org/10.1007/3-540-57826-9_129" @default.
- W1545756543 hasPublicationYear "1994" @default.
- W1545756543 type Work @default.
- W1545756543 sameAs 1545756543 @default.
- W1545756543 citedByCount "4" @default.
- W1545756543 crossrefType "book-chapter" @default.
- W1545756543 hasAuthorship W1545756543A5024129541 @default.
- W1545756543 hasConcept C105605280 @default.
- W1545756543 hasConcept C108710211 @default.
- W1545756543 hasConcept C11413529 @default.
- W1545756543 hasConcept C118615104 @default.
- W1545756543 hasConcept C13766981 @default.
- W1545756543 hasConcept C159718280 @default.
- W1545756543 hasConcept C173613240 @default.
- W1545756543 hasConcept C17435882 @default.
- W1545756543 hasConcept C199343813 @default.
- W1545756543 hasConcept C199360897 @default.
- W1545756543 hasConcept C203265346 @default.
- W1545756543 hasConcept C206880738 @default.
- W1545756543 hasConcept C2318724 @default.
- W1545756543 hasConcept C2524010 @default.
- W1545756543 hasConcept C2777686260 @default.
- W1545756543 hasConcept C33923547 @default.
- W1545756543 hasConcept C41008148 @default.
- W1545756543 hasConcept C71924100 @default.
- W1545756543 hasConcept C80444323 @default.
- W1545756543 hasConceptScore W1545756543C105605280 @default.
- W1545756543 hasConceptScore W1545756543C108710211 @default.
- W1545756543 hasConceptScore W1545756543C11413529 @default.
- W1545756543 hasConceptScore W1545756543C118615104 @default.
- W1545756543 hasConceptScore W1545756543C13766981 @default.
- W1545756543 hasConceptScore W1545756543C159718280 @default.
- W1545756543 hasConceptScore W1545756543C173613240 @default.
- W1545756543 hasConceptScore W1545756543C17435882 @default.
- W1545756543 hasConceptScore W1545756543C199343813 @default.
- W1545756543 hasConceptScore W1545756543C199360897 @default.
- W1545756543 hasConceptScore W1545756543C203265346 @default.
- W1545756543 hasConceptScore W1545756543C206880738 @default.
- W1545756543 hasConceptScore W1545756543C2318724 @default.
- W1545756543 hasConceptScore W1545756543C2524010 @default.
- W1545756543 hasConceptScore W1545756543C2777686260 @default.
- W1545756543 hasConceptScore W1545756543C33923547 @default.
- W1545756543 hasConceptScore W1545756543C41008148 @default.
- W1545756543 hasConceptScore W1545756543C71924100 @default.
- W1545756543 hasConceptScore W1545756543C80444323 @default.
- W1545756543 hasLocation W15457565431 @default.
- W1545756543 hasOpenAccess W1545756543 @default.
- W1545756543 hasPrimaryLocation W15457565431 @default.
- W1545756543 hasRelatedWork W1495637379 @default.
- W1545756543 hasRelatedWork W1503614434 @default.
- W1545756543 hasRelatedWork W1519461144 @default.
- W1545756543 hasRelatedWork W1554332819 @default.
- W1545756543 hasRelatedWork W1556427327 @default.
- W1545756543 hasRelatedWork W1592672507 @default.
- W1545756543 hasRelatedWork W1598377457 @default.
- W1545756543 hasRelatedWork W1679836515 @default.
- W1545756543 hasRelatedWork W17889614 @default.
- W1545756543 hasRelatedWork W2020589045 @default.
- W1545756543 hasRelatedWork W2021284393 @default.
- W1545756543 hasRelatedWork W2091015996 @default.
- W1545756543 hasRelatedWork W2914344498 @default.
- W1545756543 hasRelatedWork W2914503058 @default.
- W1545756543 hasRelatedWork W3004100840 @default.
- W1545756543 hasRelatedWork W3204438756 @default.
- W1545756543 hasRelatedWork W47175013 @default.
- W1545756543 hasRelatedWork W63122532 @default.
- W1545756543 hasRelatedWork W97894006 @default.
- W1545756543 hasRelatedWork W2192184199 @default.
- W1545756543 isParatext "false" @default.
- W1545756543 isRetracted "false" @default.
- W1545756543 magId "1545756543" @default.
- W1545756543 workType "book-chapter" @default.