Matches in Wikidata for { <http://www.wikidata.org/entity/Q113773287> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- Q113773287 description "2018 nî lūn-bûn" @default.
- Q113773287 description "2018年の論文" @default.
- Q113773287 description "2018年学术文章" @default.
- Q113773287 description "2018年学术文章" @default.
- Q113773287 description "2018年学术文章" @default.
- Q113773287 description "2018年学术文章" @default.
- Q113773287 description "2018年学术文章" @default.
- Q113773287 description "2018年学术文章" @default.
- Q113773287 description "2018年學術文章" @default.
- Q113773287 description "2018年學術文章" @default.
- Q113773287 description "2018年學術文章" @default.
- Q113773287 description "2018年學術文章" @default.
- Q113773287 description "2018年學術文章" @default.
- Q113773287 description "2018년 논문" @default.
- Q113773287 description "article científic" @default.
- Q113773287 description "article scientific" @default.
- Q113773287 description "article scientifique" @default.
- Q113773287 description "articol științific" @default.
- Q113773287 description "articolo scientifico" @default.
- Q113773287 description "artigo científico" @default.
- Q113773287 description "artigo científico" @default.
- Q113773287 description "artigo científico" @default.
- Q113773287 description "artikel ilmiah" @default.
- Q113773287 description "artikull shkencor" @default.
- Q113773287 description "artikulong pang-agham" @default.
- Q113773287 description "artykuł naukowy" @default.
- Q113773287 description "artículo científico publicado en 2018" @default.
- Q113773287 description "artículu científicu espublizáu en 2018" @default.
- Q113773287 description "bilimsel makale" @default.
- Q113773287 description "bài báo khoa học" @default.
- Q113773287 description "naučni članak" @default.
- Q113773287 description "scienca artikolo" @default.
- Q113773287 description "scientific article published in 2018" @default.
- Q113773287 description "scientific article published on 30 July 2018" @default.
- Q113773287 description "scientific article published on 30 July 2018" @default.
- Q113773287 description "teaduslik artikkel" @default.
- Q113773287 description "tieteellinen artikkeli" @default.
- Q113773287 description "tudományos cikk" @default.
- Q113773287 description "vedecký článok" @default.
- Q113773287 description "vetenskaplig artikel" @default.
- Q113773287 description "videnskabelig artikel udgivet 30. juli 2018" @default.
- Q113773287 description "vitenskapelig artikkel" @default.
- Q113773287 description "vitskapeleg artikkel" @default.
- Q113773287 description "vědecký článek" @default.
- Q113773287 description "wetenschappelijk artikel" @default.
- Q113773287 description "wissenschaftlicher Artikel" @default.
- Q113773287 description "επιστημονικό άρθρο" @default.
- Q113773287 description "мақолаи илмӣ" @default.
- Q113773287 description "наукова стаття, опублікована в липні 2018" @default.
- Q113773287 description "научна статия" @default.
- Q113773287 description "научная статья" @default.
- Q113773287 description "научни чланак" @default.
- Q113773287 description "научни чланак" @default.
- Q113773287 description "מאמר מדעי" @default.
- Q113773287 description "مقالة بحثية نشرت في 30 يوليو 2018" @default.
- Q113773287 description "৩০ জুলাই ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113773287 description "บทความทางวิทยาศาสตร์" @default.
- Q113773287 description "სამეცნიერო სტატია" @default.
- Q113773287 name "Compositional soundness proofs of abstract interpreters" @default.
- Q113773287 type Item @default.
- Q113773287 label "Compositional soundness proofs of abstract interpreters" @default.
- Q113773287 prefLabel "Compositional soundness proofs of abstract interpreters" @default.
- Q113773287 P1433 Q113773287-EA7FF14C-3652-408F-A6DB-0E6CF28833FC @default.
- Q113773287 P1476 Q113773287-49FCF848-FFDD-4D4C-AD4B-8AD7D8FE6FC6 @default.
- Q113773287 P2093 Q113773287-2075FE53-EA78-4B82-83D4-85FBF0DFC85A @default.
- Q113773287 P2093 Q113773287-33C4C567-0DB1-4DB0-9DE3-6A4A1921545B @default.
- Q113773287 P2093 Q113773287-A50B58A4-B368-43BD-A267-F47B1F6A42F0 @default.
- Q113773287 P304 Q113773287-BCF3B7BF-12EB-4EB4-AA01-53DAC4BAC546 @default.
- Q113773287 P31 Q113773287-7AA9585C-7DBE-476C-B6DE-6E40DB7D8FEE @default.
- Q113773287 P356 Q113773287-5749FD13-5BB6-468A-AFB2-06787AACE1C6 @default.
- Q113773287 P433 Q113773287-78BC3C71-B95F-4A53-957C-17553E1FCE45 @default.
- Q113773287 P478 Q113773287-973B86D7-83DD-4F36-B5B4-2884632D7989 @default.
- Q113773287 P577 Q113773287-33CACCCC-8C85-4A21-8846-2CD74504C4F9 @default.
- Q113773287 P356 3236767 @default.
- Q113773287 P1433 Q93356659 @default.
- Q113773287 P1476 "Compositional soundness proofs of abstract interpreters" @default.
- Q113773287 P2093 "Casper Bach Poulsen" @default.
- Q113773287 P2093 "Sebastian Erdweg" @default.
- Q113773287 P2093 "Sven Keidel" @default.
- Q113773287 P304 "1-26" @default.
- Q113773287 P31 Q13442814 @default.
- Q113773287 P356 "10.1145/3236767" @default.
- Q113773287 P433 "ICFP" @default.
- Q113773287 P478 "2" @default.
- Q113773287 P577 "2018-07-30T00:00:00Z" @default.