Matches in Wikidata for { <http://www.wikidata.org/entity/Q113850290> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q113850290 description "2022 nî lūn-bûn" @default.
- Q113850290 description "2022年の論文" @default.
- Q113850290 description "2022年学术文章" @default.
- Q113850290 description "2022年学术文章" @default.
- Q113850290 description "2022年学术文章" @default.
- Q113850290 description "2022年学术文章" @default.
- Q113850290 description "2022年学术文章" @default.
- Q113850290 description "2022年学术文章" @default.
- Q113850290 description "2022年學術文章" @default.
- Q113850290 description "2022年學術文章" @default.
- Q113850290 description "2022年學術文章" @default.
- Q113850290 description "2022年學術文章" @default.
- Q113850290 description "2022年學術文章" @default.
- Q113850290 description "2022년 논문" @default.
- Q113850290 description "article científic" @default.
- Q113850290 description "article scientific" @default.
- Q113850290 description "article scientifique" @default.
- Q113850290 description "articol științific" @default.
- Q113850290 description "articolo scientifico" @default.
- Q113850290 description "artigo científico" @default.
- Q113850290 description "artigo científico" @default.
- Q113850290 description "artigo científico" @default.
- Q113850290 description "artikel ilmiah" @default.
- Q113850290 description "artikull shkencor" @default.
- Q113850290 description "artikulong pang-agham" @default.
- Q113850290 description "artykuł naukowy" @default.
- Q113850290 description "artículo científico publicado en 2022" @default.
- Q113850290 description "artículu científicu espublizáu en 2022" @default.
- Q113850290 description "bilimsel makale" @default.
- Q113850290 description "bài báo khoa học" @default.
- Q113850290 description "naučni članak" @default.
- Q113850290 description "scienca artikolo" @default.
- Q113850290 description "scientific article published in 2022" @default.
- Q113850290 description "scientific article published on 3 April 2022" @default.
- Q113850290 description "scientific article published on 3 April 2022" @default.
- Q113850290 description "teaduslik artikkel" @default.
- Q113850290 description "tieteellinen artikkeli" @default.
- Q113850290 description "tudományos cikk" @default.
- Q113850290 description "vedecký článok" @default.
- Q113850290 description "vetenskaplig artikel" @default.
- Q113850290 description "videnskabelig artikel udgivet 3. april 2022" @default.
- Q113850290 description "vitenskapelig artikkel" @default.
- Q113850290 description "vitskapeleg artikkel" @default.
- Q113850290 description "vědecký článek" @default.
- Q113850290 description "wetenschappelijk artikel" @default.
- Q113850290 description "wissenschaftlicher Artikel" @default.
- Q113850290 description "επιστημονικό άρθρο" @default.
- Q113850290 description "мақолаи илмӣ" @default.
- Q113850290 description "наукова стаття, опублікована у квітні 2022" @default.
- Q113850290 description "научна статия" @default.
- Q113850290 description "научная статья" @default.
- Q113850290 description "научни чланак" @default.
- Q113850290 description "научни чланак" @default.
- Q113850290 description "מאמר מדעי" @default.
- Q113850290 description "مقالة بحثية نشرت في 3 أبريل 2022" @default.
- Q113850290 description "৩ এপ্রিল ২০২২-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113850290 description "บทความทางวิทยาศาสตร์" @default.
- Q113850290 description "სამეცნიერო სტატია" @default.
- Q113850290 name "Foreword to: Special Issue on Interactive Theorem Provers" @default.
- Q113850290 type Item @default.
- Q113850290 label "Foreword to: Special Issue on Interactive Theorem Provers" @default.
- Q113850290 prefLabel "Foreword to: Special Issue on Interactive Theorem Provers" @default.
- Q113850290 P1433 Q113850290-9AF35442-9D25-4324-86A9-C20027497E2B @default.
- Q113850290 P1476 Q113850290-A9D6DDA5-A0A4-47D8-B6F0-C381CA22330C @default.
- Q113850290 P304 Q113850290-EB5DD40E-DFBF-44BE-B607-823CFF5049E8 @default.
- Q113850290 P31 Q113850290-BD957FA9-283F-4661-ACFB-35E5871B0AB4 @default.
- Q113850290 P356 Q113850290-68566022-D0E9-40A6-97D9-1053580CD168 @default.
- Q113850290 P433 Q113850290-DD470057-B331-47B8-AAB0-C98FADD8A9A5 @default.
- Q113850290 P478 Q113850290-8A93EAA8-19D0-42CD-8387-7C451AEDAA4A @default.
- Q113850290 P50 Q113850290-41532468-3C1E-403F-B8CE-8706AA3811C2 @default.
- Q113850290 P577 Q113850290-7E339FC5-FCE2-482B-8C6A-67A644663972 @default.
- Q113850290 P6104 Q113850290-CAAA6E3C-709E-4E71-BE74-C078A02B7664 @default.
- Q113850290 P894 Q113850290-9B05B643-AC7D-4E08-BC17-15A98B162161 @default.
- Q113850290 P921 Q113850290-7764A937-348E-467C-BA5D-639CA301E2E4 @default.
- Q113850290 P356 10586458.2022.2088982 @default.
- Q113850290 P1433 Q5421118 @default.
- Q113850290 P1476 "Foreword to: Special Issue on Interactive Theorem Provers" @default.
- Q113850290 P304 "347-348" @default.
- Q113850290 P31 Q13442814 @default.
- Q113850290 P356 "10.1080/10586458.2022.2088982" @default.
- Q113850290 P433 "2" @default.
- Q113850290 P478 "31" @default.
- Q113850290 P50 Q18616099 @default.
- Q113850290 P577 "2022-04-03T00:00:00Z" @default.
- Q113850290 P6104 Q8487137 @default.
- Q113850290 P894 "1492.00054" @default.
- Q113850290 P921 Q11387554 @default.