Matches in SemOpenAlex for { <https://semopenalex.org/work/W315511896> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W315511896 endingPage "405" @default.
- W315511896 startingPage "390" @default.
- W315511896 created "2016-06-24" @default.
- W315511896 creator A5014646028 @default.
- W315511896 creator A5043210393 @default.
- W315511896 creator A5053173590 @default.
- W315511896 date "2014-01-01" @default.
- W315511896 modified "2023-09-25" @default.
- W315511896 title "An Isabelle Proof Method Language" @default.
- W315511896 cites W140235344 @default.
- W315511896 cites W1529227536 @default.
- W315511896 cites W1537943690 @default.
- W315511896 cites W2098959411 @default.
- W315511896 cites W2136310957 @default.
- W315511896 cites W2137076681 @default.
- W315511896 cites W2146530476 @default.
- W315511896 cites W2160230109 @default.
- W315511896 cites W4256124958 @default.
- W315511896 cites W81956812 @default.
- W315511896 doi "https://doi.org/10.1007/978-3-319-08970-6_25" @default.
- W315511896 hasPublicationYear "2014" @default.
- W315511896 type Work @default.
- W315511896 sameAs 315511896 @default.
- W315511896 citedByCount "17" @default.
- W315511896 countsByYear W3155118962014 @default.
- W315511896 countsByYear W3155118962015 @default.
- W315511896 countsByYear W3155118962016 @default.
- W315511896 countsByYear W3155118962017 @default.
- W315511896 crossrefType "book-chapter" @default.
- W315511896 hasAuthorship W315511896A5014646028 @default.
- W315511896 hasAuthorship W315511896A5043210393 @default.
- W315511896 hasAuthorship W315511896A5053173590 @default.
- W315511896 hasConcept C108710211 @default.
- W315511896 hasConcept C111919701 @default.
- W315511896 hasConcept C113843644 @default.
- W315511896 hasConcept C115903868 @default.
- W315511896 hasConcept C129307140 @default.
- W315511896 hasConcept C157915830 @default.
- W315511896 hasConcept C199360897 @default.
- W315511896 hasConcept C203265346 @default.
- W315511896 hasConcept C2524010 @default.
- W315511896 hasConcept C33923547 @default.
- W315511896 hasConcept C41008148 @default.
- W315511896 hasConceptScore W315511896C108710211 @default.
- W315511896 hasConceptScore W315511896C111919701 @default.
- W315511896 hasConceptScore W315511896C113843644 @default.
- W315511896 hasConceptScore W315511896C115903868 @default.
- W315511896 hasConceptScore W315511896C129307140 @default.
- W315511896 hasConceptScore W315511896C157915830 @default.
- W315511896 hasConceptScore W315511896C199360897 @default.
- W315511896 hasConceptScore W315511896C203265346 @default.
- W315511896 hasConceptScore W315511896C2524010 @default.
- W315511896 hasConceptScore W315511896C33923547 @default.
- W315511896 hasConceptScore W315511896C41008148 @default.
- W315511896 hasLocation W3155118961 @default.
- W315511896 hasOpenAccess W315511896 @default.
- W315511896 hasPrimaryLocation W3155118961 @default.
- W315511896 hasRelatedWork W1537343097 @default.
- W315511896 hasRelatedWork W160320105 @default.
- W315511896 hasRelatedWork W2023237006 @default.
- W315511896 hasRelatedWork W2115401928 @default.
- W315511896 hasRelatedWork W2293069733 @default.
- W315511896 hasRelatedWork W2347608685 @default.
- W315511896 hasRelatedWork W3096699876 @default.
- W315511896 hasRelatedWork W4281843089 @default.
- W315511896 hasRelatedWork W4376271928 @default.
- W315511896 hasRelatedWork W787793384 @default.
- W315511896 isParatext "false" @default.
- W315511896 isRetracted "false" @default.
- W315511896 magId "315511896" @default.
- W315511896 workType "book-chapter" @default.