Matches in Wikidata for { <http://www.wikidata.org/entity/Q114944761> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q114944761 description "2018 nî lūn-bûn" @default.
- Q114944761 description "2018年の論文" @default.
- Q114944761 description "2018年学术文章" @default.
- Q114944761 description "2018年学术文章" @default.
- Q114944761 description "2018年学术文章" @default.
- Q114944761 description "2018年学术文章" @default.
- Q114944761 description "2018年学术文章" @default.
- Q114944761 description "2018年学术文章" @default.
- Q114944761 description "2018年學術文章" @default.
- Q114944761 description "2018年學術文章" @default.
- Q114944761 description "2018年學術文章" @default.
- Q114944761 description "2018年學術文章" @default.
- Q114944761 description "2018年學術文章" @default.
- Q114944761 description "2018년 논문" @default.
- Q114944761 description "article científic" @default.
- Q114944761 description "article scientific" @default.
- Q114944761 description "article scientifique" @default.
- Q114944761 description "articol științific" @default.
- Q114944761 description "articolo scientifico" @default.
- Q114944761 description "artigo científico" @default.
- Q114944761 description "artigo científico" @default.
- Q114944761 description "artigo científico" @default.
- Q114944761 description "artikel ilmiah" @default.
- Q114944761 description "artikull shkencor" @default.
- Q114944761 description "artikulong pang-agham" @default.
- Q114944761 description "artykuł naukowy" @default.
- Q114944761 description "artículo científico publicado en 2018" @default.
- Q114944761 description "artículu científicu espublizáu en 2018" @default.
- Q114944761 description "bilimsel makale" @default.
- Q114944761 description "bài báo khoa học" @default.
- Q114944761 description "naučni članak" @default.
- Q114944761 description "scienca artikolo" @default.
- Q114944761 description "scientific article published in 2018" @default.
- Q114944761 description "scientific article published on 9 April 2018" @default.
- Q114944761 description "scientific article published on 9 April 2018" @default.
- Q114944761 description "teaduslik artikkel" @default.
- Q114944761 description "tieteellinen artikkeli" @default.
- Q114944761 description "tudományos cikk" @default.
- Q114944761 description "vedecký článok" @default.
- Q114944761 description "vetenskaplig artikel" @default.
- Q114944761 description "videnskabelig artikel udgivet 9. april 2018" @default.
- Q114944761 description "vitenskapelig artikkel" @default.
- Q114944761 description "vitskapeleg artikkel" @default.
- Q114944761 description "vědecký článek" @default.
- Q114944761 description "wetenschappelijk artikel" @default.
- Q114944761 description "wissenschaftlicher Artikel" @default.
- Q114944761 description "επιστημονικό άρθρο" @default.
- Q114944761 description "мақолаи илмӣ" @default.
- Q114944761 description "наукова стаття, опублікована у квітні 2018" @default.
- Q114944761 description "научна статия" @default.
- Q114944761 description "научная статья" @default.
- Q114944761 description "научни чланак" @default.
- Q114944761 description "научни чланак" @default.
- Q114944761 description "מאמר מדעי" @default.
- Q114944761 description "مقالة بحثية نشرت في 9 أبريل 2018" @default.
- Q114944761 description "৯ এপ্রিল ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q114944761 description "บทความทางวิทยาศาสตร์" @default.
- Q114944761 description "სამეცნიერო სტატია" @default.
- Q114944761 name "Automated reasoning for equivalences in the applied pi calculus with barriers" @default.
- Q114944761 type Item @default.
- Q114944761 label "Automated reasoning for equivalences in the applied pi calculus with barriers" @default.
- Q114944761 prefLabel "Automated reasoning for equivalences in the applied pi calculus with barriers" @default.
- Q114944761 P1433 Q114944761-D75ED042-00E0-474F-9997-F9960E3CCDEF @default.
- Q114944761 P1476 Q114944761-BC078A07-334C-4C71-B075-DC145FD86862 @default.
- Q114944761 P2093 Q114944761-38F42EA3-7DDD-4C13-93F8-7282AE4D2EC1 @default.
- Q114944761 P2093 Q114944761-B5CAE391-8B02-4C21-9169-2028E0806F6D @default.
- Q114944761 P304 Q114944761-B2FEEE8B-1B13-4B6C-A2A9-7707DD406E07 @default.
- Q114944761 P31 Q114944761-BD3B56D9-BFCA-4EFD-AF3B-F64592FE5859 @default.
- Q114944761 P356 Q114944761-B04177A0-D988-4230-9866-DC7CAB1A85FA @default.
- Q114944761 P433 Q114944761-069E8A80-3428-4CAD-A41D-A81216A38951 @default.
- Q114944761 P478 Q114944761-F708CD09-61E8-40C2-89CD-23D8357393DF @default.
- Q114944761 P577 Q114944761-D3680AB6-42DE-4012-9A24-CEE3A4DDD54A @default.
- Q114944761 P356 JCS-171013 @default.
- Q114944761 P1433 Q15749679 @default.
- Q114944761 P1476 "Automated reasoning for equivalences in the applied pi calculus with barriers" @default.
- Q114944761 P2093 "Ben Smyth" @default.
- Q114944761 P2093 "Bruno Blanchet" @default.
- Q114944761 P304 "367-422" @default.
- Q114944761 P31 Q13442814 @default.
- Q114944761 P356 "10.3233/JCS-171013" @default.
- Q114944761 P433 "3" @default.
- Q114944761 P478 "26" @default.
- Q114944761 P577 "2018-04-09T00:00:00Z" @default.