Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317554> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- Q113317554 description "2018 nî lūn-bûn" @default.
- Q113317554 description "2018年の論文" @default.
- Q113317554 description "2018年学术文章" @default.
- Q113317554 description "2018年学术文章" @default.
- Q113317554 description "2018年学术文章" @default.
- Q113317554 description "2018年学术文章" @default.
- Q113317554 description "2018年学术文章" @default.
- Q113317554 description "2018年学术文章" @default.
- Q113317554 description "2018年學術文章" @default.
- Q113317554 description "2018年學術文章" @default.
- Q113317554 description "2018年學術文章" @default.
- Q113317554 description "2018年學術文章" @default.
- Q113317554 description "2018年學術文章" @default.
- Q113317554 description "2018년 논문" @default.
- Q113317554 description "article científic" @default.
- Q113317554 description "article scientific" @default.
- Q113317554 description "article scientifique" @default.
- Q113317554 description "articol științific" @default.
- Q113317554 description "articolo scientifico" @default.
- Q113317554 description "artigo científico" @default.
- Q113317554 description "artigo científico" @default.
- Q113317554 description "artigo científico" @default.
- Q113317554 description "artikel ilmiah" @default.
- Q113317554 description "artikull shkencor" @default.
- Q113317554 description "artikulong pang-agham" @default.
- Q113317554 description "artykuł naukowy" @default.
- Q113317554 description "artículo científico publicado en 2018" @default.
- Q113317554 description "artículu científicu espublizáu n'abril de 2018" @default.
- Q113317554 description "bilimsel makale" @default.
- Q113317554 description "bài báo khoa học" @default.
- Q113317554 description "naučni članak" @default.
- Q113317554 description "scienca artikolo" @default.
- Q113317554 description "scientific article published on 17 April 2018" @default.
- Q113317554 description "scientific article published on 17 April 2018" @default.
- Q113317554 description "scientific article published on 17 April 2018" @default.
- Q113317554 description "teaduslik artikkel" @default.
- Q113317554 description "tieteellinen artikkeli" @default.
- Q113317554 description "tudományos cikk" @default.
- Q113317554 description "vedecký článok" @default.
- Q113317554 description "vetenskaplig artikel" @default.
- Q113317554 description "videnskabelig artikel udgivet 17. april 2018" @default.
- Q113317554 description "vitenskapelig artikkel" @default.
- Q113317554 description "vitskapeleg artikkel" @default.
- Q113317554 description "vědecký článek" @default.
- Q113317554 description "wetenschappelijk artikel" @default.
- Q113317554 description "wissenschaftlicher Artikel" @default.
- Q113317554 description "επιστημονικό άρθρο" @default.
- Q113317554 description "мақолаи илмӣ" @default.
- Q113317554 description "наукова стаття, опублікована у квітні 2018" @default.
- Q113317554 description "научна статия" @default.
- Q113317554 description "научная статья" @default.
- Q113317554 description "научни чланак" @default.
- Q113317554 description "научни чланак" @default.
- Q113317554 description "գիտական հոդված հրատարակված 2018 թվականի ապրիլի 17-ին" @default.
- Q113317554 description "מאמר מדעי" @default.
- Q113317554 description "مقالة بحثية نشرت في 17 أبريل 2018" @default.
- Q113317554 description "১৭ এপ্রিল ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317554 description "บทความทางวิทยาศาสตร์" @default.
- Q113317554 description "სამეცნიერო სტატია" @default.
- Q113317554 name "A Game Semantics of Concurrent Separation Logic" @default.
- Q113317554 type Item @default.
- Q113317554 label "A Game Semantics of Concurrent Separation Logic" @default.
- Q113317554 prefLabel "A Game Semantics of Concurrent Separation Logic" @default.
- Q113317554 P1433 Q113317554-BB56F584-E2E1-4CA6-BD42-0CF2327D68E4 @default.
- Q113317554 P1476 Q113317554-B9DDDE7B-92AC-4866-9B64-6E19305BBC08 @default.
- Q113317554 P2093 Q113317554-84457E1B-6B30-4BA3-BD5F-FD763C92F0FC @default.
- Q113317554 P2093 Q113317554-A505A7AD-3F9D-4CC8-A2F0-339205621EFD @default.
- Q113317554 P304 Q113317554-A1EC5363-A370-47B4-98A9-1390674AA4D6 @default.
- Q113317554 P31 Q113317554-CF9F4591-2095-4298-B03D-D2B7B9F66C56 @default.
- Q113317554 P356 Q113317554-6E0BB004-404D-41E2-823E-A0C6E6095A1F @default.
- Q113317554 P478 Q113317554-7348BF4D-8CA3-437A-A6F5-D323382F7DED @default.
- Q113317554 P577 Q113317554-6C4761BA-8535-4CF7-A46F-B1D5A9D7717F @default.
- Q113317554 P356 J.ENTCS.2018.03.026 @default.
- Q113317554 P1433 Q5358287 @default.
- Q113317554 P1476 "A Game Semantics of Concurrent Separation Logic" @default.
- Q113317554 P2093 "Léo Stefanesco" @default.
- Q113317554 P2093 "Paul-André Melliès" @default.
- Q113317554 P304 "241-256" @default.
- Q113317554 P31 Q13442814 @default.
- Q113317554 P356 "10.1016/J.ENTCS.2018.03.026" @default.
- Q113317554 P478 "336" @default.
- Q113317554 P577 "2018-04-17T00:00:00Z" @default.