Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317681> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- Q113317681 description "2016 nî lūn-bûn" @default.
- Q113317681 description "2016年の論文" @default.
- Q113317681 description "2016年学术文章" @default.
- Q113317681 description "2016年学术文章" @default.
- Q113317681 description "2016年学术文章" @default.
- Q113317681 description "2016年学术文章" @default.
- Q113317681 description "2016年学术文章" @default.
- Q113317681 description "2016年学术文章" @default.
- Q113317681 description "2016年學術文章" @default.
- Q113317681 description "2016年學術文章" @default.
- Q113317681 description "2016年學術文章" @default.
- Q113317681 description "2016年學術文章" @default.
- Q113317681 description "2016年學術文章" @default.
- Q113317681 description "2016년 논문" @default.
- Q113317681 description "article científic" @default.
- Q113317681 description "article scientific" @default.
- Q113317681 description "article scientifique" @default.
- Q113317681 description "articol științific" @default.
- Q113317681 description "articolo scientifico" @default.
- Q113317681 description "artigo científico" @default.
- Q113317681 description "artigo científico" @default.
- Q113317681 description "artigo científico" @default.
- Q113317681 description "artikel ilmiah" @default.
- Q113317681 description "artikull shkencor" @default.
- Q113317681 description "artikulong pang-agham" @default.
- Q113317681 description "artykuł naukowy" @default.
- Q113317681 description "artículo científico publicado en 2016" @default.
- Q113317681 description "artículu científicu espublizáu en xunetu de 2016" @default.
- Q113317681 description "bilimsel makale" @default.
- Q113317681 description "bài báo khoa học" @default.
- Q113317681 description "naučni članak" @default.
- Q113317681 description "scienca artikolo" @default.
- Q113317681 description "scientific article published on 15 July 2016" @default.
- Q113317681 description "scientific article published on 15 July 2016" @default.
- Q113317681 description "scientific article published on 15 July 2016" @default.
- Q113317681 description "teaduslik artikkel" @default.
- Q113317681 description "tieteellinen artikkeli" @default.
- Q113317681 description "tudományos cikk" @default.
- Q113317681 description "vedecký článok" @default.
- Q113317681 description "vetenskaplig artikel" @default.
- Q113317681 description "videnskabelig artikel udgivet 15. juli 2016" @default.
- Q113317681 description "vitenskapelig artikkel" @default.
- Q113317681 description "vitskapeleg artikkel" @default.
- Q113317681 description "vědecký článek" @default.
- Q113317681 description "wetenschappelijk artikel" @default.
- Q113317681 description "wissenschaftlicher Artikel" @default.
- Q113317681 description "επιστημονικό άρθρο" @default.
- Q113317681 description "мақолаи илмӣ" @default.
- Q113317681 description "наукова стаття, опублікована в липні 2016" @default.
- Q113317681 description "научна статия" @default.
- Q113317681 description "научная статья" @default.
- Q113317681 description "научни чланак" @default.
- Q113317681 description "научни чланак" @default.
- Q113317681 description "מאמר מדעי" @default.
- Q113317681 description "مقالة بحثية نشرت في 15 يوليو 2016" @default.
- Q113317681 description "১৫ জুলাই ২০১৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317681 description "บทความทางวิทยาศาสตร์" @default.
- Q113317681 description "სამეცნიერო სტატია" @default.
- Q113317681 name "Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory" @default.
- Q113317681 type Item @default.
- Q113317681 label "Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory" @default.
- Q113317681 prefLabel "Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory" @default.
- Q113317681 P1433 Q113317681-9B4A13ED-6F7A-4630-B000-E40A60A54BC1 @default.
- Q113317681 P1476 Q113317681-17ACF959-EEF9-4C7F-9E61-9B2471290F9B @default.
- Q113317681 P2093 Q113317681-1C4C79B0-37A1-4D39-B2A0-3F5FB240768E @default.
- Q113317681 P2093 Q113317681-2BF17210-B460-49CF-9B73-3D2495620DEB @default.
- Q113317681 P2093 Q113317681-5FD9DC61-88EC-4C03-BAE4-D6DB09711FDD @default.
- Q113317681 P2093 Q113317681-BD874CB3-A302-4314-80FC-667DA9F32B89 @default.
- Q113317681 P2093 Q113317681-DF6DC0F5-1F5E-40A7-8B89-0A72434483D1 @default.
- Q113317681 P304 Q113317681-8D89B162-41B5-4F79-AFE4-E11FD9056497 @default.
- Q113317681 P31 Q113317681-0B3F09FF-9D69-4B49-88E0-0BA61487F463 @default.
- Q113317681 P356 Q113317681-512D17D8-8E0F-4BCB-83B7-BD7A5D6A48E5 @default.
- Q113317681 P478 Q113317681-AC77FD47-950F-4DDA-81FA-C55EA3EA3E10 @default.
- Q113317681 P577 Q113317681-89F7A5CE-1BE0-4A3F-AD72-AE08E61A95EC @default.
- Q113317681 P6104 Q113317681-60F2F6F9-2F31-4877-BB20-ABFDBE01490E @default.
- Q113317681 P894 Q113317681-1FAF6930-72C3-4DD6-8ABA-BE8035A5367D @default.
- Q113317681 P356 J.ENTCS.2016.06.008 @default.
- Q113317681 P1433 Q5358287 @default.
- Q113317681 P1476 "Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory" @default.
- Q113317681 P2093 "Ana Bove" @default.
- Q113317681 P2093 "Ernesto Copello" @default.
- Q113317681 P2093 "Maribel Fernández" @default.
- Q113317681 P2093 "Nora Szasz" @default.
- Q113317681 P2093 "Álvaro Tasistro" @default.
- Q113317681 P304 "109-124" @default.
- Q113317681 P31 Q13442814 @default.
- Q113317681 P356 "10.1016/J.ENTCS.2016.06.008" @default.
- Q113317681 P478 "323" @default.
- Q113317681 P577 "2016-07-15T00:00:00Z" @default.
- Q113317681 P6104 Q8487137 @default.
- Q113317681 P894 "1395.68085" @default.