Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317684> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q113317684 description "2016 nî lūn-bûn" @default.
- Q113317684 description "2016年の論文" @default.
- Q113317684 description "2016年学术文章" @default.
- Q113317684 description "2016年学术文章" @default.
- Q113317684 description "2016年学术文章" @default.
- Q113317684 description "2016年学术文章" @default.
- Q113317684 description "2016年学术文章" @default.
- Q113317684 description "2016年学术文章" @default.
- Q113317684 description "2016年學術文章" @default.
- Q113317684 description "2016年學術文章" @default.
- Q113317684 description "2016年學術文章" @default.
- Q113317684 description "2016年學術文章" @default.
- Q113317684 description "2016年學術文章" @default.
- Q113317684 description "2016년 논문" @default.
- Q113317684 description "article científic" @default.
- Q113317684 description "article scientific" @default.
- Q113317684 description "article scientifique" @default.
- Q113317684 description "articol științific" @default.
- Q113317684 description "articolo scientifico" @default.
- Q113317684 description "artigo científico" @default.
- Q113317684 description "artigo científico" @default.
- Q113317684 description "artigo científico" @default.
- Q113317684 description "artikel ilmiah" @default.
- Q113317684 description "artikull shkencor" @default.
- Q113317684 description "artikulong pang-agham" @default.
- Q113317684 description "artykuł naukowy" @default.
- Q113317684 description "artículo científico publicado en 2016" @default.
- Q113317684 description "artículu científicu espublizáu en xunetu de 2016" @default.
- Q113317684 description "bilimsel makale" @default.
- Q113317684 description "bài báo khoa học" @default.
- Q113317684 description "naučni članak" @default.
- Q113317684 description "scienca artikolo" @default.
- Q113317684 description "scientific article published on 14 July 2016" @default.
- Q113317684 description "scientific article published on 14 July 2016" @default.
- Q113317684 description "scientific article published on 14 July 2016" @default.
- Q113317684 description "teaduslik artikkel" @default.
- Q113317684 description "tieteellinen artikkeli" @default.
- Q113317684 description "tudományos cikk" @default.
- Q113317684 description "vedecký článok" @default.
- Q113317684 description "vetenskaplig artikel" @default.
- Q113317684 description "videnskabelig artikel udgivet 14. juli 2016" @default.
- Q113317684 description "vitenskapelig artikkel" @default.
- Q113317684 description "vitskapeleg artikkel" @default.
- Q113317684 description "vědecký článek" @default.
- Q113317684 description "wetenschappelijk artikel" @default.
- Q113317684 description "wissenschaftlicher Artikel" @default.
- Q113317684 description "επιστημονικό άρθρο" @default.
- Q113317684 description "мақолаи илмӣ" @default.
- Q113317684 description "наукова стаття, опублікована в липні 2016" @default.
- Q113317684 description "научна статия" @default.
- Q113317684 description "научная статья" @default.
- Q113317684 description "научни чланак" @default.
- Q113317684 description "научни чланак" @default.
- Q113317684 description "מאמר מדעי" @default.
- Q113317684 description "مقالة بحثية نشرت في 14 يوليو 2016" @default.
- Q113317684 description "১৪ জুলাই ২০১৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317684 description "บทความทางวิทยาศาสตร์" @default.
- Q113317684 description "სამეცნიერო სტატია" @default.
- Q113317684 name "Completeness in PVS of a Nominal Unification Algorithm" @default.
- Q113317684 type Item @default.
- Q113317684 label "Completeness in PVS of a Nominal Unification Algorithm" @default.
- Q113317684 prefLabel "Completeness in PVS of a Nominal Unification Algorithm" @default.
- Q113317684 P1433 Q113317684-EF57463C-9273-4491-86B9-D09F8E6D99E4 @default.
- Q113317684 P1476 Q113317684-12B57BB8-E21D-4CD3-8078-9ECD5E59B133 @default.
- Q113317684 P2093 Q113317684-2E6D07C2-35DB-4ED9-8356-5AEF48F2EBEC @default.
- Q113317684 P2093 Q113317684-919851F1-54AB-4526-9A03-BDCA73BCB2C9 @default.
- Q113317684 P2093 Q113317684-C07B6721-F809-4419-84AF-F2DA78FA6C98 @default.
- Q113317684 P304 Q113317684-B56FC013-9532-4AC5-98B5-390119DED3C5 @default.
- Q113317684 P31 Q113317684-CBFD2F51-AD50-48FE-8A66-713999ADA38B @default.
- Q113317684 P356 Q113317684-7DEB1EE8-8ADD-49FC-A4E0-87F94B677FC6 @default.
- Q113317684 P478 Q113317684-05831F37-014A-4131-96E5-EBB05473021C @default.
- Q113317684 P577 Q113317684-5FBE1187-FBEA-4998-9606-16B3806C81D5 @default.
- Q113317684 P356 J.ENTCS.2016.06.005 @default.
- Q113317684 P1433 Q5358287 @default.
- Q113317684 P1476 "Completeness in PVS of a Nominal Unification Algorithm" @default.
- Q113317684 P2093 "Ana Cristina Rocha-Oliveira" @default.
- Q113317684 P2093 "Maribel Fernández" @default.
- Q113317684 P2093 "Mauricio Ayala-Rincón" @default.
- Q113317684 P304 "57-74" @default.
- Q113317684 P31 Q13442814 @default.
- Q113317684 P356 "10.1016/J.ENTCS.2016.06.005" @default.
- Q113317684 P478 "323" @default.
- Q113317684 P577 "2016-07-14T00:00:00Z" @default.