Matches in Wikidata for { <http://www.wikidata.org/entity/Q114951414> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q114951414 description "2007 nî lūn-bûn" @default.
- Q114951414 description "2007年の論文" @default.
- Q114951414 description "2007年学术文章" @default.
- Q114951414 description "2007年学术文章" @default.
- Q114951414 description "2007年学术文章" @default.
- Q114951414 description "2007年学术文章" @default.
- Q114951414 description "2007年学术文章" @default.
- Q114951414 description "2007年学术文章" @default.
- Q114951414 description "2007年學術文章" @default.
- Q114951414 description "2007年學術文章" @default.
- Q114951414 description "2007年學術文章" @default.
- Q114951414 description "2007年學術文章" @default.
- Q114951414 description "2007年學術文章" @default.
- Q114951414 description "2007년 논문" @default.
- Q114951414 description "article científic" @default.
- Q114951414 description "article scientific" @default.
- Q114951414 description "article scientifique" @default.
- Q114951414 description "articol științific" @default.
- Q114951414 description "articolo scientifico" @default.
- Q114951414 description "artigo científico" @default.
- Q114951414 description "artigo científico" @default.
- Q114951414 description "artigo científico" @default.
- Q114951414 description "artikel ilmiah" @default.
- Q114951414 description "artikull shkencor" @default.
- Q114951414 description "artikulong pang-agham" @default.
- Q114951414 description "artykuł naukowy" @default.
- Q114951414 description "artículo científico publicado en 2007" @default.
- Q114951414 description "artículu científicu espublizáu en 2007" @default.
- Q114951414 description "bilimsel makale" @default.
- Q114951414 description "bài báo khoa học" @default.
- Q114951414 description "naučni članak" @default.
- Q114951414 description "scienca artikolo" @default.
- Q114951414 description "scientific article published in 2007" @default.
- Q114951414 description "scientific article published in 2007" @default.
- Q114951414 description "scientific article published in 2007" @default.
- Q114951414 description "teaduslik artikkel" @default.
- Q114951414 description "tieteellinen artikkeli" @default.
- Q114951414 description "tudományos cikk" @default.
- Q114951414 description "vedecký článok" @default.
- Q114951414 description "vetenskaplig artikel" @default.
- Q114951414 description "videnskabelig artikel udgivet 2007" @default.
- Q114951414 description "vitenskapelig artikkel" @default.
- Q114951414 description "vitskapeleg artikkel" @default.
- Q114951414 description "vědecký článek" @default.
- Q114951414 description "wetenschappelijk artikel" @default.
- Q114951414 description "wissenschaftlicher Artikel" @default.
- Q114951414 description "επιστημονικό άρθρο" @default.
- Q114951414 description "мақолаи илмӣ" @default.
- Q114951414 description "наукова стаття, опублікована у 2007" @default.
- Q114951414 description "научна статия" @default.
- Q114951414 description "научная статья" @default.
- Q114951414 description "научни чланак" @default.
- Q114951414 description "научни чланак" @default.
- Q114951414 description "מאמר מדעי" @default.
- Q114951414 description "مقالة بحثية نشرت في 2007" @default.
- Q114951414 description "২০০৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q114951414 description "บทความทางวิทยาศาสตร์" @default.
- Q114951414 description "სამეცნიერო სტატია" @default.
- Q114951414 name "On-the-fly Model Checking of Security Protocols and Its Implementation by Maude" @default.
- Q114951414 type Item @default.
- Q114951414 label "On-the-fly Model Checking of Security Protocols and Its Implementation by Maude" @default.
- Q114951414 prefLabel "On-the-fly Model Checking of Security Protocols and Its Implementation by Maude" @default.
- Q114951414 P1433 Q114951414-61BF9BD8-0CE6-4A9B-96FB-FC4079B7D2A7 @default.
- Q114951414 P1476 Q114951414-74AECEC6-8D4F-49FB-872C-03BD7342EAFA @default.
- Q114951414 P2093 Q114951414-22F476B8-A9B9-4CD2-9A5C-75E0DF526AF3 @default.
- Q114951414 P2093 Q114951414-BF2B863E-6C7B-4F8E-B171-0627A07450FF @default.
- Q114951414 P304 Q114951414-32F84A40-5A00-4D49-A80D-0DEC6D256AA8 @default.
- Q114951414 P31 Q114951414-5F9423D0-3490-4A58-ACEE-28542A663A02 @default.
- Q114951414 P356 Q114951414-BECBD120-A26E-499C-91BD-83A4D6D911CB @default.
- Q114951414 P478 Q114951414-BCDB0652-CD33-4632-93DE-B09E0EC89764 @default.
- Q114951414 P577 Q114951414-28F5EF6D-3EF0-429A-B218-ECF26878F06C @default.
- Q114951414 P356 IPSJDC.3.343 @default.
- Q114951414 P1433 Q96708535 @default.
- Q114951414 P1476 "On-the-fly Model Checking of Security Protocols and Its Implementation by Maude" @default.
- Q114951414 P2093 "Guoqiang Li" @default.
- Q114951414 P2093 "Mizuhito Ogawa" @default.
- Q114951414 P304 "343-368" @default.
- Q114951414 P31 Q13442814 @default.
- Q114951414 P356 "10.2197/IPSJDC.3.343" @default.
- Q114951414 P478 "3" @default.
- Q114951414 P577 "2007-01-01T00:00:00Z" @default.