Matches in Wikidata for { <http://www.wikidata.org/entity/Q121770600> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- Q121770600 description "2007 nî lūn-bûn" @default.
- Q121770600 description "2007年の論文" @default.
- Q121770600 description "2007年学术文章" @default.
- Q121770600 description "2007年学术文章" @default.
- Q121770600 description "2007年学术文章" @default.
- Q121770600 description "2007年学术文章" @default.
- Q121770600 description "2007年学术文章" @default.
- Q121770600 description "2007年学术文章" @default.
- Q121770600 description "2007年學術文章" @default.
- Q121770600 description "2007年學術文章" @default.
- Q121770600 description "2007年學術文章" @default.
- Q121770600 description "2007年學術文章" @default.
- Q121770600 description "2007年學術文章" @default.
- Q121770600 description "2007년 논문" @default.
- Q121770600 description "article científic" @default.
- Q121770600 description "article scientific" @default.
- Q121770600 description "article scientifique" @default.
- Q121770600 description "articol științific" @default.
- Q121770600 description "articolo scientifico" @default.
- Q121770600 description "artigo científico" @default.
- Q121770600 description "artigo científico" @default.
- Q121770600 description "artigo científico" @default.
- Q121770600 description "artikel ilmiah" @default.
- Q121770600 description "artikull shkencor" @default.
- Q121770600 description "artikulong pang-agham" @default.
- Q121770600 description "artykuł naukowy" @default.
- Q121770600 description "artículo científico publicado en 2007" @default.
- Q121770600 description "artículu científicu espublizáu en 2007" @default.
- Q121770600 description "bilimsel makale" @default.
- Q121770600 description "bài báo khoa học" @default.
- Q121770600 description "naučni članak" @default.
- Q121770600 description "scienca artikolo" @default.
- Q121770600 description "scientific article published in 2007" @default.
- Q121770600 description "scientific article published in June 2007" @default.
- Q121770600 description "scientific article published in June 2007" @default.
- Q121770600 description "teaduslik artikkel" @default.
- Q121770600 description "tieteellinen artikkeli" @default.
- Q121770600 description "tudományos cikk" @default.
- Q121770600 description "vedecký článok" @default.
- Q121770600 description "vetenskaplig artikel" @default.
- Q121770600 description "videnskabelig artikel udgivet juni 2007" @default.
- Q121770600 description "vitenskapelig artikkel" @default.
- Q121770600 description "vitskapeleg artikkel" @default.
- Q121770600 description "vědecký článek" @default.
- Q121770600 description "wetenschappelijk artikel" @default.
- Q121770600 description "wissenschaftlicher Artikel" @default.
- Q121770600 description "znanstveni članek" @default.
- Q121770600 description "επιστημονικό άρθρο" @default.
- Q121770600 description "мақолаи илмӣ" @default.
- Q121770600 description "наукова стаття, опублікована в червні 2007" @default.
- Q121770600 description "научна статия" @default.
- Q121770600 description "научная статья" @default.
- Q121770600 description "научни чланак" @default.
- Q121770600 description "научни чланак" @default.
- Q121770600 description "מאמר מדעי" @default.
- Q121770600 description "مقالة بحثية نشرت في يونيو 2007" @default.
- Q121770600 description "জুন ২০০৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q121770600 description "บทความทางวิทยาศาสตร์" @default.
- Q121770600 description "სამეცნიერო სტატია" @default.
- Q121770600 name "Verification of the correctness of compiler optimization using co-induction" @default.
- Q121770600 type Item @default.
- Q121770600 label "Verification of the correctness of compiler optimization using co-induction" @default.
- Q121770600 prefLabel "Verification of the correctness of compiler optimization using co-induction" @default.
- Q121770600 P1433 Q121770600-BF21C447-FE2A-48A2-8B54-C277D9B3DD19 @default.
- Q121770600 P1476 Q121770600-B69625C6-89E2-468F-BFA2-FF4FA0E981D8 @default.
- Q121770600 P2093 Q121770600-0D0C7676-EA3A-4EE4-9814-0A3EB63421E6 @default.
- Q121770600 P2093 Q121770600-6E8E80ED-FC76-4238-979E-B60B4334B20C @default.
- Q121770600 P304 Q121770600-D7B29DCD-F94C-4164-BA0A-AB09CD56AE5A @default.
- Q121770600 P31 Q121770600-BB075BDA-BECA-4EB2-A8F6-CD670DCE8A58 @default.
- Q121770600 P356 Q121770600-BF93A56F-3C3B-4616-9449-CA89B084F6AB @default.
- Q121770600 P433 Q121770600-5D4353C7-BF5B-44EF-B93A-35FA88EBF008 @default.
- Q121770600 P478 Q121770600-96E49A88-896D-457A-845B-D68C409F1387 @default.
- Q121770600 P577 Q121770600-E4F79819-F59F-46BC-B3F7-82922D7FA8D5 @default.
- Q121770600 P6104 Q121770600-454780A7-4C3E-46E0-8961-0A9CD3E5330C @default.
- Q121770600 P894 Q121770600-75AB3F6E-CC12-45E0-A70A-8183E2B12F81 @default.
- Q121770600 P356 09720529.2007.10698123 @default.
- Q121770600 P1433 Q15755100 @default.
- Q121770600 P1476 "Verification of the correctness of compiler optimization using co-induction" @default.
- Q121770600 P2093 "M. Thiyagarajan" @default.
- Q121770600 P2093 "N. Sairam" @default.
- Q121770600 P304 "329-349" @default.
- Q121770600 P31 Q13442814 @default.
- Q121770600 P356 "10.1080/09720529.2007.10698123" @default.
- Q121770600 P433 "3" @default.
- Q121770600 P478 "10" @default.
- Q121770600 P577 "2007-06-01T00:00:00Z" @default.
- Q121770600 P6104 Q8487137 @default.
- Q121770600 P894 "1124.68059" @default.