Matches in Wikidata for { <http://www.wikidata.org/entity/Q41749595> ?p ?o ?g. }
- Q41749595 description "2017 nî lūn-bûn" @default.
- Q41749595 description "2017年の論文" @default.
- Q41749595 description "2017年論文" @default.
- Q41749595 description "2017年論文" @default.
- Q41749595 description "2017年論文" @default.
- Q41749595 description "2017年論文" @default.
- Q41749595 description "2017年論文" @default.
- Q41749595 description "2017年论文" @default.
- Q41749595 description "2017年论文" @default.
- Q41749595 description "2017年论文" @default.
- Q41749595 description "2017年论文" @default.
- Q41749595 description "2017年论文" @default.
- Q41749595 description "2017年论文" @default.
- Q41749595 description "2017년 논문" @default.
- Q41749595 description "article científic" @default.
- Q41749595 description "article scientific" @default.
- Q41749595 description "article scientifique" @default.
- Q41749595 description "articol științific" @default.
- Q41749595 description "articolo scientifico" @default.
- Q41749595 description "artigo científico" @default.
- Q41749595 description "artigo científico" @default.
- Q41749595 description "artigo científico" @default.
- Q41749595 description "artikel ilmiah" @default.
- Q41749595 description "artikull shkencor" @default.
- Q41749595 description "artikulong pang-agham" @default.
- Q41749595 description "artykuł naukowy" @default.
- Q41749595 description "artículo científico publicado en 2017" @default.
- Q41749595 description "artículu científicu espublizáu en 2017" @default.
- Q41749595 description "bilimsel makale" @default.
- Q41749595 description "bài báo khoa học" @default.
- Q41749595 description "naučni članak" @default.
- Q41749595 description "scienca artikolo" @default.
- Q41749595 description "scientific article published on October 2017" @default.
- Q41749595 description "scientific article published on October 2017" @default.
- Q41749595 description "scientific article published on October 2017" @default.
- Q41749595 description "teaduslik artikkel" @default.
- Q41749595 description "tieteellinen artikkeli" @default.
- Q41749595 description "tudományos cikk" @default.
- Q41749595 description "vedecký článok" @default.
- Q41749595 description "vetenskaplig artikel" @default.
- Q41749595 description "videnskabelig artikel" @default.
- Q41749595 description "vitenskapelig artikkel" @default.
- Q41749595 description "vitskapeleg artikkel" @default.
- Q41749595 description "vědecký článek" @default.
- Q41749595 description "wetenschappelijk artikel" @default.
- Q41749595 description "wissenschaftlicher Artikel" @default.
- Q41749595 description "επιστημονικό άρθρο" @default.
- Q41749595 description "мақолаи илмӣ" @default.
- Q41749595 description "наукова стаття, опублікована в жовтні 2017" @default.
- Q41749595 description "научна статия" @default.
- Q41749595 description "научная статья" @default.
- Q41749595 description "научни чланак" @default.
- Q41749595 description "научни чланак" @default.
- Q41749595 description "מאמר מדעי" @default.
- Q41749595 description "مقالة علمية نشرت في أكتوبر 2017" @default.
- Q41749595 description "অক্টোবর ২০১৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q41749595 description "บทความทางวิทยาศาสตร์" @default.
- Q41749595 description "სამეცნიერო სტატია" @default.
- Q41749595 name "Verified trustworthy software systems" @default.
- Q41749595 type Item @default.
- Q41749595 label "Verified trustworthy software systems" @default.
- Q41749595 prefLabel "Verified trustworthy software systems" @default.
- Q41749595 P1433 Q41749595-9F7EF7A0-9E4C-458B-8CC1-D7F8CD0F5DAF @default.
- Q41749595 P1476 Q41749595-0856320A-6D84-4504-B3D3-9359C02E28AB @default.
- Q41749595 P2093 Q41749595-5C37B2B2-533F-481D-B111-96B95DAC573D @default.
- Q41749595 P2860 Q41749595-0F839B5E-FC61-42E9-A62C-AA5A4793F30A @default.
- Q41749595 P2860 Q41749595-2CC2A297-250D-402C-AA7B-56728CE09B04 @default.
- Q41749595 P2860 Q41749595-5A330144-1451-4DCB-8F89-5596ADC327C4 @default.
- Q41749595 P2860 Q41749595-9FF28A42-3083-435E-BF81-165340A7AE47 @default.
- Q41749595 P2860 Q41749595-D50B6D48-9E5D-4B88-837C-1E6932C5FC6C @default.
- Q41749595 P2860 Q41749595-E253F17F-DEE3-433A-9563-363489ED4D49 @default.
- Q41749595 P2860 Q41749595-F0B4C4E7-26A3-4C76-AEF4-246E2FEF01A5 @default.
- Q41749595 P31 Q41749595-2FF22103-45BB-4275-96EB-9C2113E3EE69 @default.
- Q41749595 P356 Q41749595-93E04B44-AC98-44A5-8D48-9186DD727666 @default.
- Q41749595 P407 Q41749595-728F0937-D55B-449D-BED9-3DBC24CBAF87 @default.
- Q41749595 P433 Q41749595-E2BEAA8B-BB8B-41AE-BA37-122892120E3E @default.
- Q41749595 P478 Q41749595-E0F083AC-34A1-4C05-8F64-01761E428A2E @default.
- Q41749595 P577 Q41749595-6B86BD3E-1999-4013-82DE-D35A296A6F89 @default.
- Q41749595 P698 Q41749595-BC34A4E1-FC93-4970-8CE4-D5D5C626514A @default.
- Q41749595 P921 Q41749595-838E6E5C-EF4D-4160-BBA5-24E57F99A369 @default.
- Q41749595 P932 Q41749595-461EFEC4-8C94-4BFA-A286-B9FEC97F8E1B @default.
- Q41749595 P356 RSTA.2015.0408 @default.
- Q41749595 P698 28871055 @default.
- Q41749595 P1433 Q2153230 @default.
- Q41749595 P1476 "Verified trustworthy software systems" @default.
- Q41749595 P2093 "Philippa Gardner" @default.
- Q41749595 P2860 Q41749606 @default.
- Q41749595 P2860 Q41749614 @default.
- Q41749595 P2860 Q47280154 @default.
- Q41749595 P2860 Q47299133 @default.
- Q41749595 P2860 Q47700914 @default.
- Q41749595 P2860 Q47700956 @default.
- Q41749595 P2860 Q47700979 @default.
- Q41749595 P31 Q13442814 @default.
- Q41749595 P356 "10.1098/RSTA.2015.0408" @default.
- Q41749595 P407 Q1860 @default.
- Q41749595 P433 "2104" @default.
- Q41749595 P478 "375" @default.
- Q41749595 P577 "2017-10-01T00:00:00Z" @default.
- Q41749595 P698 "28871055" @default.