Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104702920> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2104702920 abstract "Note: this document is part of the earlier Isabelle documentation, which is largely superseded by the Isabelle/HOL Tutorial [9]. It describes the oldstyle theory syntax and shows how to conduct proofs using the ML top level. This style of interaction is largely obsolete: most Isabelle proofs are now written using the Isar language and the Proof General interface. However, this paper contains valuable information that is not available elsewhere. Its examples are based on first-order logic rather than higher-order logic." @default.
- W2104702920 created "2016-06-24" @default.
- W2104702920 creator A5086565312 @default.
- W2104702920 date "2009-01-01" @default.
- W2104702920 modified "2023-09-26" @default.
- W2104702920 title "Old Introduction to Isabelle" @default.
- W2104702920 cites W1484366641 @default.
- W2104702920 cites W1498523273 @default.
- W2104702920 cites W1506492451 @default.
- W2104702920 cites W1511500798 @default.
- W2104702920 cites W1521083034 @default.
- W2104702920 cites W1544536920 @default.
- W2104702920 cites W1661076342 @default.
- W2104702920 cites W1741698332 @default.
- W2104702920 cites W1993950655 @default.
- W2104702920 cites W1995955735 @default.
- W2104702920 cites W2020784851 @default.
- W2104702920 cites W2034676877 @default.
- W2104702920 cites W2050702141 @default.
- W2104702920 cites W2070577487 @default.
- W2104702920 cites W2078334802 @default.
- W2104702920 cites W2106192381 @default.
- W2104702920 cites W2126583599 @default.
- W2104702920 cites W2137702965 @default.
- W2104702920 cites W2156926516 @default.
- W2104702920 cites W2166216731 @default.
- W2104702920 hasPublicationYear "2009" @default.
- W2104702920 type Work @default.
- W2104702920 sameAs 2104702920 @default.
- W2104702920 citedByCount "0" @default.
- W2104702920 crossrefType "journal-article" @default.
- W2104702920 hasAuthorship W2104702920A5086565312 @default.
- W2104702920 hasConcept C102993220 @default.
- W2104702920 hasConcept C108710211 @default.
- W2104702920 hasConcept C113843644 @default.
- W2104702920 hasConcept C129307140 @default.
- W2104702920 hasConcept C154945302 @default.
- W2104702920 hasConcept C157915830 @default.
- W2104702920 hasConcept C169896238 @default.
- W2104702920 hasConcept C173608175 @default.
- W2104702920 hasConcept C17435882 @default.
- W2104702920 hasConcept C199343813 @default.
- W2104702920 hasConcept C199360897 @default.
- W2104702920 hasConcept C203265346 @default.
- W2104702920 hasConcept C2524010 @default.
- W2104702920 hasConcept C2777686260 @default.
- W2104702920 hasConcept C33923547 @default.
- W2104702920 hasConcept C41008148 @default.
- W2104702920 hasConcept C56666940 @default.
- W2104702920 hasConcept C60048249 @default.
- W2104702920 hasConcept C71924100 @default.
- W2104702920 hasConceptScore W2104702920C102993220 @default.
- W2104702920 hasConceptScore W2104702920C108710211 @default.
- W2104702920 hasConceptScore W2104702920C113843644 @default.
- W2104702920 hasConceptScore W2104702920C129307140 @default.
- W2104702920 hasConceptScore W2104702920C154945302 @default.
- W2104702920 hasConceptScore W2104702920C157915830 @default.
- W2104702920 hasConceptScore W2104702920C169896238 @default.
- W2104702920 hasConceptScore W2104702920C173608175 @default.
- W2104702920 hasConceptScore W2104702920C17435882 @default.
- W2104702920 hasConceptScore W2104702920C199343813 @default.
- W2104702920 hasConceptScore W2104702920C199360897 @default.
- W2104702920 hasConceptScore W2104702920C203265346 @default.
- W2104702920 hasConceptScore W2104702920C2524010 @default.
- W2104702920 hasConceptScore W2104702920C2777686260 @default.
- W2104702920 hasConceptScore W2104702920C33923547 @default.
- W2104702920 hasConceptScore W2104702920C41008148 @default.
- W2104702920 hasConceptScore W2104702920C56666940 @default.
- W2104702920 hasConceptScore W2104702920C60048249 @default.
- W2104702920 hasConceptScore W2104702920C71924100 @default.
- W2104702920 hasLocation W21047029201 @default.
- W2104702920 hasOpenAccess W2104702920 @default.
- W2104702920 hasPrimaryLocation W21047029201 @default.
- W2104702920 hasRelatedWork W1563498307 @default.
- W2104702920 hasRelatedWork W1585401881 @default.
- W2104702920 hasRelatedWork W2020060548 @default.
- W2104702920 hasRelatedWork W2561994002 @default.
- W2104702920 hasRelatedWork W2625783964 @default.
- W2104702920 hasRelatedWork W2625847401 @default.
- W2104702920 hasRelatedWork W266135116 @default.
- W2104702920 hasRelatedWork W2758106854 @default.
- W2104702920 hasRelatedWork W2883813939 @default.
- W2104702920 hasRelatedWork W2888810578 @default.
- W2104702920 hasRelatedWork W2954141661 @default.
- W2104702920 hasRelatedWork W2962693849 @default.
- W2104702920 hasRelatedWork W3023928742 @default.
- W2104702920 hasRelatedWork W3099943942 @default.
- W2104702920 hasRelatedWork W3100008024 @default.
- W2104702920 hasRelatedWork W315511896 @default.
- W2104702920 hasRelatedWork W3185513211 @default.
- W2104702920 hasRelatedWork W592501625 @default.
- W2104702920 hasRelatedWork W76860425 @default.
- W2104702920 hasRelatedWork W2335849263 @default.
- W2104702920 isParatext "false" @default.
- W2104702920 isRetracted "false" @default.
- W2104702920 magId "2104702920" @default.
- W2104702920 workType "article" @default.