Matches in Wikidata for { <http://www.wikidata.org/entity/Q113421148> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q113421148 description "2020 nî lūn-bûn" @default.
- Q113421148 description "2020年の論文" @default.
- Q113421148 description "2020年学术文章" @default.
- Q113421148 description "2020年学术文章" @default.
- Q113421148 description "2020年学术文章" @default.
- Q113421148 description "2020年学术文章" @default.
- Q113421148 description "2020年学术文章" @default.
- Q113421148 description "2020年学术文章" @default.
- Q113421148 description "2020年學術文章" @default.
- Q113421148 description "2020年學術文章" @default.
- Q113421148 description "2020年學術文章" @default.
- Q113421148 description "2020年學術文章" @default.
- Q113421148 description "2020年學術文章" @default.
- Q113421148 description "2020년 논문" @default.
- Q113421148 description "article científic" @default.
- Q113421148 description "article scientific" @default.
- Q113421148 description "article scientifique" @default.
- Q113421148 description "articol științific" @default.
- Q113421148 description "articolo scientifico" @default.
- Q113421148 description "artigo científico" @default.
- Q113421148 description "artigo científico" @default.
- Q113421148 description "artigo científico" @default.
- Q113421148 description "artikel ilmiah" @default.
- Q113421148 description "artikull shkencor" @default.
- Q113421148 description "artikulong pang-agham" @default.
- Q113421148 description "artykuł naukowy" @default.
- Q113421148 description "artículo científico publicado en 2020" @default.
- Q113421148 description "artículu científicu espublizáu en mayu de 2020" @default.
- Q113421148 description "bilimsel makale" @default.
- Q113421148 description "bài báo khoa học" @default.
- Q113421148 description "naučni članak" @default.
- Q113421148 description "scienca artikolo" @default.
- Q113421148 description "scientific article published on 13 May 2020" @default.
- Q113421148 description "scientific article published on 13 May 2020" @default.
- Q113421148 description "scientific article published on 13 May 2020" @default.
- Q113421148 description "teaduslik artikkel" @default.
- Q113421148 description "tieteellinen artikkeli" @default.
- Q113421148 description "tudományos cikk" @default.
- Q113421148 description "vedecký článok" @default.
- Q113421148 description "vetenskaplig artikel" @default.
- Q113421148 description "videnskabelig artikel udgivet 13. maj 2020" @default.
- Q113421148 description "vitenskapelig artikkel" @default.
- Q113421148 description "vitskapeleg artikkel" @default.
- Q113421148 description "vědecký článek" @default.
- Q113421148 description "wetenschappelijk artikel" @default.
- Q113421148 description "wissenschaftlicher Artikel" @default.
- Q113421148 description "επιστημονικό άρθρο" @default.
- Q113421148 description "мақолаи илмӣ" @default.
- Q113421148 description "наукова стаття, опублікована в травні 2020" @default.
- Q113421148 description "научна статия" @default.
- Q113421148 description "научная статья" @default.
- Q113421148 description "научни чланак" @default.
- Q113421148 description "научни чланак" @default.
- Q113421148 description "מאמר מדעי" @default.
- Q113421148 description "مقالة بحثية نشرت في 13 مايو 2020" @default.
- Q113421148 description "১৩ মে ২০২০-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113421148 description "บทความทางวิทยาศาสตร์" @default.
- Q113421148 description "სამეცნიერო სტატია" @default.
- Q113421148 name "Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security" @default.
- Q113421148 type Item @default.
- Q113421148 label "Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security" @default.
- Q113421148 prefLabel "Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security" @default.
- Q113421148 P1433 Q113421148-8EA98D35-718F-470B-9E71-1424E279EE86 @default.
- Q113421148 P1476 Q113421148-90E4E369-00E0-4F09-9B72-6BEA83829CB0 @default.
- Q113421148 P2093 Q113421148-D6498C4E-9663-4A96-98C5-2C5CA3DE8273 @default.
- Q113421148 P304 Q113421148-F8B12343-62AD-4BB4-AB57-FD5B825E318A @default.
- Q113421148 P31 Q113421148-C8290B04-6AF8-494E-B847-A0EBFB6ECFE5 @default.
- Q113421148 P356 Q113421148-D2EF3589-2212-46CF-9494-11B3845443E0 @default.
- Q113421148 P433 Q113421148-CF266F28-0268-4040-BD3E-6D234D400E5C @default.
- Q113421148 P478 Q113421148-9C4D3661-CDDB-482D-BC29-AB60D73D02D0 @default.
- Q113421148 P577 Q113421148-3F680124-CE2B-4E08-8882-05B52C37940A @default.
- Q113421148 P356 S01010ED2V01Y202005SWE006 @default.
- Q113421148 P1433 Q96733799 @default.
- Q113421148 P1476 "Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security" @default.
- Q113421148 P2093 "Corina S. P\uas\uareanu" @default.
- Q113421148 P304 "1-75" @default.
- Q113421148 P31 Q13442814 @default.
- Q113421148 P356 "10.2200/S01010ED2V01Y202005SWE006" @default.
- Q113421148 P433 "2" @default.
- Q113421148 P478 "4" @default.
- Q113421148 P577 "2020-05-13T00:00:00Z" @default.