Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317564> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q113317564 description "2018 nî lūn-bûn" @default.
- Q113317564 description "2018年の論文" @default.
- Q113317564 description "2018年学术文章" @default.
- Q113317564 description "2018年学术文章" @default.
- Q113317564 description "2018年学术文章" @default.
- Q113317564 description "2018年学术文章" @default.
- Q113317564 description "2018年学术文章" @default.
- Q113317564 description "2018年学术文章" @default.
- Q113317564 description "2018年學術文章" @default.
- Q113317564 description "2018年學術文章" @default.
- Q113317564 description "2018年學術文章" @default.
- Q113317564 description "2018年學術文章" @default.
- Q113317564 description "2018年學術文章" @default.
- Q113317564 description "2018년 논문" @default.
- Q113317564 description "article científic" @default.
- Q113317564 description "article scientific" @default.
- Q113317564 description "article scientifique" @default.
- Q113317564 description "articol științific" @default.
- Q113317564 description "articolo scientifico" @default.
- Q113317564 description "artigo científico" @default.
- Q113317564 description "artigo científico" @default.
- Q113317564 description "artigo científico" @default.
- Q113317564 description "artikel ilmiah" @default.
- Q113317564 description "artikull shkencor" @default.
- Q113317564 description "artikulong pang-agham" @default.
- Q113317564 description "artykuł naukowy" @default.
- Q113317564 description "artículo científico publicado en 2018" @default.
- Q113317564 description "artículu científicu espublizáu n'abril de 2018" @default.
- Q113317564 description "bilimsel makale" @default.
- Q113317564 description "bài báo khoa học" @default.
- Q113317564 description "naučni članak" @default.
- Q113317564 description "scienca artikolo" @default.
- Q113317564 description "scientific article published on 17 April 2018" @default.
- Q113317564 description "scientific article published on 17 April 2018" @default.
- Q113317564 description "scientific article published on 17 April 2018" @default.
- Q113317564 description "teaduslik artikkel" @default.
- Q113317564 description "tieteellinen artikkeli" @default.
- Q113317564 description "tudományos cikk" @default.
- Q113317564 description "vedecký článok" @default.
- Q113317564 description "vetenskaplig artikel" @default.
- Q113317564 description "videnskabelig artikel udgivet 17. april 2018" @default.
- Q113317564 description "vitenskapelig artikkel" @default.
- Q113317564 description "vitskapeleg artikkel" @default.
- Q113317564 description "vědecký článek" @default.
- Q113317564 description "wetenschappelijk artikel" @default.
- Q113317564 description "wissenschaftlicher Artikel" @default.
- Q113317564 description "επιστημονικό άρθρο" @default.
- Q113317564 description "мақолаи илмӣ" @default.
- Q113317564 description "наукова стаття, опублікована у квітні 2018" @default.
- Q113317564 description "научна статия" @default.
- Q113317564 description "научная статья" @default.
- Q113317564 description "научни чланак" @default.
- Q113317564 description "научни чланак" @default.
- Q113317564 description "מאמר מדעי" @default.
- Q113317564 description "مقالة بحثية نشرت في 17 أبريل 2018" @default.
- Q113317564 description "১৭ এপ্রিল ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317564 description "บทความทางวิทยาศาสตร์" @default.
- Q113317564 description "სამეცნიერო სტატია" @default.
- Q113317564 name "On Models of Higher-Order Separation Logic" @default.
- Q113317564 type Item @default.
- Q113317564 label "On Models of Higher-Order Separation Logic" @default.
- Q113317564 prefLabel "On Models of Higher-Order Separation Logic" @default.
- Q113317564 P1433 Q113317564-CA0F98DA-F36F-4D94-B7F6-6F2AE7F85050 @default.
- Q113317564 P1476 Q113317564-F20B0123-A235-4A71-BC04-08BE8CEB6B80 @default.
- Q113317564 P2093 Q113317564-05762C12-ECC1-4E21-9B86-D0066E214ECB @default.
- Q113317564 P2093 Q113317564-1C5514FD-408B-4F4F-9A7A-262E7598770D @default.
- Q113317564 P304 Q113317564-3638ACB9-C54A-4907-93E2-8AA86D1147C5 @default.
- Q113317564 P31 Q113317564-28E33262-982A-468B-AEFE-6560DABE2A1B @default.
- Q113317564 P356 Q113317564-130E26F9-8BB0-462A-AE26-07D0A2013B89 @default.
- Q113317564 P478 Q113317564-F92414E2-91ED-44A5-A142-5BEA44AC849B @default.
- Q113317564 P577 Q113317564-72578B3F-7405-4603-BB33-7209220E6FF5 @default.
- Q113317564 P356 J.ENTCS.2018.03.016 @default.
- Q113317564 P1433 Q5358287 @default.
- Q113317564 P1476 "On Models of Higher-Order Separation Logic" @default.
- Q113317564 P2093 "Aleš Bizjak" @default.
- Q113317564 P2093 "Lars Birkedal" @default.
- Q113317564 P304 "57-78" @default.
- Q113317564 P31 Q13442814 @default.
- Q113317564 P356 "10.1016/J.ENTCS.2018.03.016" @default.
- Q113317564 P478 "336" @default.
- Q113317564 P577 "2018-04-17T00:00:00Z" @default.