Matches in Wikidata for { <http://www.wikidata.org/entity/Q114614093> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q114614093 description "2017 nî lūn-bûn" @default.
- Q114614093 description "2017年の論文" @default.
- Q114614093 description "2017年学术文章" @default.
- Q114614093 description "2017年学术文章" @default.
- Q114614093 description "2017年学术文章" @default.
- Q114614093 description "2017年学术文章" @default.
- Q114614093 description "2017年学术文章" @default.
- Q114614093 description "2017年学术文章" @default.
- Q114614093 description "2017年學術文章" @default.
- Q114614093 description "2017年學術文章" @default.
- Q114614093 description "2017年學術文章" @default.
- Q114614093 description "2017年學術文章" @default.
- Q114614093 description "2017年學術文章" @default.
- Q114614093 description "2017년 논문" @default.
- Q114614093 description "article científic" @default.
- Q114614093 description "article scientific" @default.
- Q114614093 description "article scientifique" @default.
- Q114614093 description "articol științific" @default.
- Q114614093 description "articolo scientifico" @default.
- Q114614093 description "artigo científico" @default.
- Q114614093 description "artigo científico" @default.
- Q114614093 description "artigo científico" @default.
- Q114614093 description "artikel ilmiah" @default.
- Q114614093 description "artikull shkencor" @default.
- Q114614093 description "artikulong pang-agham" @default.
- Q114614093 description "artykuł naukowy" @default.
- Q114614093 description "artículo científico publicado en 2017" @default.
- Q114614093 description "artículu científicu espublizáu en 2017" @default.
- Q114614093 description "bilimsel makale" @default.
- Q114614093 description "bài báo khoa học" @default.
- Q114614093 description "naučni članak" @default.
- Q114614093 description "scienca artikolo" @default.
- Q114614093 description "scientific article published in 2017" @default.
- Q114614093 description "scientific article published on 29 May 2017" @default.
- Q114614093 description "scientific article published on 29 May 2017" @default.
- Q114614093 description "teaduslik artikkel" @default.
- Q114614093 description "tieteellinen artikkeli" @default.
- Q114614093 description "tudományos cikk" @default.
- Q114614093 description "vedecký článok" @default.
- Q114614093 description "vetenskaplig artikel" @default.
- Q114614093 description "videnskabelig artikel udgivet 29. maj 2017" @default.
- Q114614093 description "vitenskapelig artikkel" @default.
- Q114614093 description "vitskapeleg artikkel" @default.
- Q114614093 description "vědecký článek" @default.
- Q114614093 description "wetenschappelijk artikel" @default.
- Q114614093 description "wissenschaftlicher Artikel" @default.
- Q114614093 description "επιστημονικό άρθρο" @default.
- Q114614093 description "мақолаи илмӣ" @default.
- Q114614093 description "наукова стаття, опублікована в травні 2017" @default.
- Q114614093 description "научна статия" @default.
- Q114614093 description "научная статья" @default.
- Q114614093 description "научни чланак" @default.
- Q114614093 description "научни чланак" @default.
- Q114614093 description "מאמר מדעי" @default.
- Q114614093 description "مقالة بحثية نشرت في 29 مايو 2017" @default.
- Q114614093 description "২৯ মে ২০১৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q114614093 description "บทความทางวิทยาศาสตร์" @default.
- Q114614093 description "სამეცნიერო სტატია" @default.
- Q114614093 name "Programs from Proofs" @default.
- Q114614093 type Item @default.
- Q114614093 label "Programs from Proofs" @default.
- Q114614093 prefLabel "Programs from Proofs" @default.
- Q114614093 P1433 Q114614093-F68619BE-EDF3-407C-A9F0-751FE9BC90E2 @default.
- Q114614093 P1476 Q114614093-A36AFB0F-3DF8-455F-82D7-F3739E6A8517 @default.
- Q114614093 P2093 Q114614093-021E279C-3EBC-4B9A-9464-77B53B297C8E @default.
- Q114614093 P2093 Q114614093-9A4AFD25-C870-4F6F-8388-C974F2FAD3C0 @default.
- Q114614093 P304 Q114614093-53784AD0-404D-46A8-9565-52DF718EE5F2 @default.
- Q114614093 P31 Q114614093-EBCF0855-9077-401E-9BC2-FF12AA60163B @default.
- Q114614093 P356 Q114614093-481BAF71-E649-4B56-8738-5599A3977626 @default.
- Q114614093 P433 Q114614093-5F1F2491-C1F5-4605-AE5B-0AB016E8CEAA @default.
- Q114614093 P478 Q114614093-F4AA7809-06AA-4865-A181-74B1834A2DC3 @default.
- Q114614093 P577 Q114614093-49D54B7D-B034-4FE0-B2DA-E116828F043F @default.
- Q114614093 P356 3014427 @default.
- Q114614093 P1433 Q4650737 @default.
- Q114614093 P1476 "Programs from Proofs" @default.
- Q114614093 P2093 "Heike Wehrheim" @default.
- Q114614093 P2093 "Marie-Christine Jakobs" @default.
- Q114614093 P304 "1-56" @default.
- Q114614093 P31 Q13442814 @default.
- Q114614093 P356 "10.1145/3014427" @default.
- Q114614093 P433 "2" @default.
- Q114614093 P478 "39" @default.
- Q114614093 P577 "2017-05-29T00:00:00Z" @default.