Matches in SemOpenAlex for { <https://semopenalex.org/work/W121172116> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W121172116 endingPage "213" @default.
- W121172116 startingPage "177" @default.
- W121172116 created "2016-06-24" @default.
- W121172116 creator A5078214635 @default.
- W121172116 date "2005-11-13" @default.
- W121172116 modified "2023-09-25" @default.
- W121172116 title "Keys in Formal Verification" @default.
- W121172116 cites W120333500 @default.
- W121172116 cites W1497571013 @default.
- W121172116 cites W1535168632 @default.
- W121172116 cites W1548402307 @default.
- W121172116 cites W1552505815 @default.
- W121172116 cites W2027755003 @default.
- W121172116 cites W2043100293 @default.
- W121172116 cites W2132107743 @default.
- W121172116 doi "https://doi.org/10.1007/1-4020-3532-2_7" @default.
- W121172116 hasPublicationYear "2005" @default.
- W121172116 type Work @default.
- W121172116 sameAs 121172116 @default.
- W121172116 citedByCount "0" @default.
- W121172116 crossrefType "book-chapter" @default.
- W121172116 hasAuthorship W121172116A5078214635 @default.
- W121172116 hasConcept C108710211 @default.
- W121172116 hasConcept C110251889 @default.
- W121172116 hasConcept C111472728 @default.
- W121172116 hasConcept C111498074 @default.
- W121172116 hasConcept C118615104 @default.
- W121172116 hasConcept C124304363 @default.
- W121172116 hasConcept C138885662 @default.
- W121172116 hasConcept C140146324 @default.
- W121172116 hasConcept C15569618 @default.
- W121172116 hasConcept C199360897 @default.
- W121172116 hasConcept C25016198 @default.
- W121172116 hasConcept C2524010 @default.
- W121172116 hasConcept C2778003309 @default.
- W121172116 hasConcept C2779907942 @default.
- W121172116 hasConcept C30888246 @default.
- W121172116 hasConcept C33923547 @default.
- W121172116 hasConcept C41008148 @default.
- W121172116 hasConcept C4777664 @default.
- W121172116 hasConcept C80444323 @default.
- W121172116 hasConceptScore W121172116C108710211 @default.
- W121172116 hasConceptScore W121172116C110251889 @default.
- W121172116 hasConceptScore W121172116C111472728 @default.
- W121172116 hasConceptScore W121172116C111498074 @default.
- W121172116 hasConceptScore W121172116C118615104 @default.
- W121172116 hasConceptScore W121172116C124304363 @default.
- W121172116 hasConceptScore W121172116C138885662 @default.
- W121172116 hasConceptScore W121172116C140146324 @default.
- W121172116 hasConceptScore W121172116C15569618 @default.
- W121172116 hasConceptScore W121172116C199360897 @default.
- W121172116 hasConceptScore W121172116C25016198 @default.
- W121172116 hasConceptScore W121172116C2524010 @default.
- W121172116 hasConceptScore W121172116C2778003309 @default.
- W121172116 hasConceptScore W121172116C2779907942 @default.
- W121172116 hasConceptScore W121172116C30888246 @default.
- W121172116 hasConceptScore W121172116C33923547 @default.
- W121172116 hasConceptScore W121172116C41008148 @default.
- W121172116 hasConceptScore W121172116C4777664 @default.
- W121172116 hasConceptScore W121172116C80444323 @default.
- W121172116 hasLocation W1211721161 @default.
- W121172116 hasOpenAccess W121172116 @default.
- W121172116 hasPrimaryLocation W1211721161 @default.
- W121172116 hasRelatedWork W121172116 @default.
- W121172116 hasRelatedWork W1481201928 @default.
- W121172116 hasRelatedWork W1589294645 @default.
- W121172116 hasRelatedWork W1630138018 @default.
- W121172116 hasRelatedWork W1952054528 @default.
- W121172116 hasRelatedWork W1964652583 @default.
- W121172116 hasRelatedWork W2098376757 @default.
- W121172116 hasRelatedWork W2408063079 @default.
- W121172116 hasRelatedWork W2472692802 @default.
- W121172116 hasRelatedWork W2474628799 @default.
- W121172116 isParatext "false" @default.
- W121172116 isRetracted "false" @default.
- W121172116 magId "121172116" @default.
- W121172116 workType "book-chapter" @default.