Matches in Wikidata for { <http://www.wikidata.org/entity/Q105694617> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q105694617 description "conference series" @default.
- Q105694617 description "conference series" @default.
- Q105694617 description "серія конференцій" @default.
- Q105694617 name "Automated Technology for Verification and Analysis" @default.
- Q105694617 name "Automated Technology for Verification and Analysis" @default.
- Q105694617 type Item @default.
- Q105694617 label "Automated Technology for Verification and Analysis" @default.
- Q105694617 label "Automated Technology for Verification and Analysis" @default.
- Q105694617 altLabel "ATVA" @default.
- Q105694617 altLabel "ATVA" @default.
- Q105694617 prefLabel "Automated Technology for Verification and Analysis" @default.
- Q105694617 prefLabel "Automated Technology for Verification and Analysis" @default.
- Q105694617 P1476 Q105694617-71D3CB5C-8641-4291-8E4A-F38C21D495B5 @default.
- Q105694617 P1813 Q105694617-739CADB4-16B0-40FF-BEDF-0B97B53ED125 @default.
- Q105694617 P214 Q105694617-7CCF7DB3-974D-4A43-AA19-823FE18AB271 @default.
- Q105694617 P31 Q105694617-AC99C901-87D4-4022-86A6-80F7AEBE0A02 @default.
- Q105694617 P5127 Q105694617-C0FAD8AC-3C72-492F-99CB-335D08BA1395 @default.
- Q105694617 P527 Q105694617-0CE34C7F-FF6E-4D99-AF7F-D95401332299 @default.
- Q105694617 P527 Q105694617-15B237E6-AF13-49CC-8EBD-D8C50222DFD5 @default.
- Q105694617 P527 Q105694617-478BD1AC-8F79-43B9-88A4-EF98CC40963F @default.
- Q105694617 P527 Q105694617-B5F051CD-2807-46A0-A8E0-25059780B28E @default.
- Q105694617 P527 Q105694617-B9FBEC41-5E64-4BBE-B5A6-0F0E9BCAFE5D @default.
- Q105694617 P6366 Q105694617-41B25785-9D17-4323-A3FC-02F0F0A1DDC4 @default.
- Q105694617 P856 Q105694617-82C8F482-2B40-4375-903F-AF6A6390A9CD @default.
- Q105694617 P8926 Q105694617-367A4F70-1F65-41AC-A5BD-45731CBF0484 @default.
- Q105694617 P973 Q105694617-9E101462-244F-4262-8AF0-48242DAF043A @default.
- Q105694617 P214 312858019 @default.
- Q105694617 P6366 1130464007 @default.
- Q105694617 P1476 "Automated Technology for Verification and Analysis" @default.
- Q105694617 P1813 "ATVA" @default.
- Q105694617 P214 "312858019" @default.
- Q105694617 P31 Q47258130 @default.
- Q105694617 P5127 "255" @default.
- Q105694617 P527 Q106242997 @default.
- Q105694617 P527 Q106242998 @default.
- Q105694617 P527 Q106242999 @default.
- Q105694617 P527 Q106243000 @default.
- Q105694617 P527 Q106243001 @default.
- Q105694617 P6366 "1130464007" @default.
- Q105694617 P856 atva-conference.org @default.
- Q105694617 P8926 "conf/atva" @default.
- Q105694617 P973 ATVA @default.