Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317757> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q113317757 description "2015 nî lūn-bûn" @default.
- Q113317757 description "2015年の論文" @default.
- Q113317757 description "2015年学术文章" @default.
- Q113317757 description "2015年学术文章" @default.
- Q113317757 description "2015年学术文章" @default.
- Q113317757 description "2015年学术文章" @default.
- Q113317757 description "2015年学术文章" @default.
- Q113317757 description "2015年学术文章" @default.
- Q113317757 description "2015年學術文章" @default.
- Q113317757 description "2015年學術文章" @default.
- Q113317757 description "2015年學術文章" @default.
- Q113317757 description "2015年學術文章" @default.
- Q113317757 description "2015年學術文章" @default.
- Q113317757 description "2015년 논문" @default.
- Q113317757 description "article científic" @default.
- Q113317757 description "article scientific" @default.
- Q113317757 description "article scientifique" @default.
- Q113317757 description "articol științific" @default.
- Q113317757 description "articolo scientifico" @default.
- Q113317757 description "artigo científico" @default.
- Q113317757 description "artigo científico" @default.
- Q113317757 description "artigo científico" @default.
- Q113317757 description "artikel ilmiah" @default.
- Q113317757 description "artikull shkencor" @default.
- Q113317757 description "artikulong pang-agham" @default.
- Q113317757 description "artykuł naukowy" @default.
- Q113317757 description "artículo científico publicado en 2015" @default.
- Q113317757 description "artículu científicu espublizáu en payares de 2015" @default.
- Q113317757 description "bilimsel makale" @default.
- Q113317757 description "bài báo khoa học" @default.
- Q113317757 description "naučni članak" @default.
- Q113317757 description "scienca artikolo" @default.
- Q113317757 description "scientific article published on 18 November 2015" @default.
- Q113317757 description "scientific article published on 18 November 2015" @default.
- Q113317757 description "scientific article published on 18 November 2015" @default.
- Q113317757 description "teaduslik artikkel" @default.
- Q113317757 description "tieteellinen artikkeli" @default.
- Q113317757 description "tudományos cikk" @default.
- Q113317757 description "vedecký článok" @default.
- Q113317757 description "vetenskaplig artikel" @default.
- Q113317757 description "videnskabelig artikel udgivet 18. november 2015" @default.
- Q113317757 description "vitenskapelig artikkel" @default.
- Q113317757 description "vitskapeleg artikkel" @default.
- Q113317757 description "vědecký článek" @default.
- Q113317757 description "wetenschappelijk artikel" @default.
- Q113317757 description "wissenschaftlicher Artikel" @default.
- Q113317757 description "επιστημονικό άρθρο" @default.
- Q113317757 description "мақолаи илмӣ" @default.
- Q113317757 description "наукова стаття, опублікована в листопаді 2015" @default.
- Q113317757 description "научна статия" @default.
- Q113317757 description "научная статья" @default.
- Q113317757 description "научни чланак" @default.
- Q113317757 description "научни чланак" @default.
- Q113317757 description "מאמר מדעי" @default.
- Q113317757 description "مقالة بحثية نشرت في 18 نوفمبر 2015" @default.
- Q113317757 description "১৮ নভেম্বর ২০১৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317757 description "บทความทางวิทยาศาสตร์" @default.
- Q113317757 description "სამეცნიერო სტატია" @default.
- Q113317757 name "AVERIST: An Algorithmic Verifier for Stability" @default.
- Q113317757 type Item @default.
- Q113317757 label "AVERIST: An Algorithmic Verifier for Stability" @default.
- Q113317757 prefLabel "AVERIST: An Algorithmic Verifier for Stability" @default.
- Q113317757 P1433 Q113317757-5B22B3E2-C259-4617-AEF4-B0E7CA704DFB @default.
- Q113317757 P1476 Q113317757-2D9EC62B-6C4B-4732-9C2D-6CB642CEA974 @default.
- Q113317757 P2093 Q113317757-6C3CDE60-E3A6-4B4B-BB89-83B13C90D747 @default.
- Q113317757 P2093 Q113317757-9E6101FB-63E6-4B0A-975A-BBEB93AE7E08 @default.
- Q113317757 P304 Q113317757-78207EC5-79CD-4F6F-AC60-4F9659622598 @default.
- Q113317757 P31 Q113317757-A51B7E2E-4138-455B-92F3-22635DC14D86 @default.
- Q113317757 P356 Q113317757-0CAE8B53-F303-40EB-885E-3DFD007C437C @default.
- Q113317757 P478 Q113317757-4AF9EF96-CCFA-460B-8530-0923D563C1B0 @default.
- Q113317757 P577 Q113317757-E6F6D0A7-3188-43BD-98E6-C59447D21D5F @default.
- Q113317757 P356 J.ENTCS.2015.10.013 @default.
- Q113317757 P1433 Q5358287 @default.
- Q113317757 P1476 "AVERIST: An Algorithmic Verifier for Stability" @default.
- Q113317757 P2093 "Miriam García Soto" @default.
- Q113317757 P2093 "Pavithra Prabhakar" @default.
- Q113317757 P304 "133-139" @default.
- Q113317757 P31 Q13442814 @default.
- Q113317757 P356 "10.1016/J.ENTCS.2015.10.013" @default.
- Q113317757 P478 "317" @default.
- Q113317757 P577 "2015-11-18T00:00:00Z" @default.