Matches in Wikidata for { <http://www.wikidata.org/entity/Q62046220> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- Q62046220 description "2009 nî lūn-bûn" @default.
- Q62046220 description "2009年の論文" @default.
- Q62046220 description "2009年学术文章" @default.
- Q62046220 description "2009年学术文章" @default.
- Q62046220 description "2009年学术文章" @default.
- Q62046220 description "2009年学术文章" @default.
- Q62046220 description "2009年学术文章" @default.
- Q62046220 description "2009年学术文章" @default.
- Q62046220 description "2009年學術文章" @default.
- Q62046220 description "2009年學術文章" @default.
- Q62046220 description "2009年學術文章" @default.
- Q62046220 description "2009年學術文章" @default.
- Q62046220 description "2009年學術文章" @default.
- Q62046220 description "2009년 논문" @default.
- Q62046220 description "article científic" @default.
- Q62046220 description "article scientific" @default.
- Q62046220 description "article scientifique" @default.
- Q62046220 description "articol științific" @default.
- Q62046220 description "articolo scientifico" @default.
- Q62046220 description "artigo científico" @default.
- Q62046220 description "artigo científico" @default.
- Q62046220 description "artigo científico" @default.
- Q62046220 description "artikel ilmiah" @default.
- Q62046220 description "artikull shkencor" @default.
- Q62046220 description "artikulong pang-agham" @default.
- Q62046220 description "artykuł naukowy" @default.
- Q62046220 description "artículo científico publicado en 2009" @default.
- Q62046220 description "artículu científicu" @default.
- Q62046220 description "bilimsel makale" @default.
- Q62046220 description "bài báo khoa học" @default.
- Q62046220 description "naučni članak" @default.
- Q62046220 description "scienca artikolo" @default.
- Q62046220 description "scientific article published on 17 September 2009" @default.
- Q62046220 description "scientific article published on 17 September 2009" @default.
- Q62046220 description "scientific article published on 17 September 2009" @default.
- Q62046220 description "teaduslik artikkel" @default.
- Q62046220 description "tieteellinen artikkeli" @default.
- Q62046220 description "tudományos cikk" @default.
- Q62046220 description "vedecký článok" @default.
- Q62046220 description "vetenskaplig artikel" @default.
- Q62046220 description "videnskabelig artikel" @default.
- Q62046220 description "vitenskapelig artikkel" @default.
- Q62046220 description "vitskapeleg artikkel" @default.
- Q62046220 description "vědecký článek" @default.
- Q62046220 description "wetenschappelijk artikel" @default.
- Q62046220 description "wissenschaftlicher Artikel" @default.
- Q62046220 description "επιστημονικό άρθρο" @default.
- Q62046220 description "мақолаи илмӣ" @default.
- Q62046220 description "наукова стаття, опублікована у вересні 2009" @default.
- Q62046220 description "научна статия" @default.
- Q62046220 description "научная статья" @default.
- Q62046220 description "научни чланак" @default.
- Q62046220 description "научни чланак" @default.
- Q62046220 description "מאמר מדעי" @default.
- Q62046220 description "مقالة علمية نشرت في 17 سبتمبر 2009" @default.
- Q62046220 description "১৭ সেপ্টেম্বর ২০০৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62046220 description "บทความทางวิทยาศาสตร์" @default.
- Q62046220 description "სამეცნიერო სტატია" @default.
- Q62046220 name "A Proof System for Abstract Non-interference" @default.
- Q62046220 name "A Proof System for Abstract Non-interference" @default.
- Q62046220 type Item @default.
- Q62046220 label "A Proof System for Abstract Non-interference" @default.
- Q62046220 label "A Proof System for Abstract Non-interference" @default.
- Q62046220 prefLabel "A Proof System for Abstract Non-interference" @default.
- Q62046220 prefLabel "A Proof System for Abstract Non-interference" @default.
- Q62046220 P1433 Q62046220-DD609884-9AF6-470A-AAAF-D602E147CBCC @default.
- Q62046220 P1476 Q62046220-52B9C569-76D8-4C95-8764-48BD9E7BA068 @default.
- Q62046220 P2093 Q62046220-79618CAA-CB86-47E7-9BC9-62BE2260CDFC @default.
- Q62046220 P304 Q62046220-7B1F4319-994D-4DDB-9908-1C9F83FA2844 @default.
- Q62046220 P31 Q62046220-58C2F01C-85C6-470B-86CC-A4671F126C98 @default.
- Q62046220 P356 Q62046220-7C4E4B4D-1423-45E6-937E-01E89C47FA6A @default.
- Q62046220 P433 Q62046220-AC3000CF-0EAC-4745-A04C-23B00783484C @default.
- Q62046220 P478 Q62046220-6D35046B-D365-4B3E-9864-C913B1867DED @default.
- Q62046220 P50 Q62046220-ADE9BF67-CE78-4EE4-9D69-F36158003981 @default.
- Q62046220 P577 Q62046220-F014E21E-2826-4ADC-B98D-6BCC54505271 @default.
- Q62046220 P6104 Q62046220-91A9753D-F847-4E65-82E7-CDFBD8D0529B @default.
- Q62046220 P894 Q62046220-F8010BA7-D5AA-4D90-8F60-51D7A4434377 @default.
- Q62046220 P8978 Q62046220-8141C7D3-FD6C-453C-9C2A-6F2A00689340 @default.
- Q62046220 P921 Q62046220-6D8E9207-412C-45DA-A2FA-E99DA69B79B1 @default.
- Q62046220 P356 EXP053 @default.
- Q62046220 P8978 GiacobazziM10 @default.
- Q62046220 P1433 Q6295460 @default.
- Q62046220 P1476 "A Proof System for Abstract Non-interference" @default.
- Q62046220 P2093 "R. Giacobazzi" @default.
- Q62046220 P304 "449-479" @default.
- Q62046220 P31 Q13442814 @default.
- Q62046220 P356 "10.1093/LOGCOM/EXP053" @default.
- Q62046220 P433 "2" @default.
- Q62046220 P478 "20" @default.
- Q62046220 P50 Q62036802 @default.
- Q62046220 P577 "2009-09-17T00:00:00Z" @default.
- Q62046220 P6104 Q8487137 @default.
- Q62046220 P894 "1200.68071" @default.
- Q62046220 P8978 "journals/logcom/GiacobazziM10" @default.
- Q62046220 P921 Q2878974 @default.