Matches in SemOpenAlex for { <https://semopenalex.org/work/W76860425> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W76860425 endingPage "259" @default.
- W76860425 startingPage "244" @default.
- W76860425 created "2016-06-24" @default.
- W76860425 creator A5014646028 @default.
- W76860425 date "2011-01-01" @default.
- W76860425 modified "2023-09-25" @default.
- W76860425 title "Isabelle as Document-Oriented Proof Assistant" @default.
- W76860425 cites W1561664087 @default.
- W76860425 cites W1577521907 @default.
- W76860425 cites W1991450942 @default.
- W76860425 cites W2095761199 @default.
- W76860425 cites W2136219937 @default.
- W76860425 cites W2166604183 @default.
- W76860425 cites W2912911385 @default.
- W76860425 cites W2951995857 @default.
- W76860425 doi "https://doi.org/10.1007/978-3-642-22673-1_17" @default.
- W76860425 hasPublicationYear "2011" @default.
- W76860425 type Work @default.
- W76860425 sameAs 76860425 @default.
- W76860425 citedByCount "31" @default.
- W76860425 countsByYear W768604252012 @default.
- W76860425 countsByYear W768604252013 @default.
- W76860425 countsByYear W768604252014 @default.
- W76860425 countsByYear W768604252015 @default.
- W76860425 countsByYear W768604252016 @default.
- W76860425 countsByYear W768604252018 @default.
- W76860425 countsByYear W768604252019 @default.
- W76860425 countsByYear W768604252020 @default.
- W76860425 crossrefType "book-chapter" @default.
- W76860425 hasAuthorship W76860425A5014646028 @default.
- W76860425 hasConcept C108710211 @default.
- W76860425 hasConcept C11413529 @default.
- W76860425 hasConcept C159718280 @default.
- W76860425 hasConcept C17435882 @default.
- W76860425 hasConcept C199343813 @default.
- W76860425 hasConcept C199360897 @default.
- W76860425 hasConcept C203265346 @default.
- W76860425 hasConcept C206880738 @default.
- W76860425 hasConcept C2524010 @default.
- W76860425 hasConcept C2777686260 @default.
- W76860425 hasConcept C33923547 @default.
- W76860425 hasConcept C41008148 @default.
- W76860425 hasConcept C71924100 @default.
- W76860425 hasConcept C75606506 @default.
- W76860425 hasConcept C80444323 @default.
- W76860425 hasConceptScore W76860425C108710211 @default.
- W76860425 hasConceptScore W76860425C11413529 @default.
- W76860425 hasConceptScore W76860425C159718280 @default.
- W76860425 hasConceptScore W76860425C17435882 @default.
- W76860425 hasConceptScore W76860425C199343813 @default.
- W76860425 hasConceptScore W76860425C199360897 @default.
- W76860425 hasConceptScore W76860425C203265346 @default.
- W76860425 hasConceptScore W76860425C206880738 @default.
- W76860425 hasConceptScore W76860425C2524010 @default.
- W76860425 hasConceptScore W76860425C2777686260 @default.
- W76860425 hasConceptScore W76860425C33923547 @default.
- W76860425 hasConceptScore W76860425C41008148 @default.
- W76860425 hasConceptScore W76860425C71924100 @default.
- W76860425 hasConceptScore W76860425C75606506 @default.
- W76860425 hasConceptScore W76860425C80444323 @default.
- W76860425 hasLocation W768604251 @default.
- W76860425 hasOpenAccess W76860425 @default.
- W76860425 hasPrimaryLocation W768604251 @default.
- W76860425 hasRelatedWork W1515169568 @default.
- W76860425 hasRelatedWork W2049967603 @default.
- W76860425 hasRelatedWork W2100855196 @default.
- W76860425 hasRelatedWork W2140088091 @default.
- W76860425 hasRelatedWork W2579160749 @default.
- W76860425 hasRelatedWork W2606289262 @default.
- W76860425 hasRelatedWork W2886069053 @default.
- W76860425 hasRelatedWork W3125694439 @default.
- W76860425 hasRelatedWork W76860425 @default.
- W76860425 hasRelatedWork W2467505627 @default.
- W76860425 isParatext "false" @default.
- W76860425 isRetracted "false" @default.
- W76860425 magId "76860425" @default.
- W76860425 workType "book-chapter" @default.