Matches in Wikidata for { <http://www.wikidata.org/entity/Q124816668> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- Q124816668 description "2005 nî lūn-bûn" @default.
- Q124816668 description "2005年の論文" @default.
- Q124816668 description "2005年学术文章" @default.
- Q124816668 description "2005年学术文章" @default.
- Q124816668 description "2005年学术文章" @default.
- Q124816668 description "2005年學術文章" @default.
- Q124816668 description "2005年學術文章" @default.
- Q124816668 description "2005년 논문" @default.
- Q124816668 description "article científic" @default.
- Q124816668 description "article scientific" @default.
- Q124816668 description "article scientifique" @default.
- Q124816668 description "articol științific" @default.
- Q124816668 description "articolo scientifico" @default.
- Q124816668 description "artigo científico" @default.
- Q124816668 description "artigo científico" @default.
- Q124816668 description "artigo científico" @default.
- Q124816668 description "artikel ilmiah" @default.
- Q124816668 description "artikull shkencor" @default.
- Q124816668 description "artikulong pang-agham" @default.
- Q124816668 description "artykuł naukowy" @default.
- Q124816668 description "artículo científico publicado en 2005" @default.
- Q124816668 description "artículu científicu" @default.
- Q124816668 description "bilimsel makale" @default.
- Q124816668 description "bài báo khoa học" @default.
- Q124816668 description "naučni članak" @default.
- Q124816668 description "scienca artikolo" @default.
- Q124816668 description "scientific article published in 2005" @default.
- Q124816668 description "teaduslik artikkel" @default.
- Q124816668 description "tieteellinen artikkeli" @default.
- Q124816668 description "tudományos cikk" @default.
- Q124816668 description "vedecký článok" @default.
- Q124816668 description "vetenskaplig artikel" @default.
- Q124816668 description "videnskabelig artikel udgivet marts 2005" @default.
- Q124816668 description "vitenskapelig artikkel" @default.
- Q124816668 description "vitskapeleg artikkel" @default.
- Q124816668 description "vědecký článek" @default.
- Q124816668 description "wetenschappelijk artikel" @default.
- Q124816668 description "wissenschaftlicher Artikel" @default.
- Q124816668 description "znanstveni članek" @default.
- Q124816668 description "επιστημονικό άρθρο" @default.
- Q124816668 description "мақолаи илмӣ" @default.
- Q124816668 description "наукова стаття, опублікована в березні 2005" @default.
- Q124816668 description "научна статия" @default.
- Q124816668 description "научная статья" @default.
- Q124816668 description "научни чланак" @default.
- Q124816668 description "научни чланак" @default.
- Q124816668 description "מאמר מדעי" @default.
- Q124816668 description "مقالة بحثية نشرت في مارس 2005" @default.
- Q124816668 description "মার্চ ২০০৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124816668 description "บทความทางวิทยาศาสตร์" @default.
- Q124816668 description "სამეცნიერო სტატია" @default.
- Q124816668 name "Generating error traces from verification-condition counterexamples" @default.
- Q124816668 type Item @default.
- Q124816668 label "Generating error traces from verification-condition counterexamples" @default.
- Q124816668 prefLabel "Generating error traces from verification-condition counterexamples" @default.
- Q124816668 P1433 Q124816668-AAEBB448-AF7B-47F3-94DA-0F6675BB98EC @default.
- Q124816668 P1476 Q124816668-D8F10C39-C5A5-401D-ACC3-631DC433DE0B @default.
- Q124816668 P2093 Q124816668-301F8276-DFF5-4AD7-BDEB-B5FC8FFB8683 @default.
- Q124816668 P2093 Q124816668-B2F559DD-B287-428B-A297-C8B8CA1B3037 @default.
- Q124816668 P2093 Q124816668-CF29053C-1B14-4C04-893C-4CEFD4731B81 @default.
- Q124816668 P304 Q124816668-F7D84192-630E-4218-B496-E63F6D115EF2 @default.
- Q124816668 P31 Q124816668-EFA29BAD-6F10-4D25-8E6D-7DA3453FB7DB @default.
- Q124816668 P356 Q124816668-7A145FC6-A15C-4E0A-8B95-DD224C83D51E @default.
- Q124816668 P433 Q124816668-1C0CDE27-68DD-46B2-9AD2-58B7A437BC5C @default.
- Q124816668 P478 Q124816668-286404AC-2207-4E98-8B6F-CF4B57B4B842 @default.
- Q124816668 P577 Q124816668-1BBD9915-C2BD-4615-A2FC-595CD051A457 @default.
- Q124816668 P356 J.SCICO.2004.05.016 @default.
- Q124816668 P1433 Q15752614 @default.
- Q124816668 P1476 "Generating error traces from verification-condition counterexamples" @default.
- Q124816668 P2093 "James B. Saxe" @default.
- Q124816668 P2093 "K. Rustan M. Leino" @default.
- Q124816668 P2093 "Todd Millstein" @default.
- Q124816668 P304 "209-226" @default.
- Q124816668 P31 Q13442814 @default.
- Q124816668 P356 "10.1016/J.SCICO.2004.05.016" @default.
- Q124816668 P433 "1-3" @default.
- Q124816668 P478 "55" @default.
- Q124816668 P577 "2005-03-01T00:00:00Z" @default.