Matches in SemOpenAlex for { <https://semopenalex.org/work/W72461306> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W72461306 endingPage "322" @default.
- W72461306 startingPage "303" @default.
- W72461306 created "2016-06-24" @default.
- W72461306 creator A5013598360 @default.
- W72461306 creator A5052539592 @default.
- W72461306 date "1989-01-01" @default.
- W72461306 modified "2023-09-24" @default.
- W72461306 title "The Interactive Proof Editor An Experiment in Interactive Theorem Proving" @default.
- W72461306 cites W1518675260 @default.
- W72461306 cites W1964071625 @default.
- W72461306 doi "https://doi.org/10.1007/978-1-4612-3658-0_7" @default.
- W72461306 hasPublicationYear "1989" @default.
- W72461306 type Work @default.
- W72461306 sameAs 72461306 @default.
- W72461306 citedByCount "4" @default.
- W72461306 countsByYear W724613062021 @default.
- W72461306 crossrefType "book-chapter" @default.
- W72461306 hasAuthorship W72461306A5013598360 @default.
- W72461306 hasAuthorship W72461306A5052539592 @default.
- W72461306 hasConcept C108710211 @default.
- W72461306 hasConcept C136119220 @default.
- W72461306 hasConcept C173613240 @default.
- W72461306 hasConcept C199343813 @default.
- W72461306 hasConcept C202444582 @default.
- W72461306 hasConcept C203265346 @default.
- W72461306 hasConcept C2524010 @default.
- W72461306 hasConcept C2777686260 @default.
- W72461306 hasConcept C33923547 @default.
- W72461306 hasConcept C41008148 @default.
- W72461306 hasConcept C71924100 @default.
- W72461306 hasConcept C80444323 @default.
- W72461306 hasConceptScore W72461306C108710211 @default.
- W72461306 hasConceptScore W72461306C136119220 @default.
- W72461306 hasConceptScore W72461306C173613240 @default.
- W72461306 hasConceptScore W72461306C199343813 @default.
- W72461306 hasConceptScore W72461306C202444582 @default.
- W72461306 hasConceptScore W72461306C203265346 @default.
- W72461306 hasConceptScore W72461306C2524010 @default.
- W72461306 hasConceptScore W72461306C2777686260 @default.
- W72461306 hasConceptScore W72461306C33923547 @default.
- W72461306 hasConceptScore W72461306C41008148 @default.
- W72461306 hasConceptScore W72461306C71924100 @default.
- W72461306 hasConceptScore W72461306C80444323 @default.
- W72461306 hasLocation W724613061 @default.
- W72461306 hasOpenAccess W72461306 @default.
- W72461306 hasPrimaryLocation W724613061 @default.
- W72461306 hasRelatedWork W1523338383 @default.
- W72461306 hasRelatedWork W1524804222 @default.
- W72461306 hasRelatedWork W1561664087 @default.
- W72461306 hasRelatedWork W2020589045 @default.
- W72461306 hasRelatedWork W2050283601 @default.
- W72461306 hasRelatedWork W2731252258 @default.
- W72461306 hasRelatedWork W3098927713 @default.
- W72461306 hasRelatedWork W3187382182 @default.
- W72461306 hasRelatedWork W3196023996 @default.
- W72461306 hasRelatedWork W4243888238 @default.
- W72461306 isParatext "false" @default.
- W72461306 isRetracted "false" @default.
- W72461306 magId "72461306" @default.
- W72461306 workType "book-chapter" @default.