Matches in Wikidata for { <http://www.wikidata.org/entity/Q113691899> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q113691899 description "2015 nî lūn-bûn" @default.
- Q113691899 description "2015年の論文" @default.
- Q113691899 description "2015年学术文章" @default.
- Q113691899 description "2015年学术文章" @default.
- Q113691899 description "2015年学术文章" @default.
- Q113691899 description "2015年学术文章" @default.
- Q113691899 description "2015年学术文章" @default.
- Q113691899 description "2015年学术文章" @default.
- Q113691899 description "2015年學術文章" @default.
- Q113691899 description "2015年學術文章" @default.
- Q113691899 description "2015年學術文章" @default.
- Q113691899 description "2015年學術文章" @default.
- Q113691899 description "2015年學術文章" @default.
- Q113691899 description "2015년 논문" @default.
- Q113691899 description "article científic" @default.
- Q113691899 description "article scientific" @default.
- Q113691899 description "article scientifique" @default.
- Q113691899 description "articol științific" @default.
- Q113691899 description "articolo scientifico" @default.
- Q113691899 description "artigo científico" @default.
- Q113691899 description "artigo científico" @default.
- Q113691899 description "artigo científico" @default.
- Q113691899 description "artikel ilmiah" @default.
- Q113691899 description "artikull shkencor" @default.
- Q113691899 description "artikulong pang-agham" @default.
- Q113691899 description "artykuł naukowy" @default.
- Q113691899 description "artículo científico publicado en 2015" @default.
- Q113691899 description "artículu científicu espublizáu en 2015" @default.
- Q113691899 description "bilimsel makale" @default.
- Q113691899 description "bài báo khoa học" @default.
- Q113691899 description "naučni članak" @default.
- Q113691899 description "scienca artikolo" @default.
- Q113691899 description "scientific article published in 2015" @default.
- Q113691899 description "scientific article published on 9 September 2015" @default.
- Q113691899 description "scientific article published on 9 September 2015" @default.
- Q113691899 description "teaduslik artikkel" @default.
- Q113691899 description "tieteellinen artikkeli" @default.
- Q113691899 description "tudományos cikk" @default.
- Q113691899 description "vedecký článok" @default.
- Q113691899 description "vetenskaplig artikel" @default.
- Q113691899 description "videnskabelig artikel udgivet 9. september 2015" @default.
- Q113691899 description "vitenskapelig artikkel" @default.
- Q113691899 description "vitskapeleg artikkel" @default.
- Q113691899 description "vědecký článek" @default.
- Q113691899 description "wetenschappelijk artikel" @default.
- Q113691899 description "wissenschaftlicher Artikel" @default.
- Q113691899 description "επιστημονικό άρθρο" @default.
- Q113691899 description "мақолаи илмӣ" @default.
- Q113691899 description "наукова стаття, опублікована у вересні 2015" @default.
- Q113691899 description "научна статия" @default.
- Q113691899 description "научная статья" @default.
- Q113691899 description "научни чланак" @default.
- Q113691899 description "научни чланак" @default.
- Q113691899 description "מאמר מדעי" @default.
- Q113691899 description "مقالة بحثية نشرت في 9 سبتمبر 2015" @default.
- Q113691899 description "৯ সেপ্টেম্বর ২০১৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113691899 description "บทความทางวิทยาศาสตร์" @default.
- Q113691899 description "სამეცნიერო სტატია" @default.
- Q113691899 name "Formalizing Termination Proofs under Polynomial Quasi-interpretations" @default.
- Q113691899 type Item @default.
- Q113691899 label "Formalizing Termination Proofs under Polynomial Quasi-interpretations" @default.
- Q113691899 prefLabel "Formalizing Termination Proofs under Polynomial Quasi-interpretations" @default.
- Q113691899 P1433 Q113691899-7FA11EEB-DF2B-42BE-A819-B6C7750FA341 @default.
- Q113691899 P1476 Q113691899-6205F57B-8E1E-454E-8F3A-D2B851CDAECA @default.
- Q113691899 P2093 Q113691899-2FA61874-26E2-4B73-9819-1114ED8D6919 @default.
- Q113691899 P304 Q113691899-A902FACB-2FE5-4109-B520-1725DAFC5B7A @default.
- Q113691899 P31 Q113691899-19515C2D-FF85-439B-8A3F-B023327D3F5A @default.
- Q113691899 P356 Q113691899-88D135C0-4F7B-487C-8506-B0689D5EB93A @default.
- Q113691899 P478 Q113691899-07C55231-2572-402F-9493-8AB35D9E5C5C @default.
- Q113691899 P577 Q113691899-D6B59628-A210-4E27-B76C-E883821AED30 @default.
- Q113691899 P818 Q113691899-46fd8470-455f-4a5f-ac9f-9af1600d2363 @default.
- Q113691899 P356 EPTCS.191.5 @default.
- Q113691899 P1433 Q5358295 @default.
- Q113691899 P1476 "Formalizing Termination Proofs under Polynomial Quasi-interpretations" @default.
- Q113691899 P2093 "Naohi Eguchi" @default.
- Q113691899 P304 "33-47" @default.
- Q113691899 P31 Q13442814 @default.
- Q113691899 P356 "10.4204/EPTCS.191.5" @default.
- Q113691899 P478 "191" @default.
- Q113691899 P577 "2015-09-09T00:00:00Z" @default.
- Q113691899 P818 "1509.03014" @default.