Matches in Wikidata for { <http://www.wikidata.org/entity/Q124845870> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- Q124845870 description "2008 nî lūn-bûn" @default.
- Q124845870 description "2008年の論文" @default.
- Q124845870 description "2008年学术文章" @default.
- Q124845870 description "2008年学术文章" @default.
- Q124845870 description "2008年学术文章" @default.
- Q124845870 description "2008年學術文章" @default.
- Q124845870 description "2008年學術文章" @default.
- Q124845870 description "2008년 논문" @default.
- Q124845870 description "article científic" @default.
- Q124845870 description "article scientific" @default.
- Q124845870 description "article scientifique" @default.
- Q124845870 description "articol științific" @default.
- Q124845870 description "articolo scientifico" @default.
- Q124845870 description "artigo científico" @default.
- Q124845870 description "artigo científico" @default.
- Q124845870 description "artigo científico" @default.
- Q124845870 description "artikel ilmiah" @default.
- Q124845870 description "artikull shkencor" @default.
- Q124845870 description "artikulong pang-agham" @default.
- Q124845870 description "artykuł naukowy" @default.
- Q124845870 description "artículo científico publicado en 2008" @default.
- Q124845870 description "artículu científicu" @default.
- Q124845870 description "bilimsel makale" @default.
- Q124845870 description "bài báo khoa học" @default.
- Q124845870 description "naučni članak" @default.
- Q124845870 description "scienca artikolo" @default.
- Q124845870 description "scientific article published in 2008" @default.
- Q124845870 description "teaduslik artikkel" @default.
- Q124845870 description "tieteellinen artikkeli" @default.
- Q124845870 description "tudományos cikk" @default.
- Q124845870 description "vedecký článok" @default.
- Q124845870 description "vetenskaplig artikel" @default.
- Q124845870 description "videnskabelig artikel udgivet juni 2008" @default.
- Q124845870 description "vitenskapelig artikkel" @default.
- Q124845870 description "vitskapeleg artikkel" @default.
- Q124845870 description "vědecký článek" @default.
- Q124845870 description "wetenschappelijk artikel" @default.
- Q124845870 description "wissenschaftlicher Artikel" @default.
- Q124845870 description "znanstveni članek" @default.
- Q124845870 description "επιστημονικό άρθρο" @default.
- Q124845870 description "мақолаи илмӣ" @default.
- Q124845870 description "наукова стаття, опублікована в червні 2008" @default.
- Q124845870 description "научна статия" @default.
- Q124845870 description "научная статья" @default.
- Q124845870 description "научни чланак" @default.
- Q124845870 description "научни чланак" @default.
- Q124845870 description "מאמר מדעי" @default.
- Q124845870 description "مقالة بحثية نشرت في يونيو 2008" @default.
- Q124845870 description "জুন ২০০৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124845870 description "บทความทางวิทยาศาสตร์" @default.
- Q124845870 description "სამეცნიერო სტატია" @default.
- Q124845870 name "A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations" @default.
- Q124845870 type Item @default.
- Q124845870 label "A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations" @default.
- Q124845870 prefLabel "A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations" @default.
- Q124845870 P1433 Q124845870-05996D87-35C8-4166-A7A3-1B0F5D5B5D35 @default.
- Q124845870 P1476 Q124845870-D519433E-8465-422B-9CAA-956A766D0BA8 @default.
- Q124845870 P2093 Q124845870-6C017853-4ADD-4821-A79B-D308686AA076 @default.
- Q124845870 P2093 Q124845870-7DB51A11-330D-450F-BEE3-07F0CC3DD285 @default.
- Q124845870 P304 Q124845870-6E77F0AA-FFB9-4274-A524-C86655001A86 @default.
- Q124845870 P31 Q124845870-1EC70CAC-D05A-47A1-A368-C1A28F2BEC4D @default.
- Q124845870 P356 Q124845870-297D4E0E-3154-4ED4-9B63-9677DA115FD1 @default.
- Q124845870 P433 Q124845870-A71DFDD6-42D1-42EC-BA92-7094EFEB2D94 @default.
- Q124845870 P478 Q124845870-E952FC35-A199-4141-9BF9-C371A6682E40 @default.
- Q124845870 P577 Q124845870-361F0309-F628-4244-AD2C-002DD7EF3EC3 @default.
- Q124845870 P356 S0960129508006774 @default.
- Q124845870 P1433 Q15762975 @default.
- Q124845870 P1476 "A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations" @default.
- Q124845870 P2093 "DAVID SABEL" @default.
- Q124845870 P2093 "MANFRED SCHMIDT-SCHAUSS" @default.
- Q124845870 P304 "501-553" @default.
- Q124845870 P31 Q13442814 @default.
- Q124845870 P356 "10.1017/S0960129508006774" @default.
- Q124845870 P433 "3" @default.
- Q124845870 P478 "18" @default.
- Q124845870 P577 "2008-06-01T00:00:00Z" @default.