Matches in SemOpenAlex for { <https://semopenalex.org/work/W2338570645> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2338570645 abstract "The theorem prover Isabelle and several of its object-logics are described. Where other papers [15] have been concerned with theory, the emphasis here is completely practical: the operations, commands, data structures, and organization of Isabelle. This information could beneflt both users of Isabelle and implementors of other systems." @default.
- W2338570645 created "2016-06-24" @default.
- W2338570645 creator A5086565312 @default.
- W2338570645 date "1988-01-01" @default.
- W2338570645 modified "2023-09-23" @default.
- W2338570645 title "A preliminary users manual for Isabelle" @default.
- W2338570645 cites W1486384786 @default.
- W2338570645 cites W1487403858 @default.
- W2338570645 cites W1520936552 @default.
- W2338570645 cites W1529646094 @default.
- W2338570645 cites W1602563381 @default.
- W2338570645 cites W1741698332 @default.
- W2338570645 cites W1925601792 @default.
- W2338570645 cites W1993950655 @default.
- W2338570645 cites W1995955735 @default.
- W2338570645 cites W2034676877 @default.
- W2338570645 cites W2062968803 @default.
- W2338570645 cites W2070577487 @default.
- W2338570645 cites W2109703800 @default.
- W2338570645 cites W2126583599 @default.
- W2338570645 cites W2128057448 @default.
- W2338570645 cites W569543113 @default.
- W2338570645 hasPublicationYear "1988" @default.
- W2338570645 type Work @default.
- W2338570645 sameAs 2338570645 @default.
- W2338570645 citedByCount "7" @default.
- W2338570645 countsByYear W23385706452019 @default.
- W2338570645 crossrefType "journal-article" @default.
- W2338570645 hasAuthorship W2338570645A5086565312 @default.
- W2338570645 hasConcept C108710211 @default.
- W2338570645 hasConcept C115903868 @default.
- W2338570645 hasConcept C199343813 @default.
- W2338570645 hasConcept C199360897 @default.
- W2338570645 hasConcept C203265346 @default.
- W2338570645 hasConcept C206880738 @default.
- W2338570645 hasConcept C2524010 @default.
- W2338570645 hasConcept C2777686260 @default.
- W2338570645 hasConcept C33923547 @default.
- W2338570645 hasConcept C41008148 @default.
- W2338570645 hasConcept C71924100 @default.
- W2338570645 hasConcept C73752529 @default.
- W2338570645 hasConceptScore W2338570645C108710211 @default.
- W2338570645 hasConceptScore W2338570645C115903868 @default.
- W2338570645 hasConceptScore W2338570645C199343813 @default.
- W2338570645 hasConceptScore W2338570645C199360897 @default.
- W2338570645 hasConceptScore W2338570645C203265346 @default.
- W2338570645 hasConceptScore W2338570645C206880738 @default.
- W2338570645 hasConceptScore W2338570645C2524010 @default.
- W2338570645 hasConceptScore W2338570645C2777686260 @default.
- W2338570645 hasConceptScore W2338570645C33923547 @default.
- W2338570645 hasConceptScore W2338570645C41008148 @default.
- W2338570645 hasConceptScore W2338570645C71924100 @default.
- W2338570645 hasConceptScore W2338570645C73752529 @default.
- W2338570645 hasLocation W23385706451 @default.
- W2338570645 hasOpenAccess W2338570645 @default.
- W2338570645 hasPrimaryLocation W23385706451 @default.
- W2338570645 hasRelatedWork W101296552 @default.
- W2338570645 hasRelatedWork W1563498307 @default.
- W2338570645 hasRelatedWork W1741698332 @default.
- W2338570645 hasRelatedWork W1995955735 @default.
- W2338570645 hasRelatedWork W2070577487 @default.
- W2338570645 hasRelatedWork W2099694937 @default.
- W2338570645 hasRelatedWork W2104702920 @default.
- W2338570645 hasRelatedWork W2290529759 @default.
- W2338570645 hasRelatedWork W2483392883 @default.
- W2338570645 hasRelatedWork W2625783964 @default.
- W2338570645 hasRelatedWork W266135116 @default.
- W2338570645 hasRelatedWork W2734056180 @default.
- W2338570645 hasRelatedWork W2777315468 @default.
- W2338570645 hasRelatedWork W2883813939 @default.
- W2338570645 hasRelatedWork W2954141661 @default.
- W2338570645 hasRelatedWork W2962693849 @default.
- W2338570645 hasRelatedWork W3042276534 @default.
- W2338570645 hasRelatedWork W3099943942 @default.
- W2338570645 hasRelatedWork W3101686146 @default.
- W2338570645 hasRelatedWork W76860425 @default.
- W2338570645 isParatext "false" @default.
- W2338570645 isRetracted "false" @default.
- W2338570645 magId "2338570645" @default.
- W2338570645 workType "article" @default.