Matches in SemOpenAlex for { <https://semopenalex.org/work/W1632936788> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1632936788 abstract "The concept of locales for Isabelle enables local definition and assumption for interactive mechanical proofs. Furthermore, dependent types are constructed in Isabelle/HOL for first class representation of structure. These two concepts are introduced briefly. Although each of them has proved useful in itself, their real power lies in combination. This paper illustrates by examples from abstract algebra how this combination works and argues that it enables modular reasoning." @default.
- W1632936788 created "2016-06-24" @default.
- W1632936788 creator A5086739687 @default.
- W1632936788 date "2000-01-01" @default.
- W1632936788 modified "2023-09-25" @default.
- W1632936788 title "Modular Reasoning in Isabelle" @default.
- W1632936788 cites W1488122270 @default.
- W1632936788 cites W1553424190 @default.
- W1632936788 cites W1579218062 @default.
- W1632936788 cites W1989055264 @default.
- W1632936788 cites W2106895712 @default.
- W1632936788 cites W2137810559 @default.
- W1632936788 cites W4234528212 @default.
- W1632936788 doi "https://doi.org/10.1007/10721959_7" @default.
- W1632936788 hasPublicationYear "2000" @default.
- W1632936788 type Work @default.
- W1632936788 sameAs 1632936788 @default.
- W1632936788 citedByCount "7" @default.
- W1632936788 countsByYear W16329367882017 @default.
- W1632936788 crossrefType "book-chapter" @default.
- W1632936788 hasAuthorship W1632936788A5086739687 @default.
- W1632936788 hasConcept C101468663 @default.
- W1632936788 hasConcept C108710211 @default.
- W1632936788 hasConcept C154945302 @default.
- W1632936788 hasConcept C17435882 @default.
- W1632936788 hasConcept C17744445 @default.
- W1632936788 hasConcept C195818886 @default.
- W1632936788 hasConcept C199360897 @default.
- W1632936788 hasConcept C199539241 @default.
- W1632936788 hasConcept C203265346 @default.
- W1632936788 hasConcept C206880738 @default.
- W1632936788 hasConcept C2524010 @default.
- W1632936788 hasConcept C2776359362 @default.
- W1632936788 hasConcept C2777212361 @default.
- W1632936788 hasConcept C33923547 @default.
- W1632936788 hasConcept C41008148 @default.
- W1632936788 hasConcept C80444323 @default.
- W1632936788 hasConcept C94625758 @default.
- W1632936788 hasConceptScore W1632936788C101468663 @default.
- W1632936788 hasConceptScore W1632936788C108710211 @default.
- W1632936788 hasConceptScore W1632936788C154945302 @default.
- W1632936788 hasConceptScore W1632936788C17435882 @default.
- W1632936788 hasConceptScore W1632936788C17744445 @default.
- W1632936788 hasConceptScore W1632936788C195818886 @default.
- W1632936788 hasConceptScore W1632936788C199360897 @default.
- W1632936788 hasConceptScore W1632936788C199539241 @default.
- W1632936788 hasConceptScore W1632936788C203265346 @default.
- W1632936788 hasConceptScore W1632936788C206880738 @default.
- W1632936788 hasConceptScore W1632936788C2524010 @default.
- W1632936788 hasConceptScore W1632936788C2776359362 @default.
- W1632936788 hasConceptScore W1632936788C2777212361 @default.
- W1632936788 hasConceptScore W1632936788C33923547 @default.
- W1632936788 hasConceptScore W1632936788C41008148 @default.
- W1632936788 hasConceptScore W1632936788C80444323 @default.
- W1632936788 hasConceptScore W1632936788C94625758 @default.
- W1632936788 hasLocation W16329367881 @default.
- W1632936788 hasOpenAccess W1632936788 @default.
- W1632936788 hasPrimaryLocation W16329367881 @default.
- W1632936788 hasRelatedWork W1501686914 @default.
- W1632936788 hasRelatedWork W1559837903 @default.
- W1632936788 hasRelatedWork W1574652132 @default.
- W1632936788 hasRelatedWork W162001317 @default.
- W1632936788 hasRelatedWork W2025431400 @default.
- W1632936788 hasRelatedWork W2134801812 @default.
- W1632936788 hasRelatedWork W2166343916 @default.
- W1632936788 hasRelatedWork W2171313158 @default.
- W1632936788 hasRelatedWork W2279486733 @default.
- W1632936788 hasRelatedWork W2339645850 @default.
- W1632936788 hasRelatedWork W2414648896 @default.
- W1632936788 hasRelatedWork W2483392883 @default.
- W1632936788 hasRelatedWork W2544785648 @default.
- W1632936788 hasRelatedWork W2551021736 @default.
- W1632936788 hasRelatedWork W2610938931 @default.
- W1632936788 hasRelatedWork W2954029160 @default.
- W1632936788 hasRelatedWork W2962693849 @default.
- W1632936788 hasRelatedWork W2999767359 @default.
- W1632936788 hasRelatedWork W2472589939 @default.
- W1632936788 hasRelatedWork W2498152513 @default.
- W1632936788 isParatext "false" @default.
- W1632936788 isRetracted "false" @default.
- W1632936788 magId "1632936788" @default.
- W1632936788 workType "book-chapter" @default.