Matches in Wikidata for { <http://www.wikidata.org/entity/Q125024127> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- Q125024127 description "2020 nî lūn-bûn" @default.
- Q125024127 description "2020年の論文" @default.
- Q125024127 description "2020年学术文章" @default.
- Q125024127 description "2020年学术文章" @default.
- Q125024127 description "2020年学术文章" @default.
- Q125024127 description "2020年學術文章" @default.
- Q125024127 description "2020年學術文章" @default.
- Q125024127 description "2020년 논문" @default.
- Q125024127 description "article científic" @default.
- Q125024127 description "article scientific" @default.
- Q125024127 description "article scientifique" @default.
- Q125024127 description "articol științific" @default.
- Q125024127 description "articolo scientifico" @default.
- Q125024127 description "artigo científico" @default.
- Q125024127 description "artigo científico" @default.
- Q125024127 description "artigo científico" @default.
- Q125024127 description "artikel ilmiah" @default.
- Q125024127 description "artikull shkencor" @default.
- Q125024127 description "artikulong pang-agham" @default.
- Q125024127 description "artykuł naukowy" @default.
- Q125024127 description "artículo científico publicado en 2020" @default.
- Q125024127 description "artículu científicu" @default.
- Q125024127 description "bilimsel makale" @default.
- Q125024127 description "bài báo khoa học" @default.
- Q125024127 description "naučni članak" @default.
- Q125024127 description "scienca artikolo" @default.
- Q125024127 description "scientific article published on 27 July 2020" @default.
- Q125024127 description "teaduslik artikkel" @default.
- Q125024127 description "tieteellinen artikkeli" @default.
- Q125024127 description "tudományos cikk" @default.
- Q125024127 description "vedecký článok" @default.
- Q125024127 description "vetenskaplig artikel" @default.
- Q125024127 description "videnskabelig artikel udgivet 27. juli 2020" @default.
- Q125024127 description "vitenskapelig artikkel" @default.
- Q125024127 description "vitskapeleg artikkel" @default.
- Q125024127 description "vědecký článek" @default.
- Q125024127 description "wetenschappelijk artikel" @default.
- Q125024127 description "wissenschaftlicher Artikel" @default.
- Q125024127 description "znanstveni članek" @default.
- Q125024127 description "επιστημονικό άρθρο" @default.
- Q125024127 description "мақолаи илмӣ" @default.
- Q125024127 description "наукова стаття, опублікована в липні 2020" @default.
- Q125024127 description "научна статия" @default.
- Q125024127 description "научная статья" @default.
- Q125024127 description "научни чланак" @default.
- Q125024127 description "научни чланак" @default.
- Q125024127 description "מאמר מדעי" @default.
- Q125024127 description "مقالة بحثية نشرت في 27 يوليو 2020" @default.
- Q125024127 description "২৭ জুলাই ২০২০-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q125024127 description "บทความทางวิทยาศาสตร์" @default.
- Q125024127 description "სამეცნიერო სტატია" @default.
- Q125024127 name "Automated Proof of Bell–LaPadula Security Properties" @default.
- Q125024127 type Item @default.
- Q125024127 label "Automated Proof of Bell–LaPadula Security Properties" @default.
- Q125024127 prefLabel "Automated Proof of Bell–LaPadula Security Properties" @default.
- Q125024127 P1433 Q125024127-08402D1D-2E5C-4D0D-BC26-75C281B731CF @default.
- Q125024127 P1476 Q125024127-6A5EFC39-A0AA-4D5E-8B3D-E7CF33672869 @default.
- Q125024127 P2093 Q125024127-5C6BFA99-F22E-4271-AA60-F1DC68B5010B @default.
- Q125024127 P2093 Q125024127-A4B3D396-E3BC-4A94-A81F-A307E6DB946D @default.
- Q125024127 P304 Q125024127-4CB535E0-E80F-4350-866E-7E4A2B75650E @default.
- Q125024127 P31 Q125024127-E70194A8-7F2F-466C-BD8E-048313641609 @default.
- Q125024127 P356 Q125024127-4C88AF23-FF73-49CA-AF74-B2E22EEF69EC @default.
- Q125024127 P407 Q125024127-C2D91B2D-015A-4956-9C77-4EBFA119E2CE @default.
- Q125024127 P433 Q125024127-520B234F-95F3-4D0C-B4B8-3803E0CA59B5 @default.
- Q125024127 P478 Q125024127-CD41EF09-FF4D-47F9-B8E9-1CAB0EFF2890 @default.
- Q125024127 P577 Q125024127-FC2CEA54-2990-4616-95AE-45946A56BACE @default.
- Q125024127 P356 S10817-020-09577-6 @default.
- Q125024127 P1433 Q6294821 @default.
- Q125024127 P1476 "Automated Proof of Bell–LaPadula Security Properties" @default.
- Q125024127 P2093 "Gianfranco Rossi" @default.
- Q125024127 P2093 "Maximiliano Cristiá" @default.
- Q125024127 P304 "463-478" @default.
- Q125024127 P31 Q13442814 @default.
- Q125024127 P356 "10.1007/S10817-020-09577-6" @default.
- Q125024127 P407 Q1860 @default.
- Q125024127 P433 "4" @default.
- Q125024127 P478 "65" @default.
- Q125024127 P577 "2020-07-27T00:00:00Z" @default.