Matches in Wikidata for { <http://www.wikidata.org/entity/Q113857439> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- Q113857439 description "2018 nî lūn-bûn" @default.
- Q113857439 description "2018年の論文" @default.
- Q113857439 description "2018年学术文章" @default.
- Q113857439 description "2018年学术文章" @default.
- Q113857439 description "2018年学术文章" @default.
- Q113857439 description "2018年学术文章" @default.
- Q113857439 description "2018年学术文章" @default.
- Q113857439 description "2018年学术文章" @default.
- Q113857439 description "2018年學術文章" @default.
- Q113857439 description "2018年學術文章" @default.
- Q113857439 description "2018年學術文章" @default.
- Q113857439 description "2018年學術文章" @default.
- Q113857439 description "2018年學術文章" @default.
- Q113857439 description "2018년 논문" @default.
- Q113857439 description "article científic" @default.
- Q113857439 description "article scientific" @default.
- Q113857439 description "article scientifique" @default.
- Q113857439 description "articol științific" @default.
- Q113857439 description "articolo scientifico" @default.
- Q113857439 description "artigo científico" @default.
- Q113857439 description "artigo científico" @default.
- Q113857439 description "artigo científico" @default.
- Q113857439 description "artikel ilmiah" @default.
- Q113857439 description "artikull shkencor" @default.
- Q113857439 description "artikulong pang-agham" @default.
- Q113857439 description "artykuł naukowy" @default.
- Q113857439 description "artículo científico publicado en 2018" @default.
- Q113857439 description "artículu científicu espublizáu en 2018" @default.
- Q113857439 description "bilimsel makale" @default.
- Q113857439 description "bài báo khoa học" @default.
- Q113857439 description "naučni članak" @default.
- Q113857439 description "scienca artikolo" @default.
- Q113857439 description "scientific article published in 2018" @default.
- Q113857439 description "scientific article published on 31 October 2018" @default.
- Q113857439 description "scientific article published on 31 October 2018" @default.
- Q113857439 description "teaduslik artikkel" @default.
- Q113857439 description "tieteellinen artikkeli" @default.
- Q113857439 description "tudományos cikk" @default.
- Q113857439 description "vedecký článok" @default.
- Q113857439 description "vetenskaplig artikel" @default.
- Q113857439 description "videnskabelig artikel udgivet 31. oktober 2018" @default.
- Q113857439 description "vitenskapelig artikkel" @default.
- Q113857439 description "vitskapeleg artikkel" @default.
- Q113857439 description "vědecký článek" @default.
- Q113857439 description "wetenschappelijk artikel" @default.
- Q113857439 description "wissenschaftlicher Artikel" @default.
- Q113857439 description "επιστημονικό άρθρο" @default.
- Q113857439 description "мақолаи илмӣ" @default.
- Q113857439 description "наукова стаття, опублікована в жовтні 2018" @default.
- Q113857439 description "научна статия" @default.
- Q113857439 description "научная статья" @default.
- Q113857439 description "научни чланак" @default.
- Q113857439 description "научни чланак" @default.
- Q113857439 description "գիտական հոդված հրատարակված 2018 թվականին" @default.
- Q113857439 description "מאמר מדעי" @default.
- Q113857439 description "مقالة بحثية نشرت في 31 أكتوبر 2018" @default.
- Q113857439 description "৩১ অক্টোবর ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113857439 description "บทความทางวิทยาศาสตร์" @default.
- Q113857439 description "სამეცნიერო სტატია" @default.
- Q113857439 name "A case study in programming coinductive proofs: Howe’s method" @default.
- Q113857439 type Item @default.
- Q113857439 label "A case study in programming coinductive proofs: Howe’s method" @default.
- Q113857439 prefLabel "A case study in programming coinductive proofs: Howe’s method" @default.
- Q113857439 P1433 Q113857439-095BD653-2111-462C-9E1A-A43C50593134 @default.
- Q113857439 P1476 Q113857439-854CF03B-E60F-4000-A22C-5A9189046240 @default.
- Q113857439 P2093 Q113857439-83F0D647-1A79-410F-AAC7-8C372BE5562B @default.
- Q113857439 P2093 Q113857439-CBCAB75F-83B1-4E11-B6BF-C74EA9EA1473 @default.
- Q113857439 P2093 Q113857439-CDE5603E-A442-4EC1-A320-876D05CAC82D @default.
- Q113857439 P304 Q113857439-340125A7-B43A-498D-BB86-879909CE77D1 @default.
- Q113857439 P31 Q113857439-795F48AD-601D-43F3-86E4-1AB3B9CAEB73 @default.
- Q113857439 P356 Q113857439-38C0DE8F-E816-4572-A292-0AA8D8444175 @default.
- Q113857439 P433 Q113857439-6F5D6B5C-4A6F-4496-8EEE-7F3CB17685A8 @default.
- Q113857439 P478 Q113857439-A7280ADD-C0FA-4BF2-ACC9-4A6C31218C23 @default.
- Q113857439 P577 Q113857439-D1E0DC80-9313-4473-8D89-7489596DFEDE @default.
- Q113857439 P6104 Q113857439-4ED1C00B-CBCF-432E-A907-2194DD3BE5C1 @default.
- Q113857439 P894 Q113857439-58F213E2-9C20-46B6-9365-9650AFB4A2CA @default.
- Q113857439 P356 S0960129518000415 @default.
- Q113857439 P1433 Q15762975 @default.
- Q113857439 P1476 "A case study in programming coinductive proofs: Howe’s method" @default.
- Q113857439 P2093 "ALBERTO MOMIGLIANO" @default.
- Q113857439 P2093 "BRIGITTE PIENTKA" @default.
- Q113857439 P2093 "DAVID THIBODEAU" @default.
- Q113857439 P304 "1309-1343" @default.
- Q113857439 P31 Q13442814 @default.
- Q113857439 P356 "10.1017/S0960129518000415" @default.
- Q113857439 P433 "8" @default.
- Q113857439 P478 "29" @default.
- Q113857439 P577 "2018-10-31T00:00:00Z" @default.
- Q113857439 P6104 Q8487137 @default.
- Q113857439 P894 "1430.68418" @default.