Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912789136> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W2912789136 created "2019-02-21" @default.
- W2912789136 creator A5043936415 @default.
- W2912789136 date "1997-06-22" @default.
- W2912789136 modified "2023-09-28" @default.
- W2912789136 title "Proceedings of the 9th International Conference on Computer Aided Verification" @default.
- W2912789136 hasPublicationYear "1997" @default.
- W2912789136 type Work @default.
- W2912789136 sameAs 2912789136 @default.
- W2912789136 citedByCount "0" @default.
- W2912789136 crossrefType "journal-article" @default.
- W2912789136 hasAuthorship W2912789136A5043936415 @default.
- W2912789136 hasConcept C115903868 @default.
- W2912789136 hasConcept C121684516 @default.
- W2912789136 hasConcept C127413603 @default.
- W2912789136 hasConcept C199639397 @default.
- W2912789136 hasConcept C41008148 @default.
- W2912789136 hasConceptScore W2912789136C115903868 @default.
- W2912789136 hasConceptScore W2912789136C121684516 @default.
- W2912789136 hasConceptScore W2912789136C127413603 @default.
- W2912789136 hasConceptScore W2912789136C199639397 @default.
- W2912789136 hasConceptScore W2912789136C41008148 @default.
- W2912789136 hasLocation W29127891361 @default.
- W2912789136 hasOpenAccess W2912789136 @default.
- W2912789136 hasPrimaryLocation W29127891361 @default.
- W2912789136 hasRelatedWork W157630246 @default.
- W2912789136 hasRelatedWork W164665133 @default.
- W2912789136 hasRelatedWork W2018117058 @default.
- W2912789136 hasRelatedWork W2600381083 @default.
- W2912789136 hasRelatedWork W2911267893 @default.
- W2912789136 hasRelatedWork W2911847888 @default.
- W2912789136 hasRelatedWork W2911914055 @default.
- W2912789136 hasRelatedWork W2911960200 @default.
- W2912789136 hasRelatedWork W2912793039 @default.
- W2912789136 hasRelatedWork W2913004403 @default.
- W2912789136 hasRelatedWork W2913481670 @default.
- W2912789136 hasRelatedWork W2913988455 @default.
- W2912789136 hasRelatedWork W2914025548 @default.
- W2912789136 hasRelatedWork W2914133421 @default.
- W2912789136 hasRelatedWork W2914199386 @default.
- W2912789136 hasRelatedWork W2914790481 @default.
- W2912789136 hasRelatedWork W2914867207 @default.
- W2912789136 hasRelatedWork W2918034133 @default.
- W2912789136 hasRelatedWork W32448178 @default.
- W2912789136 hasRelatedWork W80790317 @default.
- W2912789136 isParatext "false" @default.
- W2912789136 isRetracted "false" @default.
- W2912789136 magId "2912789136" @default.
- W2912789136 workType "article" @default.