Matches in Wikidata for { <http://www.wikidata.org/entity/Q115044347> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q115044347 description "2005 nî lūn-bûn" @default.
- Q115044347 description "2005年の論文" @default.
- Q115044347 description "2005年学术文章" @default.
- Q115044347 description "2005年学术文章" @default.
- Q115044347 description "2005年学术文章" @default.
- Q115044347 description "2005年学术文章" @default.
- Q115044347 description "2005年学术文章" @default.
- Q115044347 description "2005年学术文章" @default.
- Q115044347 description "2005年學術文章" @default.
- Q115044347 description "2005年學術文章" @default.
- Q115044347 description "2005年學術文章" @default.
- Q115044347 description "2005年學術文章" @default.
- Q115044347 description "2005年學術文章" @default.
- Q115044347 description "2005년 논문" @default.
- Q115044347 description "article científic" @default.
- Q115044347 description "article scientific" @default.
- Q115044347 description "article scientifique" @default.
- Q115044347 description "articol științific" @default.
- Q115044347 description "articolo scientifico" @default.
- Q115044347 description "artigo científico" @default.
- Q115044347 description "artigo científico" @default.
- Q115044347 description "artigo científico" @default.
- Q115044347 description "artikel ilmiah" @default.
- Q115044347 description "artikull shkencor" @default.
- Q115044347 description "artikulong pang-agham" @default.
- Q115044347 description "artykuł naukowy" @default.
- Q115044347 description "artículo científico publicado en 2005" @default.
- Q115044347 description "artículu científicu espublizáu en 2005" @default.
- Q115044347 description "bilimsel makale" @default.
- Q115044347 description "bài báo khoa học" @default.
- Q115044347 description "naučni članak" @default.
- Q115044347 description "scienca artikolo" @default.
- Q115044347 description "scientific article published in 2005" @default.
- Q115044347 description "scientific article published in March 2005" @default.
- Q115044347 description "scientific article published in March 2005" @default.
- Q115044347 description "teaduslik artikkel" @default.
- Q115044347 description "tieteellinen artikkeli" @default.
- Q115044347 description "tudományos cikk" @default.
- Q115044347 description "vedecký článok" @default.
- Q115044347 description "vetenskaplig artikel" @default.
- Q115044347 description "videnskabelig artikel udgivet marts 2005" @default.
- Q115044347 description "vitenskapelig artikkel" @default.
- Q115044347 description "vitskapeleg artikkel" @default.
- Q115044347 description "vědecký článek" @default.
- Q115044347 description "wetenschappelijk artikel" @default.
- Q115044347 description "wissenschaftlicher Artikel" @default.
- Q115044347 description "επιστημονικό άρθρο" @default.
- Q115044347 description "мақолаи илмӣ" @default.
- Q115044347 description "наукова стаття, опублікована в березні 2005" @default.
- Q115044347 description "научна статия" @default.
- Q115044347 description "научная статья" @default.
- Q115044347 description "научни чланак" @default.
- Q115044347 description "научни чланак" @default.
- Q115044347 description "מאמר מדעי" @default.
- Q115044347 description "مقالة بحثية نشرت في مارس 2005" @default.
- Q115044347 description "মার্চ ২০০৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q115044347 description "บทความทางวิทยาศาสตร์" @default.
- Q115044347 description "სამეცნიერო სტატია" @default.
- Q115044347 name "An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols" @default.
- Q115044347 type Item @default.
- Q115044347 label "An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols" @default.
- Q115044347 prefLabel "An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols" @default.
- Q115044347 P1433 Q115044347-DCAB0014-DC12-4A9B-9AB2-832CEE1FD097 @default.
- Q115044347 P1476 Q115044347-E7E92461-860E-41D7-AAE8-8999446CF601 @default.
- Q115044347 P2093 Q115044347-57C0FF89-6FC6-4027-B95D-DC2C77C8F5B5 @default.
- Q115044347 P2093 Q115044347-5847A8E3-0594-48D9-906F-D6964B84232E @default.
- Q115044347 P304 Q115044347-34918ACA-174E-461B-821A-1F2199C36718 @default.
- Q115044347 P31 Q115044347-A0A9A432-6A3D-486F-BCF5-0D6E317D0CA8 @default.
- Q115044347 P356 Q115044347-C57D73F5-8EEF-456C-BA90-74105972B679 @default.
- Q115044347 P433 Q115044347-12066666-F564-47BF-89EF-2289E86A14F4 @default.
- Q115044347 P478 Q115044347-41A9ECB1-B692-4DE1-83A5-959CB2FCE852 @default.
- Q115044347 P577 Q115044347-11B5AD64-8806-4E3C-8EFD-C8622D403728 @default.
- Q115044347 P356 J.ENTCS.2004.05.021 @default.
- Q115044347 P1433 Q5358287 @default.
- Q115044347 P1476 "An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols" @default.
- Q115044347 P2093 "Alessandro Armando" @default.
- Q115044347 P2093 "Luca Compagna" @default.
- Q115044347 P304 "91-108" @default.
- Q115044347 P31 Q13442814 @default.
- Q115044347 P356 "10.1016/J.ENTCS.2004.05.021" @default.
- Q115044347 P433 "1" @default.
- Q115044347 P478 "125" @default.
- Q115044347 P577 "2005-03-01T00:00:00Z" @default.