Matches in SemOpenAlex for { <https://semopenalex.org/work/W1851794350> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1851794350 endingPage "228" @default.
- W1851794350 startingPage "214" @default.
- W1851794350 created "2016-06-24" @default.
- W1851794350 creator A5057117767 @default.
- W1851794350 date "1995-01-01" @default.
- W1851794350 modified "2023-09-25" @default.
- W1851794350 title "A formulation of TLA in Isabelle" @default.
- W1851794350 cites W1506588809 @default.
- W1851794350 cites W1578491500 @default.
- W1851794350 cites W1582882984 @default.
- W1851794350 cites W1826166329 @default.
- W1851794350 cites W1867602655 @default.
- W1851794350 cites W2015688007 @default.
- W1851794350 cites W2060361043 @default.
- W1851794350 cites W4234528212 @default.
- W1851794350 doi "https://doi.org/10.1007/3-540-60275-5_67" @default.
- W1851794350 hasPublicationYear "1995" @default.
- W1851794350 type Work @default.
- W1851794350 sameAs 1851794350 @default.
- W1851794350 citedByCount "19" @default.
- W1851794350 crossrefType "book-chapter" @default.
- W1851794350 hasAuthorship W1851794350A5057117767 @default.
- W1851794350 hasConcept C108710211 @default.
- W1851794350 hasConcept C142362112 @default.
- W1851794350 hasConcept C153349607 @default.
- W1851794350 hasConcept C154945302 @default.
- W1851794350 hasConcept C186644900 @default.
- W1851794350 hasConcept C199343813 @default.
- W1851794350 hasConcept C199360897 @default.
- W1851794350 hasConcept C203265346 @default.
- W1851794350 hasConcept C206880738 @default.
- W1851794350 hasConcept C25016198 @default.
- W1851794350 hasConcept C2524010 @default.
- W1851794350 hasConcept C2777686260 @default.
- W1851794350 hasConcept C33923547 @default.
- W1851794350 hasConcept C41008148 @default.
- W1851794350 hasConcept C41608201 @default.
- W1851794350 hasConcept C558565934 @default.
- W1851794350 hasConcept C60048249 @default.
- W1851794350 hasConcept C71924100 @default.
- W1851794350 hasConcept C73301696 @default.
- W1851794350 hasConcept C80444323 @default.
- W1851794350 hasConceptScore W1851794350C108710211 @default.
- W1851794350 hasConceptScore W1851794350C142362112 @default.
- W1851794350 hasConceptScore W1851794350C153349607 @default.
- W1851794350 hasConceptScore W1851794350C154945302 @default.
- W1851794350 hasConceptScore W1851794350C186644900 @default.
- W1851794350 hasConceptScore W1851794350C199343813 @default.
- W1851794350 hasConceptScore W1851794350C199360897 @default.
- W1851794350 hasConceptScore W1851794350C203265346 @default.
- W1851794350 hasConceptScore W1851794350C206880738 @default.
- W1851794350 hasConceptScore W1851794350C25016198 @default.
- W1851794350 hasConceptScore W1851794350C2524010 @default.
- W1851794350 hasConceptScore W1851794350C2777686260 @default.
- W1851794350 hasConceptScore W1851794350C33923547 @default.
- W1851794350 hasConceptScore W1851794350C41008148 @default.
- W1851794350 hasConceptScore W1851794350C41608201 @default.
- W1851794350 hasConceptScore W1851794350C558565934 @default.
- W1851794350 hasConceptScore W1851794350C60048249 @default.
- W1851794350 hasConceptScore W1851794350C71924100 @default.
- W1851794350 hasConceptScore W1851794350C73301696 @default.
- W1851794350 hasConceptScore W1851794350C80444323 @default.
- W1851794350 hasLocation W18517943501 @default.
- W1851794350 hasOpenAccess W1851794350 @default.
- W1851794350 hasPrimaryLocation W18517943501 @default.
- W1851794350 hasRelatedWork W1606625991 @default.
- W1851794350 hasRelatedWork W1851794350 @default.
- W1851794350 hasRelatedWork W1998962249 @default.
- W1851794350 hasRelatedWork W2026046761 @default.
- W1851794350 hasRelatedWork W2070147537 @default.
- W1851794350 hasRelatedWork W2132843347 @default.
- W1851794350 hasRelatedWork W2368553372 @default.
- W1851794350 hasRelatedWork W2384808441 @default.
- W1851794350 hasRelatedWork W4235735989 @default.
- W1851794350 hasRelatedWork W2467097043 @default.
- W1851794350 isParatext "false" @default.
- W1851794350 isRetracted "false" @default.
- W1851794350 magId "1851794350" @default.
- W1851794350 workType "book-chapter" @default.