Matches in Wikidata for { <http://www.wikidata.org/entity/Q122402818> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- Q122402818 description "2023 nî lūn-bûn" @default.
- Q122402818 description "2023年の論文" @default.
- Q122402818 description "2023年学术文章" @default.
- Q122402818 description "2023年学术文章" @default.
- Q122402818 description "2023年学术文章" @default.
- Q122402818 description "2023年学术文章" @default.
- Q122402818 description "2023年学术文章" @default.
- Q122402818 description "2023年学术文章" @default.
- Q122402818 description "2023年學術文章" @default.
- Q122402818 description "2023年學術文章" @default.
- Q122402818 description "2023年學術文章" @default.
- Q122402818 description "2023年學術文章" @default.
- Q122402818 description "2023年學術文章" @default.
- Q122402818 description "2023년 논문" @default.
- Q122402818 description "article científic" @default.
- Q122402818 description "article scientific" @default.
- Q122402818 description "article scientifique" @default.
- Q122402818 description "articol științific" @default.
- Q122402818 description "articolo scientifico" @default.
- Q122402818 description "artigo científico" @default.
- Q122402818 description "artigo científico" @default.
- Q122402818 description "artigo científico" @default.
- Q122402818 description "artikel ilmiah" @default.
- Q122402818 description "artikull shkencor" @default.
- Q122402818 description "artikulong pang-agham" @default.
- Q122402818 description "artykuł naukowy" @default.
- Q122402818 description "artículo científico publicado en 2023" @default.
- Q122402818 description "artículu científicu espublizáu en 2023" @default.
- Q122402818 description "bilimsel makale" @default.
- Q122402818 description "bài báo khoa học" @default.
- Q122402818 description "naučni članak" @default.
- Q122402818 description "scienca artikolo" @default.
- Q122402818 description "scientific article published in 2023" @default.
- Q122402818 description "scientific article published on 23 March 2023" @default.
- Q122402818 description "scientific article published on 23 March 2023" @default.
- Q122402818 description "teaduslik artikkel" @default.
- Q122402818 description "tieteellinen artikkeli" @default.
- Q122402818 description "tudományos cikk" @default.
- Q122402818 description "vedecký článok" @default.
- Q122402818 description "vetenskaplig artikel" @default.
- Q122402818 description "videnskabelig artikel udgivet 23. marts 2023" @default.
- Q122402818 description "vitenskapelig artikkel" @default.
- Q122402818 description "vitskapeleg artikkel" @default.
- Q122402818 description "vědecký článek" @default.
- Q122402818 description "wetenschappelijk artikel" @default.
- Q122402818 description "wissenschaftlicher Artikel" @default.
- Q122402818 description "znanstveni članek" @default.
- Q122402818 description "επιστημονικό άρθρο" @default.
- Q122402818 description "мақолаи илмӣ" @default.
- Q122402818 description "наукова стаття, опублікована в березні 2023" @default.
- Q122402818 description "научна статия" @default.
- Q122402818 description "научная статья" @default.
- Q122402818 description "научни чланак" @default.
- Q122402818 description "научни чланак" @default.
- Q122402818 description "מאמר מדעי" @default.
- Q122402818 description "مقالة بحثية نشرت في 23 مارس 2023" @default.
- Q122402818 description "২৩ মার্চ ২০২৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q122402818 description "บทความทางวิทยาศาสตร์" @default.
- Q122402818 description "სამეცნიერო სტატია" @default.
- Q122402818 name "A Formal Proof of the Strong Normalization Theorem for System T in Agda" @default.
- Q122402818 type Item @default.
- Q122402818 label "A Formal Proof of the Strong Normalization Theorem for System T in Agda" @default.
- Q122402818 prefLabel "A Formal Proof of the Strong Normalization Theorem for System T in Agda" @default.
- Q122402818 P1433 Q122402818-EB0DB4B9-3097-4288-AB36-FDB8F5E18DA2 @default.
- Q122402818 P1476 Q122402818-681CAEEC-0DE6-4358-9274-875A1D452D7F @default.
- Q122402818 P2093 Q122402818-C18992AC-602B-44E7-B4FB-8103CDE811AB @default.
- Q122402818 P304 Q122402818-61B84476-DCE0-44CE-A33F-EBEC9A6F75A0 @default.
- Q122402818 P31 Q122402818-D58BEC14-8558-405F-BF04-2D540564CC22 @default.
- Q122402818 P356 Q122402818-6BDD353B-EE2C-41B5-96E5-CBBCF27128E8 @default.
- Q122402818 P478 Q122402818-BF8AF766-3491-412A-83F1-D5CAAFFE6700 @default.
- Q122402818 P577 Q122402818-2F35749E-2EDD-4E29-AB23-70BC8EE147CD @default.
- Q122402818 P818 Q122402818-982a5e07-dd01-4439-bc68-72103a5720a3 @default.
- Q122402818 P356 EPTCS.376.8 @default.
- Q122402818 P1433 Q5358295 @default.
- Q122402818 P1476 "A Formal Proof of the Strong Normalization Theorem for System T in Agda" @default.
- Q122402818 P2093 "Sebastián Urciuoli" @default.
- Q122402818 P304 "81-99" @default.
- Q122402818 P31 Q13442814 @default.
- Q122402818 P356 "10.4204/EPTCS.376.8" @default.
- Q122402818 P478 "376" @default.
- Q122402818 P577 "2023-03-23T00:00:00Z" @default.
- Q122402818 P818 "2303.13258" @default.