Matches in Wikidata for { <http://www.wikidata.org/entity/Q108482097> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- Q108482097 description "2021 nî lūn-bûn" @default.
- Q108482097 description "2021年の論文" @default.
- Q108482097 description "2021年学术文章" @default.
- Q108482097 description "2021年学术文章" @default.
- Q108482097 description "2021年学术文章" @default.
- Q108482097 description "2021年学术文章" @default.
- Q108482097 description "2021年学术文章" @default.
- Q108482097 description "2021年學術文章" @default.
- Q108482097 description "2021年學術文章" @default.
- Q108482097 description "2021年學術文章" @default.
- Q108482097 description "2021年學術文章" @default.
- Q108482097 description "2021年學術文章" @default.
- Q108482097 description "2021年學術文章" @default.
- Q108482097 description "2021년 논문" @default.
- Q108482097 description "article científic" @default.
- Q108482097 description "article scientific" @default.
- Q108482097 description "article scientifique (publié 2021)" @default.
- Q108482097 description "articol științific" @default.
- Q108482097 description "articolo scientifico" @default.
- Q108482097 description "artigo científico (publicado na 2021)" @default.
- Q108482097 description "artigo científico (publicado na 2021)" @default.
- Q108482097 description "artigo científico" @default.
- Q108482097 description "artikel ilmiah" @default.
- Q108482097 description "artikull shkencor" @default.
- Q108482097 description "artikulong pang-agham" @default.
- Q108482097 description "artykuł naukowy" @default.
- Q108482097 description "artículo científico publicado en 2021" @default.
- Q108482097 description "artículu científicu" @default.
- Q108482097 description "bilimsel makale" @default.
- Q108482097 description "bài báo khoa học" @default.
- Q108482097 description "maqolai ilmiy" @default.
- Q108482097 description "mokslinis straipsnis" @default.
- Q108482097 description "naučni članak" @default.
- Q108482097 description "scienca artikolo" @default.
- Q108482097 description "scientific article" @default.
- Q108482097 description "teaduslik artikkel" @default.
- Q108482097 description "tieteellinen artikkeli" @default.
- Q108482097 description "tudományos cikk" @default.
- Q108482097 description "vedecký článok" @default.
- Q108482097 description "vetenskaplig artikel" @default.
- Q108482097 description "videnskabelig artikel (udgivet 2021)" @default.
- Q108482097 description "vitenskapelig artikkel" @default.
- Q108482097 description "vitskapeleg artikkel" @default.
- Q108482097 description "vědecký článek" @default.
- Q108482097 description "wetenschappelijk artikel" @default.
- Q108482097 description "wissenschaftlicher Artikel" @default.
- Q108482097 description "επιστημονικό άρθρο" @default.
- Q108482097 description "мақолаи илмӣ" @default.
- Q108482097 description "мақолаи илмӣ" @default.
- Q108482097 description "наукова стаття" @default.
- Q108482097 description "научна статия" @default.
- Q108482097 description "научная статья" @default.
- Q108482097 description "научни чланак" @default.
- Q108482097 description "научни чланак" @default.
- Q108482097 description "գիտական հոդված" @default.
- Q108482097 description "מאמר מדעי" @default.
- Q108482097 description "سائنسی مضمون" @default.
- Q108482097 description "مقالة علمية" @default.
- Q108482097 description "مقالهٔ علمی" @default.
- Q108482097 description "ސައިންޓިފިކް ލިޔުމެއް" @default.
- Q108482097 description "২০২১-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q108482097 description "บทความทางวิทยาศาสตร์" @default.
- Q108482097 description "სამეცნიერო სტატია" @default.
- Q108482097 name "A study of continuous vector representations for theorem proving" @default.
- Q108482097 name "A study of continuous vector representations for theorem proving" @default.
- Q108482097 type Item @default.
- Q108482097 label "A study of continuous vector representations for theorem proving" @default.
- Q108482097 label "A study of continuous vector representations for theorem proving" @default.
- Q108482097 prefLabel "A study of continuous vector representations for theorem proving" @default.
- Q108482097 prefLabel "A study of continuous vector representations for theorem proving" @default.
- Q108482097 P1433 Q108482097-2216E92F-D9D0-404B-9C48-DF5D615EAF3D @default.
- Q108482097 P1476 Q108482097-C1344733-DE7E-4533-A4F8-C350204DED44 @default.
- Q108482097 P2093 Q108482097-5D501DF6-617F-404B-8067-52A79B006559 @default.
- Q108482097 P2093 Q108482097-9403728C-9430-4CF7-BE2E-78D89F4BCE2A @default.
- Q108482097 P275 Q108482097-f83ab074-3657-4e70-ba0f-0a33651293d4 @default.
- Q108482097 P31 Q108482097-7F3BFB95-0E81-4571-B102-3E65BBCC962E @default.
- Q108482097 P356 Q108482097-9D9926A0-918A-4B50-8DC8-0CFE0A8D25E9 @default.
- Q108482097 P50 Q108482097-936CF619-AA92-4F2C-BDD5-0B2756597BDB @default.
- Q108482097 P577 Q108482097-0A12569F-F6FA-488A-AB21-71CA9BD922A0 @default.
- Q108482097 P6216 Q108482097-c77ea7cb-91b6-44d9-8305-04a7016c6fb3 @default.
- Q108482097 P818 Q108482097-44e6559c-3428-4df9-803f-8db1cdc91dc2 @default.
- Q108482097 P921 Q108482097-D0EFC2E3-5575-4BFA-9BA4-94B3FB02EFEE @default.
- Q108482097 P356 EXAB006 @default.
- Q108482097 P1433 Q6295460 @default.
- Q108482097 P1476 "A study of continuous vector representations for theorem proving" @default.
- Q108482097 P2093 "Julian Parsert" @default.
- Q108482097 P2093 "StanisŁaw PurgaŁ" @default.
- Q108482097 P275 Q20007257 @default.
- Q108482097 P31 Q13442814 @default.
- Q108482097 P356 "10.1093/LOGCOM/EXAB006" @default.
- Q108482097 P50 Q57556762 @default.
- Q108482097 P577 "2021-02-08T00:00:00Z" @default.
- Q108482097 P6216 Q50423863 @default.
- Q108482097 P818 "2101.09142" @default.
- Q108482097 P921 Q2878974 @default.