Matches in Wikidata for { <http://www.wikidata.org/entity/Q113901247> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- Q113901247 description "2016 nî lūn-bûn" @default.
- Q113901247 description "2016年の論文" @default.
- Q113901247 description "2016年学术文章" @default.
- Q113901247 description "2016年学术文章" @default.
- Q113901247 description "2016年学术文章" @default.
- Q113901247 description "2016年学术文章" @default.
- Q113901247 description "2016年学术文章" @default.
- Q113901247 description "2016年学术文章" @default.
- Q113901247 description "2016年學術文章" @default.
- Q113901247 description "2016年學術文章" @default.
- Q113901247 description "2016年學術文章" @default.
- Q113901247 description "2016年學術文章" @default.
- Q113901247 description "2016年學術文章" @default.
- Q113901247 description "2016년 논문" @default.
- Q113901247 description "article científic" @default.
- Q113901247 description "article scientific" @default.
- Q113901247 description "article scientifique" @default.
- Q113901247 description "articol științific" @default.
- Q113901247 description "articolo scientifico" @default.
- Q113901247 description "artigo científico" @default.
- Q113901247 description "artigo científico" @default.
- Q113901247 description "artigo científico" @default.
- Q113901247 description "artikel ilmiah" @default.
- Q113901247 description "artikull shkencor" @default.
- Q113901247 description "artikulong pang-agham" @default.
- Q113901247 description "artykuł naukowy" @default.
- Q113901247 description "artículo científico publicado en 2016" @default.
- Q113901247 description "artículu científicu espublizáu en 2016" @default.
- Q113901247 description "bilimsel makale" @default.
- Q113901247 description "bài báo khoa học" @default.
- Q113901247 description "naučni članak" @default.
- Q113901247 description "scienca artikolo" @default.
- Q113901247 description "scientific article published in 2016" @default.
- Q113901247 description "scientific article published on 18 October 2016" @default.
- Q113901247 description "scientific article published on 18 October 2016" @default.
- Q113901247 description "teaduslik artikkel" @default.
- Q113901247 description "tieteellinen artikkeli" @default.
- Q113901247 description "tudományos cikk" @default.
- Q113901247 description "vedecký článok" @default.
- Q113901247 description "vetenskaplig artikel" @default.
- Q113901247 description "videnskabelig artikel udgivet 18. oktober 2016" @default.
- Q113901247 description "vitenskapelig artikkel" @default.
- Q113901247 description "vitskapeleg artikkel" @default.
- Q113901247 description "vědecký článek" @default.
- Q113901247 description "wetenschappelijk artikel" @default.
- Q113901247 description "wissenschaftlicher Artikel" @default.
- Q113901247 description "επιστημονικό άρθρο" @default.
- Q113901247 description "мақолаи илмӣ" @default.
- Q113901247 description "наукова стаття, опублікована в жовтні 2016" @default.
- Q113901247 description "научна статия" @default.
- Q113901247 description "научная статья" @default.
- Q113901247 description "научни чланак" @default.
- Q113901247 description "научни чланак" @default.
- Q113901247 description "מאמר מדעי" @default.
- Q113901247 description "مقالة بحثية نشرت في 18 أكتوبر 2016" @default.
- Q113901247 description "১৮ অক্টোবর ২০১৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113901247 description "บทความทางวิทยาศาสตร์" @default.
- Q113901247 description "სამეცნიერო სტატია" @default.
- Q113901247 name "Soundness and Completeness Proofs by Coinductive Methods" @default.
- Q113901247 type Item @default.
- Q113901247 label "Soundness and Completeness Proofs by Coinductive Methods" @default.
- Q113901247 prefLabel "Soundness and Completeness Proofs by Coinductive Methods" @default.
- Q113901247 P1433 Q113901247-95CBD769-47CD-4D87-A604-90B639F86C7C @default.
- Q113901247 P1476 Q113901247-67E42A98-1FD5-4CE5-A0D1-CE5B2C34E2F9 @default.
- Q113901247 P2093 Q113901247-7FE5E07E-A55B-427F-A5D1-A82D9D7F4487 @default.
- Q113901247 P2093 Q113901247-86C0823D-84CB-4CB3-9830-D36CE172DC68 @default.
- Q113901247 P2093 Q113901247-A33011D4-6FBA-4D89-9E03-99D2A818CF64 @default.
- Q113901247 P304 Q113901247-2387262B-97EA-4AFE-A546-A04E945E23BE @default.
- Q113901247 P31 Q113901247-5A29EB7A-B344-4C7B-BDB9-C8F76AAD3A00 @default.
- Q113901247 P356 Q113901247-3026BCC3-EDC0-44EE-8C2C-C1D8A2AC1B6B @default.
- Q113901247 P433 Q113901247-C7CCB338-A5DE-4EE0-A200-18FF2BADF403 @default.
- Q113901247 P478 Q113901247-0AEEEE93-34C3-4878-8377-96FF9B7DC75E @default.
- Q113901247 P577 Q113901247-B9F4BABD-F1D8-44FB-895A-13EFF9194AB1 @default.
- Q113901247 P6104 Q113901247-3F45F6B6-FFFB-424D-A4BA-598BFBCD11F4 @default.
- Q113901247 P894 Q113901247-4BA96F8D-55A1-4CCF-BB54-7113E1CD285E @default.
- Q113901247 P356 S10817-016-9391-3 @default.
- Q113901247 P1433 Q6294821 @default.
- Q113901247 P1476 "Soundness and Completeness Proofs by Coinductive Methods" @default.
- Q113901247 P2093 "Andrei Popescu" @default.
- Q113901247 P2093 "Dmitriy Traytel" @default.
- Q113901247 P2093 "Jasmin Christian Blanchette" @default.
- Q113901247 P304 "149-179" @default.
- Q113901247 P31 Q13442814 @default.
- Q113901247 P356 "10.1007/S10817-016-9391-3" @default.
- Q113901247 P433 "1" @default.
- Q113901247 P478 "58" @default.
- Q113901247 P577 "2016-10-18T00:00:00Z" @default.
- Q113901247 P6104 Q8487137 @default.
- Q113901247 P894 "1409.68251" @default.