Matches in Wikidata for { <http://www.wikidata.org/entity/Q115148418> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- Q115148418 description "2015 nî lūn-bûn" @default.
- Q115148418 description "2015年の論文" @default.
- Q115148418 description "2015年学术文章" @default.
- Q115148418 description "2015年学术文章" @default.
- Q115148418 description "2015年学术文章" @default.
- Q115148418 description "2015年学术文章" @default.
- Q115148418 description "2015年学术文章" @default.
- Q115148418 description "2015年学术文章" @default.
- Q115148418 description "2015年學術文章" @default.
- Q115148418 description "2015年學術文章" @default.
- Q115148418 description "2015年學術文章" @default.
- Q115148418 description "2015年學術文章" @default.
- Q115148418 description "2015年學術文章" @default.
- Q115148418 description "2015년 논문" @default.
- Q115148418 description "article científic" @default.
- Q115148418 description "article scientific" @default.
- Q115148418 description "article scientifique" @default.
- Q115148418 description "articol științific" @default.
- Q115148418 description "articolo scientifico" @default.
- Q115148418 description "artigo científico" @default.
- Q115148418 description "artigo científico" @default.
- Q115148418 description "artigo científico" @default.
- Q115148418 description "artikel ilmiah" @default.
- Q115148418 description "artikull shkencor" @default.
- Q115148418 description "artikulong pang-agham" @default.
- Q115148418 description "artykuł naukowy" @default.
- Q115148418 description "artículo científico publicado en 2015" @default.
- Q115148418 description "artículu científicu" @default.
- Q115148418 description "bilimsel makale" @default.
- Q115148418 description "bài báo khoa học" @default.
- Q115148418 description "naučni članak" @default.
- Q115148418 description "scienca artikolo" @default.
- Q115148418 description "scientific article published in 2015" @default.
- Q115148418 description "scientific article published on 3 June 2015" @default.
- Q115148418 description "scientific article published on 3 June 2015" @default.
- Q115148418 description "teaduslik artikkel" @default.
- Q115148418 description "tieteellinen artikkeli" @default.
- Q115148418 description "tudományos cikk" @default.
- Q115148418 description "vedecký článok" @default.
- Q115148418 description "vetenskaplig artikel" @default.
- Q115148418 description "videnskabelig artikel udgivet 3. juni 2015" @default.
- Q115148418 description "vitenskapelig artikkel" @default.
- Q115148418 description "vitskapeleg artikkel" @default.
- Q115148418 description "vědecký článek" @default.
- Q115148418 description "wetenschappelijk artikel" @default.
- Q115148418 description "wissenschaftlicher Artikel" @default.
- Q115148418 description "επιστημονικό άρθρο" @default.
- Q115148418 description "мақолаи илмӣ" @default.
- Q115148418 description "наукова стаття, опублікована в червні 2015" @default.
- Q115148418 description "научна статия" @default.
- Q115148418 description "научная статья" @default.
- Q115148418 description "научни чланак" @default.
- Q115148418 description "научни чланак" @default.
- Q115148418 description "מאמר מדעי" @default.
- Q115148418 description "مقالة بحثية نشرت في 3 يونيو 2015" @default.
- Q115148418 description "৩ জুন ২০১৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q115148418 description "บทความทางวิทยาศาสตร์" @default.
- Q115148418 description "სამეცნიერო სტატია" @default.
- Q115148418 name "SATMC: a SAT-based model checker for security protocols, business processes, and security APIs" @default.
- Q115148418 type Item @default.
- Q115148418 label "SATMC: a SAT-based model checker for security protocols, business processes, and security APIs" @default.
- Q115148418 prefLabel "SATMC: a SAT-based model checker for security protocols, business processes, and security APIs" @default.
- Q115148418 P1433 Q115148418-B61A8D07-B527-46BE-A7F0-8AD7743F368E @default.
- Q115148418 P1476 Q115148418-90A5CC7F-4EEA-405D-9022-55E883434E59 @default.
- Q115148418 P2093 Q115148418-0BEDADDB-26CF-4AE4-8E7D-439843FAB8ED @default.
- Q115148418 P2093 Q115148418-30647080-0FBE-4B82-A37E-EEC1D44FCC22 @default.
- Q115148418 P2093 Q115148418-B78B87A5-C493-48AA-B89A-D3D56F713350 @default.
- Q115148418 P304 Q115148418-1A5D875F-B662-4F0B-8C37-0EB6CE68F16C @default.
- Q115148418 P31 Q115148418-E1EA619A-DBE9-49A4-9D00-5FCC37DDF5C3 @default.
- Q115148418 P356 Q115148418-0CCC1244-29AB-4B98-8106-121E9DDE366F @default.
- Q115148418 P433 Q115148418-F01D3E50-2E2B-47DC-9082-3485A1EDD88B @default.
- Q115148418 P478 Q115148418-9C5B9CCB-431A-4B1E-B716-C58A12AFA5A6 @default.
- Q115148418 P577 Q115148418-D14491AA-C054-44F3-8498-0CDFD68C9590 @default.
- Q115148418 P356 S10009-015-0385-Y @default.
- Q115148418 P1433 Q15762441 @default.
- Q115148418 P1476 "SATMC: a SAT-based model checker for security protocols, business processes, and security APIs" @default.
- Q115148418 P2093 "Alessandro Armando" @default.
- Q115148418 P2093 "Luca Compagna" @default.
- Q115148418 P2093 "Roberto Carbone" @default.
- Q115148418 P304 "187-204" @default.
- Q115148418 P31 Q13442814 @default.
- Q115148418 P356 "10.1007/S10009-015-0385-Y" @default.
- Q115148418 P433 "2" @default.
- Q115148418 P478 "18" @default.
- Q115148418 P577 "2015-06-03T00:00:00Z" @default.