Matches in Wikidata for { <http://www.wikidata.org/entity/Q124802343> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q124802343 description "2013 nî lūn-bûn" @default.
- Q124802343 description "2013年の論文" @default.
- Q124802343 description "2013年学术文章" @default.
- Q124802343 description "2013年学术文章" @default.
- Q124802343 description "2013年学术文章" @default.
- Q124802343 description "2013年學術文章" @default.
- Q124802343 description "2013年學術文章" @default.
- Q124802343 description "2013년 논문" @default.
- Q124802343 description "article científic" @default.
- Q124802343 description "article scientific" @default.
- Q124802343 description "article scientifique" @default.
- Q124802343 description "articol științific" @default.
- Q124802343 description "articolo scientifico" @default.
- Q124802343 description "artigo científico" @default.
- Q124802343 description "artigo científico" @default.
- Q124802343 description "artigo científico" @default.
- Q124802343 description "artikel ilmiah" @default.
- Q124802343 description "artikull shkencor" @default.
- Q124802343 description "artikulong pang-agham" @default.
- Q124802343 description "artykuł naukowy" @default.
- Q124802343 description "artículo científico publicado en 2013" @default.
- Q124802343 description "artículu científicu" @default.
- Q124802343 description "bilimsel makale" @default.
- Q124802343 description "bài báo khoa học" @default.
- Q124802343 description "naučni članak" @default.
- Q124802343 description "scienca artikolo" @default.
- Q124802343 description "scientific article published in 2013" @default.
- Q124802343 description "teaduslik artikkel" @default.
- Q124802343 description "tieteellinen artikkeli" @default.
- Q124802343 description "tudományos cikk" @default.
- Q124802343 description "vedecký článok" @default.
- Q124802343 description "vetenskaplig artikel" @default.
- Q124802343 description "videnskabelig artikel udgivet december 2013" @default.
- Q124802343 description "vitenskapelig artikkel" @default.
- Q124802343 description "vitskapeleg artikkel" @default.
- Q124802343 description "vědecký článek" @default.
- Q124802343 description "wetenschappelijk artikel" @default.
- Q124802343 description "wissenschaftlicher Artikel" @default.
- Q124802343 description "znanstveni članek" @default.
- Q124802343 description "επιστημονικό άρθρο" @default.
- Q124802343 description "мақолаи илмӣ" @default.
- Q124802343 description "наукова стаття, опублікована в грудні 2013" @default.
- Q124802343 description "научна статия" @default.
- Q124802343 description "научная статья" @default.
- Q124802343 description "научни чланак" @default.
- Q124802343 description "научни чланак" @default.
- Q124802343 description "գիտական հոդված հրատարակված 2013 թվականին" @default.
- Q124802343 description "מאמר מדעי" @default.
- Q124802343 description "مقالة بحثية نشرت في ديسمبر 2013" @default.
- Q124802343 description "ডিসেম্বর ২০১৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124802343 description "บทความทางวิทยาศาสตร์" @default.
- Q124802343 description "სამეცნიერო სტატია" @default.
- Q124802343 name "Counterexample Ranking Using Mined Invariants" @default.
- Q124802343 type Item @default.
- Q124802343 label "Counterexample Ranking Using Mined Invariants" @default.
- Q124802343 prefLabel "Counterexample Ranking Using Mined Invariants" @default.
- Q124802343 P1433 Q124802343-D091DB5D-D49E-486D-BB87-0901036245A2 @default.
- Q124802343 P1476 Q124802343-30AEC21A-611D-47AF-AAD6-10F96B11BA81 @default.
- Q124802343 P2093 Q124802343-B327618B-42B0-4DAB-A761-D8EBB3B1FE6C @default.
- Q124802343 P2093 Q124802343-D4467AD2-386B-482E-B421-4061F7843F0E @default.
- Q124802343 P2093 Q124802343-E749481E-F1E4-42DE-BB71-9D2435DAE950 @default.
- Q124802343 P2093 Q124802343-EE843D9E-9D24-48A6-96D2-C89817CF2959 @default.
- Q124802343 P304 Q124802343-589BDA79-3BF2-40B6-9A26-C61592538C87 @default.
- Q124802343 P31 Q124802343-338AB320-9BD0-441D-B346-69F60238831E @default.
- Q124802343 P356 Q124802343-E0DC20D8-FE28-411B-A191-D3BFA56D3C86 @default.
- Q124802343 P433 Q124802343-1BF716D2-61E8-421E-A8CC-C1E69335093A @default.
- Q124802343 P478 Q124802343-57B243A3-6DF3-4D49-B606-19241F5508B4 @default.
- Q124802343 P577 Q124802343-CBC6242D-71BC-4C80-9D07-4D4A656FA3FC @default.
- Q124802343 P356 TCAD.2013.2276627 @default.
- Q124802343 P1433 Q5970503 @default.
- Q124802343 P1476 "Counterexample Ranking Using Mined Invariants" @default.
- Q124802343 P2093 "Ansuman Banerjee" @default.
- Q124802343 P2093 "Harish Kumar" @default.
- Q124802343 P2093 "Pallab Dasgupta" @default.
- Q124802343 P2093 "Srobona Mitra" @default.
- Q124802343 P304 "1978-1991" @default.
- Q124802343 P31 Q13442814 @default.
- Q124802343 P356 "10.1109/TCAD.2013.2276627" @default.
- Q124802343 P433 "12" @default.
- Q124802343 P478 "32" @default.
- Q124802343 P577 "2013-12-01T00:00:00Z" @default.