Matches in Wikidata for { <http://www.wikidata.org/entity/Q113701271> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q113701271 description "2017 nî lūn-bûn" @default.
- Q113701271 description "2017年の論文" @default.
- Q113701271 description "2017年学术文章" @default.
- Q113701271 description "2017年学术文章" @default.
- Q113701271 description "2017年学术文章" @default.
- Q113701271 description "2017年学术文章" @default.
- Q113701271 description "2017年学术文章" @default.
- Q113701271 description "2017年学术文章" @default.
- Q113701271 description "2017年學術文章" @default.
- Q113701271 description "2017年學術文章" @default.
- Q113701271 description "2017年學術文章" @default.
- Q113701271 description "2017年學術文章" @default.
- Q113701271 description "2017年學術文章" @default.
- Q113701271 description "2017년 논문" @default.
- Q113701271 description "article científic" @default.
- Q113701271 description "article scientific" @default.
- Q113701271 description "article scientifique" @default.
- Q113701271 description "articol științific" @default.
- Q113701271 description "articolo scientifico" @default.
- Q113701271 description "artigo científico" @default.
- Q113701271 description "artigo científico" @default.
- Q113701271 description "artigo científico" @default.
- Q113701271 description "artikel ilmiah" @default.
- Q113701271 description "artikull shkencor" @default.
- Q113701271 description "artikulong pang-agham" @default.
- Q113701271 description "artykuł naukowy" @default.
- Q113701271 description "artículo científico publicado en 2017" @default.
- Q113701271 description "artículu científicu espublizáu en 2017" @default.
- Q113701271 description "bilimsel makale" @default.
- Q113701271 description "bài báo khoa học" @default.
- Q113701271 description "naučni članak" @default.
- Q113701271 description "scienca artikolo" @default.
- Q113701271 description "scientific article published in 2017" @default.
- Q113701271 description "scientific article published on 16 March 2017" @default.
- Q113701271 description "scientific article published on 16 March 2017" @default.
- Q113701271 description "teaduslik artikkel" @default.
- Q113701271 description "tieteellinen artikkeli" @default.
- Q113701271 description "tudományos cikk" @default.
- Q113701271 description "vedecký článok" @default.
- Q113701271 description "vetenskaplig artikel" @default.
- Q113701271 description "videnskabelig artikel udgivet 16. marts 2017" @default.
- Q113701271 description "vitenskapelig artikkel" @default.
- Q113701271 description "vitskapeleg artikkel" @default.
- Q113701271 description "vědecký článek" @default.
- Q113701271 description "wetenschappelijk artikel" @default.
- Q113701271 description "wissenschaftlicher Artikel" @default.
- Q113701271 description "επιστημονικό άρθρο" @default.
- Q113701271 description "мақолаи илмӣ" @default.
- Q113701271 description "наукова стаття, опублікована в березні 2017" @default.
- Q113701271 description "научна статия" @default.
- Q113701271 description "научная статья" @default.
- Q113701271 description "научни чланак" @default.
- Q113701271 description "научни чланак" @default.
- Q113701271 description "מאמר מדעי" @default.
- Q113701271 description "مقالة بحثية نشرت في 16 مارس 2017" @default.
- Q113701271 description "১৬ মার্চ ২০১৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113701271 description "บทความทางวิทยาศาสตร์" @default.
- Q113701271 description "სამეცნიერო სტატია" @default.
- Q113701271 name "From qualitative to quantitative proofs of security properties using first-order conditional logic1" @default.
- Q113701271 type Item @default.
- Q113701271 label "From qualitative to quantitative proofs of security properties using first-order conditional logic1" @default.
- Q113701271 prefLabel "From qualitative to quantitative proofs of security properties using first-order conditional logic1" @default.
- Q113701271 P1433 Q113701271-DD2EF40E-1C47-4944-97CD-4191DF2C3FF4 @default.
- Q113701271 P1476 Q113701271-1D3427E1-CD19-48A3-9AE1-E54A417AB480 @default.
- Q113701271 P2093 Q113701271-3FD5C19F-9B1D-4CEB-8B35-76FA0599BD70 @default.
- Q113701271 P304 Q113701271-53E0514A-7359-473F-859D-5DE7CEE9BDE7 @default.
- Q113701271 P31 Q113701271-45617399-B93A-4801-834D-BBBEEF8D8E62 @default.
- Q113701271 P356 Q113701271-8D56354A-EBE5-4E2E-A9F9-070303D00CB2 @default.
- Q113701271 P433 Q113701271-6FCFAD09-AD3E-4E3A-BB4B-2194F769EDB8 @default.
- Q113701271 P478 Q113701271-B73591F1-9D90-4764-A537-537EFF869A8A @default.
- Q113701271 P577 Q113701271-1F162B5A-9222-4226-9580-A22338C29785 @default.
- Q113701271 P356 JCS-15774 @default.
- Q113701271 P1433 Q15749679 @default.
- Q113701271 P1476 "From qualitative to quantitative proofs of security properties using first-order conditional logic1" @default.
- Q113701271 P2093 "Joseph Y. Halpern" @default.
- Q113701271 P304 "1-19" @default.
- Q113701271 P31 Q13442814 @default.
- Q113701271 P356 "10.3233/JCS-15774" @default.
- Q113701271 P433 "1" @default.
- Q113701271 P478 "25" @default.
- Q113701271 P577 "2017-03-16T00:00:00Z" @default.