Matches in Wikidata for { <http://www.wikidata.org/entity/Q122227836> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- Q122227836 description "2011 nî lūn-bûn" @default.
- Q122227836 description "2011年の論文" @default.
- Q122227836 description "2011年学术文章" @default.
- Q122227836 description "2011年学术文章" @default.
- Q122227836 description "2011年学术文章" @default.
- Q122227836 description "2011年学术文章" @default.
- Q122227836 description "2011年学术文章" @default.
- Q122227836 description "2011年学术文章" @default.
- Q122227836 description "2011年學術文章" @default.
- Q122227836 description "2011年學術文章" @default.
- Q122227836 description "2011年學術文章" @default.
- Q122227836 description "2011年學術文章" @default.
- Q122227836 description "2011年學術文章" @default.
- Q122227836 description "2011년 논문" @default.
- Q122227836 description "article científic" @default.
- Q122227836 description "article scientific" @default.
- Q122227836 description "article scientifique" @default.
- Q122227836 description "articol științific" @default.
- Q122227836 description "articolo scientifico" @default.
- Q122227836 description "artigo científico" @default.
- Q122227836 description "artigo científico" @default.
- Q122227836 description "artigo científico" @default.
- Q122227836 description "artikel ilmiah" @default.
- Q122227836 description "artikull shkencor" @default.
- Q122227836 description "artikulong pang-agham" @default.
- Q122227836 description "artykuł naukowy" @default.
- Q122227836 description "artículo científico publicado en 2011" @default.
- Q122227836 description "artículu científicu espublizáu en 2011" @default.
- Q122227836 description "bilimsel makale" @default.
- Q122227836 description "bài báo khoa học" @default.
- Q122227836 description "naučni članak" @default.
- Q122227836 description "scienca artikolo" @default.
- Q122227836 description "scientific article published in 2011" @default.
- Q122227836 description "scientific article published on 16 November 2011" @default.
- Q122227836 description "scientific article published on 16 November 2011" @default.
- Q122227836 description "teaduslik artikkel" @default.
- Q122227836 description "tieteellinen artikkeli" @default.
- Q122227836 description "tudományos cikk" @default.
- Q122227836 description "vedecký článok" @default.
- Q122227836 description "vetenskaplig artikel" @default.
- Q122227836 description "videnskabelig artikel udgivet 16. november 2011" @default.
- Q122227836 description "vitenskapelig artikkel" @default.
- Q122227836 description "vitskapeleg artikkel" @default.
- Q122227836 description "vědecký článek" @default.
- Q122227836 description "wetenschappelijk artikel" @default.
- Q122227836 description "wissenschaftlicher Artikel" @default.
- Q122227836 description "znanstveni članek" @default.
- Q122227836 description "επιστημονικό άρθρο" @default.
- Q122227836 description "мақолаи илмӣ" @default.
- Q122227836 description "наукова стаття, опублікована в листопаді 2011" @default.
- Q122227836 description "научна статия" @default.
- Q122227836 description "научная статья" @default.
- Q122227836 description "научни чланак" @default.
- Q122227836 description "научни чланак" @default.
- Q122227836 description "מאמר מדעי" @default.
- Q122227836 description "مقالة بحثية نشرت في 16 نوفمبر 2011" @default.
- Q122227836 description "১৬ নভেম্বর ২০১১-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q122227836 description "บทความทางวิทยาศาสตร์" @default.
- Q122227836 description "სამეცნიერო სტატია" @default.
- Q122227836 name "A framework for testing first-order logic axioms in program verification" @default.
- Q122227836 type Item @default.
- Q122227836 label "A framework for testing first-order logic axioms in program verification" @default.
- Q122227836 prefLabel "A framework for testing first-order logic axioms in program verification" @default.
- Q122227836 P1433 Q122227836-12F66F7B-1999-49E8-ACD7-A3A06BDD868D @default.
- Q122227836 P1476 Q122227836-1B54C4A3-2D51-448B-BA2F-32F96AED24AE @default.
- Q122227836 P2093 Q122227836-1CD8DF4C-E849-42D4-BF34-A0E8202199D5 @default.
- Q122227836 P2093 Q122227836-20A1B082-F88F-44BC-B3C6-0A0799E8DDF9 @default.
- Q122227836 P304 Q122227836-6390223B-AE08-4379-AE04-EAA7CD1C7113 @default.
- Q122227836 P31 Q122227836-C84E7A99-BDC8-4C0A-BB6D-664FC44E7D68 @default.
- Q122227836 P356 Q122227836-2B010077-98B8-4392-BA1C-FD7899C4B59F @default.
- Q122227836 P433 Q122227836-E916ED15-362E-4941-86E9-D07F4936AB70 @default.
- Q122227836 P478 Q122227836-A1500C24-EF70-4979-823F-C829D151AFB9 @default.
- Q122227836 P577 Q122227836-2B0F8681-4C4A-45CB-88EE-719B648A3962 @default.
- Q122227836 P356 S11219-011-9168-1 @default.
- Q122227836 P1433 Q15762444 @default.
- Q122227836 P1476 "A framework for testing first-order logic axioms in program verification" @default.
- Q122227836 P2093 "Ewen Denney" @default.
- Q122227836 P2093 "Ki Yung Ahn" @default.
- Q122227836 P304 "159-200" @default.
- Q122227836 P31 Q13442814 @default.
- Q122227836 P356 "10.1007/S11219-011-9168-1" @default.
- Q122227836 P433 "1" @default.
- Q122227836 P478 "21" @default.
- Q122227836 P577 "2011-11-16T00:00:00Z" @default.