Matches in Wikidata for { <http://www.wikidata.org/entity/Q114944782> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- Q114944782 description "2017 nî lūn-bûn" @default.
- Q114944782 description "2017年の論文" @default.
- Q114944782 description "2017年学术文章" @default.
- Q114944782 description "2017年学术文章" @default.
- Q114944782 description "2017年学术文章" @default.
- Q114944782 description "2017年学术文章" @default.
- Q114944782 description "2017年学术文章" @default.
- Q114944782 description "2017年学术文章" @default.
- Q114944782 description "2017年學術文章" @default.
- Q114944782 description "2017年學術文章" @default.
- Q114944782 description "2017年學術文章" @default.
- Q114944782 description "2017年學術文章" @default.
- Q114944782 description "2017年學術文章" @default.
- Q114944782 description "2017년 논문" @default.
- Q114944782 description "article científic" @default.
- Q114944782 description "article scientific" @default.
- Q114944782 description "article scientifique" @default.
- Q114944782 description "articol științific" @default.
- Q114944782 description "articolo scientifico" @default.
- Q114944782 description "artigo científico" @default.
- Q114944782 description "artigo científico" @default.
- Q114944782 description "artigo científico" @default.
- Q114944782 description "artikel ilmiah" @default.
- Q114944782 description "artikull shkencor" @default.
- Q114944782 description "artikulong pang-agham" @default.
- Q114944782 description "artykuł naukowy" @default.
- Q114944782 description "artículo científico publicado en 2017" @default.
- Q114944782 description "artículu científicu espublizáu en 2017" @default.
- Q114944782 description "bilimsel makale" @default.
- Q114944782 description "bài báo khoa học" @default.
- Q114944782 description "naučni članak" @default.
- Q114944782 description "scienca artikolo" @default.
- Q114944782 description "scientific article published in 2017" @default.
- Q114944782 description "scientific article published on 24 August 2017" @default.
- Q114944782 description "scientific article published on 24 August 2017" @default.
- Q114944782 description "teaduslik artikkel" @default.
- Q114944782 description "tieteellinen artikkeli" @default.
- Q114944782 description "tudományos cikk" @default.
- Q114944782 description "vedecký článok" @default.
- Q114944782 description "vetenskaplig artikel" @default.
- Q114944782 description "videnskabelig artikel udgivet 24. august 2017" @default.
- Q114944782 description "vitenskapelig artikkel" @default.
- Q114944782 description "vitskapeleg artikkel" @default.
- Q114944782 description "vědecký článek" @default.
- Q114944782 description "wetenschappelijk artikel" @default.
- Q114944782 description "wissenschaftlicher Artikel" @default.
- Q114944782 description "επιστημονικό άρθρο" @default.
- Q114944782 description "мақолаи илмӣ" @default.
- Q114944782 description "наукова стаття, опублікована в серпні 2017" @default.
- Q114944782 description "научна статия" @default.
- Q114944782 description "научная статья" @default.
- Q114944782 description "научни чланак" @default.
- Q114944782 description "научни чланак" @default.
- Q114944782 description "գիտական հոդված հրատարակված 2017 թվականին" @default.
- Q114944782 description "מאמר מדעי" @default.
- Q114944782 description "مقالة بحثية نشرت في 24 أغسطس 2017" @default.
- Q114944782 description "২৪ আগস্ট ২০১৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q114944782 description "บทความทางวิทยาศาสตร์" @default.
- Q114944782 description "სამეცნიერო სტატია" @default.
- Q114944782 name "An interpolation-based method for the verification of security protocols" @default.
- Q114944782 type Item @default.
- Q114944782 label "An interpolation-based method for the verification of security protocols" @default.
- Q114944782 prefLabel "An interpolation-based method for the verification of security protocols" @default.
- Q114944782 P1433 Q114944782-7B3483F0-0008-458D-BF03-26FDE373EFA8 @default.
- Q114944782 P1476 Q114944782-CCB0B447-BA9A-4C02-B334-0956DF170BFC @default.
- Q114944782 P2093 Q114944782-7F5B2C8E-428B-4BC5-80C2-84CAD36C690A @default.
- Q114944782 P2093 Q114944782-D5440200-4BC6-4AE1-989D-EB1A37DC03C2 @default.
- Q114944782 P2093 Q114944782-DA29424F-1897-4441-B056-BB0DBAA228CC @default.
- Q114944782 P304 Q114944782-96F25E79-E35C-4B75-A6EC-98DB15083681 @default.
- Q114944782 P31 Q114944782-A68F91A7-E318-43B8-8A02-B2DFCADEC9EF @default.
- Q114944782 P356 Q114944782-CDBFECE8-84E3-4C99-8DD4-367636D088EC @default.
- Q114944782 P433 Q114944782-3C6ECAA5-00AF-4223-AE4B-868A59F4F720 @default.
- Q114944782 P478 Q114944782-3CAC00AE-7B59-4F36-81F4-0F3ADDA6FA49 @default.
- Q114944782 P577 Q114944782-0101D44C-2EEE-424B-A792-B9CDEC726858 @default.
- Q114944782 P356 JCS-16832 @default.
- Q114944782 P1433 Q15749679 @default.
- Q114944782 P1476 "An interpolation-based method for the verification of security protocols" @default.
- Q114944782 P2093 "Luca Viganò" @default.
- Q114944782 P2093 "Marco Rocchetto" @default.
- Q114944782 P2093 "Marco Volpe" @default.
- Q114944782 P304 "463-510" @default.
- Q114944782 P31 Q13442814 @default.
- Q114944782 P356 "10.3233/JCS-16832" @default.
- Q114944782 P433 "6" @default.
- Q114944782 P478 "25" @default.
- Q114944782 P577 "2017-08-24T00:00:00Z" @default.