Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317760> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q113317760 description "2015 nî lūn-bûn" @default.
- Q113317760 description "2015年の論文" @default.
- Q113317760 description "2015年学术文章" @default.
- Q113317760 description "2015年学术文章" @default.
- Q113317760 description "2015年学术文章" @default.
- Q113317760 description "2015年学术文章" @default.
- Q113317760 description "2015年学术文章" @default.
- Q113317760 description "2015年学术文章" @default.
- Q113317760 description "2015年學術文章" @default.
- Q113317760 description "2015年學術文章" @default.
- Q113317760 description "2015年學術文章" @default.
- Q113317760 description "2015年學術文章" @default.
- Q113317760 description "2015年學術文章" @default.
- Q113317760 description "2015년 논문" @default.
- Q113317760 description "article científic" @default.
- Q113317760 description "article scientific" @default.
- Q113317760 description "article scientifique" @default.
- Q113317760 description "articol științific" @default.
- Q113317760 description "articolo scientifico" @default.
- Q113317760 description "artigo científico" @default.
- Q113317760 description "artigo científico" @default.
- Q113317760 description "artigo científico" @default.
- Q113317760 description "artikel ilmiah" @default.
- Q113317760 description "artikull shkencor" @default.
- Q113317760 description "artikulong pang-agham" @default.
- Q113317760 description "artykuł naukowy" @default.
- Q113317760 description "artículo científico publicado en 2015" @default.
- Q113317760 description "artículu científicu espublizáu en payares de 2015" @default.
- Q113317760 description "bilimsel makale" @default.
- Q113317760 description "bài báo khoa học" @default.
- Q113317760 description "naučni članak" @default.
- Q113317760 description "scienca artikolo" @default.
- Q113317760 description "scientific article published on 18 November 2015" @default.
- Q113317760 description "scientific article published on 18 November 2015" @default.
- Q113317760 description "scientific article published on 18 November 2015" @default.
- Q113317760 description "teaduslik artikkel" @default.
- Q113317760 description "tieteellinen artikkeli" @default.
- Q113317760 description "tudományos cikk" @default.
- Q113317760 description "vedecký článok" @default.
- Q113317760 description "vetenskaplig artikel" @default.
- Q113317760 description "videnskabelig artikel udgivet 18. november 2015" @default.
- Q113317760 description "vitenskapelig artikkel" @default.
- Q113317760 description "vitskapeleg artikkel" @default.
- Q113317760 description "vědecký článek" @default.
- Q113317760 description "wetenschappelijk artikel" @default.
- Q113317760 description "wissenschaftlicher Artikel" @default.
- Q113317760 description "επιστημονικό άρθρο" @default.
- Q113317760 description "мақолаи илмӣ" @default.
- Q113317760 description "наукова стаття, опублікована в листопаді 2015" @default.
- Q113317760 description "научна статия" @default.
- Q113317760 description "научная статья" @default.
- Q113317760 description "научни чланак" @default.
- Q113317760 description "научни чланак" @default.
- Q113317760 description "מאמר מדעי" @default.
- Q113317760 description "مقالة بحثية نشرت في 18 نوفمبر 2015" @default.
- Q113317760 description "১৮ নভেম্বর ২০১৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317760 description "บทความทางวิทยาศาสตร์" @default.
- Q113317760 description "სამეცნიერო სტატია" @default.
- Q113317760 name "A Parameterized Floating-Point Formalizaton in HOL Light" @default.
- Q113317760 type Item @default.
- Q113317760 label "A Parameterized Floating-Point Formalizaton in HOL Light" @default.
- Q113317760 prefLabel "A Parameterized Floating-Point Formalizaton in HOL Light" @default.
- Q113317760 P1433 Q113317760-AEE6C858-DBDE-42FA-B8FB-FD3E9E9D02EC @default.
- Q113317760 P1476 Q113317760-9679C6A4-5907-4005-8DC0-264CA96C6EA0 @default.
- Q113317760 P2093 Q113317760-2730225F-8938-4209-A775-773F3B8AE9E5 @default.
- Q113317760 P2093 Q113317760-3D57D319-D5EF-4343-8607-46AB5363CC14 @default.
- Q113317760 P2093 Q113317760-FDA6E25D-12FE-493F-AEF2-E8549847D827 @default.
- Q113317760 P304 Q113317760-DD3A4466-E0E8-4FAE-B132-75E6C4D9741B @default.
- Q113317760 P31 Q113317760-6B787D87-B79E-481D-8D0F-D13648376C2A @default.
- Q113317760 P356 Q113317760-893F3AEE-6624-4625-B533-B233C8F24480 @default.
- Q113317760 P478 Q113317760-F3FB4B01-EBDD-496B-8261-C00929EC033F @default.
- Q113317760 P577 Q113317760-34277F07-54E5-4668-ABFC-9AF405CD3877 @default.
- Q113317760 P6104 Q113317760-17CB3EFD-E4AB-4F73-A62F-661E17379D0B @default.
- Q113317760 P894 Q113317760-EDE9B44A-7DBE-4B72-AE2B-362BD19721E0 @default.
- Q113317760 P356 J.ENTCS.2015.10.010 @default.
- Q113317760 P1433 Q5358287 @default.
- Q113317760 P1476 "A Parameterized Floating-Point Formalizaton in HOL Light" @default.
- Q113317760 P2093 "Alexey Solovyev" @default.
- Q113317760 P2093 "Charles Jacobsen" @default.
- Q113317760 P2093 "Ganesh Gopalakrishnan" @default.
- Q113317760 P304 "101-107" @default.
- Q113317760 P31 Q13442814 @default.
- Q113317760 P356 "10.1016/J.ENTCS.2015.10.010" @default.
- Q113317760 P478 "317" @default.
- Q113317760 P577 "2015-11-18T00:00:00Z" @default.
- Q113317760 P6104 Q8487137 @default.
- Q113317760 P894 "1352.65667" @default.