Matches in Wikidata for { <http://www.wikidata.org/entity/Q62040458> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- Q62040458 description "2011 nî lūn-bûn" @default.
- Q62040458 description "2011年の論文" @default.
- Q62040458 description "2011年学术文章" @default.
- Q62040458 description "2011年学术文章" @default.
- Q62040458 description "2011年学术文章" @default.
- Q62040458 description "2011年学术文章" @default.
- Q62040458 description "2011年学术文章" @default.
- Q62040458 description "2011年学术文章" @default.
- Q62040458 description "2011年學術文章" @default.
- Q62040458 description "2011年學術文章" @default.
- Q62040458 description "2011年學術文章" @default.
- Q62040458 description "2011年學術文章" @default.
- Q62040458 description "2011年學術文章" @default.
- Q62040458 description "2011년 논문" @default.
- Q62040458 description "article científic" @default.
- Q62040458 description "article scientific" @default.
- Q62040458 description "article scientifique" @default.
- Q62040458 description "articol științific" @default.
- Q62040458 description "articolo scientifico" @default.
- Q62040458 description "artigo científico" @default.
- Q62040458 description "artigo científico" @default.
- Q62040458 description "artigo científico" @default.
- Q62040458 description "artikel ilmiah" @default.
- Q62040458 description "artikull shkencor" @default.
- Q62040458 description "artikulong pang-agham" @default.
- Q62040458 description "artykuł naukowy" @default.
- Q62040458 description "artículo científico publicado en 2011" @default.
- Q62040458 description "artículu científicu" @default.
- Q62040458 description "bilimsel makale" @default.
- Q62040458 description "bài báo khoa học" @default.
- Q62040458 description "naučni članak" @default.
- Q62040458 description "scienca artikolo" @default.
- Q62040458 description "scientific article published in 2011" @default.
- Q62040458 description "scientific article published in 2011" @default.
- Q62040458 description "scientific article published in 2011" @default.
- Q62040458 description "teaduslik artikkel" @default.
- Q62040458 description "tieteellinen artikkeli" @default.
- Q62040458 description "tudományos cikk" @default.
- Q62040458 description "vedecký článok" @default.
- Q62040458 description "vetenskaplig artikel" @default.
- Q62040458 description "videnskabelig artikel" @default.
- Q62040458 description "vitenskapelig artikkel" @default.
- Q62040458 description "vitskapeleg artikkel" @default.
- Q62040458 description "vědecký článek" @default.
- Q62040458 description "wetenschappelijk artikel" @default.
- Q62040458 description "wissenschaftlicher Artikel" @default.
- Q62040458 description "επιστημονικό άρθρο" @default.
- Q62040458 description "мақолаи илмӣ" @default.
- Q62040458 description "наукова стаття, опублікована у 2011" @default.
- Q62040458 description "научна статия" @default.
- Q62040458 description "научная статья" @default.
- Q62040458 description "научни чланак" @default.
- Q62040458 description "научни чланак" @default.
- Q62040458 description "מאמר מדעי" @default.
- Q62040458 description "مقالة علمية نشرت في 2011" @default.
- Q62040458 description "২০১১-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62040458 description "บทความทางวิทยาศาสตร์" @default.
- Q62040458 description "სამეცნიერო სტატია" @default.
- Q62040458 name "An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions" @default.
- Q62040458 name "An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions" @default.
- Q62040458 type Item @default.
- Q62040458 label "An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions" @default.
- Q62040458 label "An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions" @default.
- Q62040458 prefLabel "An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions" @default.
- Q62040458 prefLabel "An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions" @default.
- Q62040458 P1104 Q62040458-5C3B2732-2A06-463F-B929-098743FC449A @default.
- Q62040458 P1433 Q62040458-A0875389-3F82-4668-B79F-026E9571B2DD @default.
- Q62040458 P1476 Q62040458-48483023-CD1F-45B1-8149-03FC69172129 @default.
- Q62040458 P2093 Q62040458-01B7DD52-2460-4F42-87AB-5379EF91E6F7 @default.
- Q62040458 P304 Q62040458-6D0BAD25-0300-4169-A64D-2CF1372B4877 @default.
- Q62040458 P31 Q62040458-B5C24475-B97C-4AC4-BC69-157E349EF7EE @default.
- Q62040458 P356 Q62040458-29DA4EDF-A6F2-4673-B15B-4823912A0FDC @default.
- Q62040458 P407 Q62040458-5D29AA55-9E7F-470A-94A3-9015F8718C82 @default.
- Q62040458 P50 Q62040458-28D1B044-93DE-4C18-9916-CD2498ED3AE2 @default.
- Q62040458 P577 Q62040458-A58E42F9-D773-44F3-B0D1-62214BEF0E08 @default.
- Q62040458 P8978 Q62040458-EF06027D-1DE4-4A4B-9EF3-8F1CD66D1582 @default.
- Q62040458 P356 978-3-642-19237-1_15 @default.
- Q62040458 P8978 KroeningW09 @default.
- Q62040458 P1104 "+19" @default.
- Q62040458 P1433 Q924044 @default.
- Q62040458 P1476 "An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions" @default.
- Q62040458 P2093 "Daniel Kroening" @default.
- Q62040458 P304 "150-168" @default.
- Q62040458 P31 Q13442814 @default.
- Q62040458 P356 "10.1007/978-3-642-19237-1_15" @default.
- Q62040458 P407 Q1860 @default.
- Q62040458 P50 Q62036599 @default.
- Q62040458 P577 "2011-01-01T00:00:00Z" @default.
- Q62040458 P8978 "conf/hvc/KroeningW09" @default.