Matches in Wikidata for { <http://www.wikidata.org/entity/Q113857441> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q113857441 description "2018 nî lūn-bûn" @default.
- Q113857441 description "2018年の論文" @default.
- Q113857441 description "2018年学术文章" @default.
- Q113857441 description "2018年学术文章" @default.
- Q113857441 description "2018年学术文章" @default.
- Q113857441 description "2018年学术文章" @default.
- Q113857441 description "2018年学术文章" @default.
- Q113857441 description "2018年学术文章" @default.
- Q113857441 description "2018年學術文章" @default.
- Q113857441 description "2018年學術文章" @default.
- Q113857441 description "2018年學術文章" @default.
- Q113857441 description "2018年學術文章" @default.
- Q113857441 description "2018年學術文章" @default.
- Q113857441 description "2018년 논문" @default.
- Q113857441 description "article científic" @default.
- Q113857441 description "article scientific" @default.
- Q113857441 description "article scientifique" @default.
- Q113857441 description "articol științific" @default.
- Q113857441 description "articolo scientifico" @default.
- Q113857441 description "artigo científico" @default.
- Q113857441 description "artigo científico" @default.
- Q113857441 description "artigo científico" @default.
- Q113857441 description "artikel ilmiah" @default.
- Q113857441 description "artikull shkencor" @default.
- Q113857441 description "artikulong pang-agham" @default.
- Q113857441 description "artykuł naukowy" @default.
- Q113857441 description "artículo científico publicado en 2018" @default.
- Q113857441 description "artículu científicu espublizáu en 2018" @default.
- Q113857441 description "bilimsel makale" @default.
- Q113857441 description "bài báo khoa học" @default.
- Q113857441 description "naučni članak" @default.
- Q113857441 description "scienca artikolo" @default.
- Q113857441 description "scientific article published in 2018" @default.
- Q113857441 description "scientific article published on 2 August 2018" @default.
- Q113857441 description "scientific article published on 2 August 2018" @default.
- Q113857441 description "teaduslik artikkel" @default.
- Q113857441 description "tieteellinen artikkeli" @default.
- Q113857441 description "tudományos cikk" @default.
- Q113857441 description "vedecký článok" @default.
- Q113857441 description "vetenskaplig artikel" @default.
- Q113857441 description "videnskabelig artikel udgivet 2. august 2018" @default.
- Q113857441 description "vitenskapelig artikkel" @default.
- Q113857441 description "vitskapeleg artikkel" @default.
- Q113857441 description "vědecký článek" @default.
- Q113857441 description "wetenschappelijk artikel" @default.
- Q113857441 description "wissenschaftlicher Artikel" @default.
- Q113857441 description "επιστημονικό άρθρο" @default.
- Q113857441 description "мақолаи илмӣ" @default.
- Q113857441 description "наукова стаття, опублікована в серпні 2018" @default.
- Q113857441 description "научна статия" @default.
- Q113857441 description "научная статья" @default.
- Q113857441 description "научни чланак" @default.
- Q113857441 description "научни чланак" @default.
- Q113857441 description "מאמר מדעי" @default.
- Q113857441 description "مقالة بحثية نشرت في 2 أغسطس 2018" @default.
- Q113857441 description "২ আগস্ট ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113857441 description "บทความทางวิทยาศาสตร์" @default.
- Q113857441 description "სამეცნიერო სტატია" @default.
- Q113857441 name "Mechanizing proofs with logical relations – Kripke-style" @default.
- Q113857441 type Item @default.
- Q113857441 label "Mechanizing proofs with logical relations – Kripke-style" @default.
- Q113857441 prefLabel "Mechanizing proofs with logical relations – Kripke-style" @default.
- Q113857441 P1433 Q113857441-869BE0DD-F498-4CA5-8E69-469418B4419C @default.
- Q113857441 P1476 Q113857441-3BBB1805-286B-407B-B3E2-D7898C96A425 @default.
- Q113857441 P2093 Q113857441-16EE9CCD-BE9C-434D-93DA-29A4EB17A953 @default.
- Q113857441 P2093 Q113857441-D6E84F82-7988-4523-8D39-70E7432194BF @default.
- Q113857441 P304 Q113857441-AF24BCF5-465B-4A4D-BC11-C8D709969685 @default.
- Q113857441 P31 Q113857441-06FE9E22-7B4C-47AD-88F7-FF021EC8BAD5 @default.
- Q113857441 P356 Q113857441-130FC339-CD3B-4F14-AA3A-A1366691C7DA @default.
- Q113857441 P433 Q113857441-A764A1B8-E4CF-410A-B826-3DE28219FD0F @default.
- Q113857441 P478 Q113857441-3810F307-5CD3-47EB-95F1-C351B5336773 @default.
- Q113857441 P577 Q113857441-E562800B-6AFD-450A-9BF0-9C4801A34810 @default.
- Q113857441 P6104 Q113857441-8BE8E22C-687F-4FAB-A96D-4E9F80B90061 @default.
- Q113857441 P894 Q113857441-4F25F25F-B1DB-4852-82B2-23FD330A4C01 @default.
- Q113857441 P356 S0960129518000154 @default.
- Q113857441 P1433 Q15762975 @default.
- Q113857441 P1476 "Mechanizing proofs with logical relations – Kripke-style" @default.
- Q113857441 P2093 "ANDREW CAVE" @default.
- Q113857441 P2093 "BRIGITTE PIENTKA" @default.
- Q113857441 P304 "1606-1638" @default.
- Q113857441 P31 Q13442814 @default.
- Q113857441 P356 "10.1017/S0960129518000154" @default.
- Q113857441 P433 "9" @default.
- Q113857441 P478 "28" @default.
- Q113857441 P577 "2018-08-02T00:00:00Z" @default.
- Q113857441 P6104 Q8487137 @default.
- Q113857441 P894 "1400.68193" @default.