Matches in Wikidata for { <http://www.wikidata.org/entity/Q124849688> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- Q124849688 description "2015 nî lūn-bûn" @default.
- Q124849688 description "2015年の論文" @default.
- Q124849688 description "2015年学术文章" @default.
- Q124849688 description "2015年学术文章" @default.
- Q124849688 description "2015年学术文章" @default.
- Q124849688 description "2015年學術文章" @default.
- Q124849688 description "2015年學術文章" @default.
- Q124849688 description "2015년 논문" @default.
- Q124849688 description "article científic" @default.
- Q124849688 description "article scientific" @default.
- Q124849688 description "article scientifique" @default.
- Q124849688 description "articol științific" @default.
- Q124849688 description "articolo scientifico" @default.
- Q124849688 description "artigo científico" @default.
- Q124849688 description "artigo científico" @default.
- Q124849688 description "artigo científico" @default.
- Q124849688 description "artikel ilmiah" @default.
- Q124849688 description "artikull shkencor" @default.
- Q124849688 description "artikulong pang-agham" @default.
- Q124849688 description "artykuł naukowy" @default.
- Q124849688 description "artículo científico publicado en 2015" @default.
- Q124849688 description "artículu científicu" @default.
- Q124849688 description "bilimsel makale" @default.
- Q124849688 description "bài báo khoa học" @default.
- Q124849688 description "naučni članak" @default.
- Q124849688 description "scienca artikolo" @default.
- Q124849688 description "scientific article published in 2015" @default.
- Q124849688 description "teaduslik artikkel" @default.
- Q124849688 description "tieteellinen artikkeli" @default.
- Q124849688 description "tudományos cikk" @default.
- Q124849688 description "vedecký článok" @default.
- Q124849688 description "vetenskaplig artikel" @default.
- Q124849688 description "videnskabelig artikel udgivet 3. juni 2015" @default.
- Q124849688 description "vitenskapelig artikkel" @default.
- Q124849688 description "vitskapeleg artikkel" @default.
- Q124849688 description "vědecký článek" @default.
- Q124849688 description "wetenschappelijk artikel" @default.
- Q124849688 description "wissenschaftlicher Artikel" @default.
- Q124849688 description "znanstveni članek" @default.
- Q124849688 description "επιστημονικό άρθρο" @default.
- Q124849688 description "мақолаи илмӣ" @default.
- Q124849688 description "наукова стаття, опублікована в червні 2015" @default.
- Q124849688 description "научна статия" @default.
- Q124849688 description "научная статья" @default.
- Q124849688 description "научни чланак" @default.
- Q124849688 description "научни чланак" @default.
- Q124849688 description "מאמר מדעי" @default.
- Q124849688 description "مقالة بحثية نشرت في 3 يونيو 2015" @default.
- Q124849688 description "৩ জুন ২০১৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124849688 description "บทความทางวิทยาศาสตร์" @default.
- Q124849688 description "სამეცნიერო სტატია" @default.
- Q124849688 name "Relatively complete counterexamples for higher-order programs" @default.
- Q124849688 type Item @default.
- Q124849688 label "Relatively complete counterexamples for higher-order programs" @default.
- Q124849688 prefLabel "Relatively complete counterexamples for higher-order programs" @default.
- Q124849688 P1433 Q124849688-068B445F-41E1-44A4-8848-3DC759FA12DD @default.
- Q124849688 P1476 Q124849688-E4A0B46B-AA76-4DAA-987D-F1649BFC5304 @default.
- Q124849688 P2093 Q124849688-1BCFBE1E-9687-4B6A-8C5C-F6852BCA8344 @default.
- Q124849688 P2093 Q124849688-3DCF7A08-A835-4E5D-9132-3F3CD3DBD009 @default.
- Q124849688 P304 Q124849688-B5E695C9-7A71-4496-9E1E-81C403F67152 @default.
- Q124849688 P31 Q124849688-1729AB46-F042-442D-B40E-F69964A3C905 @default.
- Q124849688 P356 Q124849688-8B048D74-D3D4-46D7-BC23-925FC4370293 @default.
- Q124849688 P433 Q124849688-20468601-17DA-4A5F-88FD-2D5DA6EC422D @default.
- Q124849688 P478 Q124849688-D74D18BF-05EB-40F8-9DED-5AC9BDD25362 @default.
- Q124849688 P577 Q124849688-C69A41E3-5649-4AD6-98FB-BC1FEDC91553 @default.
- Q124849688 P356 2813885.2737971 @default.
- Q124849688 P1433 Q22247351 @default.
- Q124849688 P1476 "Relatively complete counterexamples for higher-order programs" @default.
- Q124849688 P2093 "David Van Horn" @default.
- Q124849688 P2093 "Phúc C. Nguyễn" @default.
- Q124849688 P304 "446-456" @default.
- Q124849688 P31 Q13442814 @default.
- Q124849688 P356 "10.1145/2813885.2737971" @default.
- Q124849688 P433 "6" @default.
- Q124849688 P478 "50" @default.
- Q124849688 P577 "2015-06-03T00:00:00Z" @default.