Matches in Wikidata for { <http://www.wikidata.org/entity/Q113901237> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- Q113901237 description "2021 nî lūn-bûn" @default.
- Q113901237 description "2021年の論文" @default.
- Q113901237 description "2021年学术文章" @default.
- Q113901237 description "2021年学术文章" @default.
- Q113901237 description "2021年学术文章" @default.
- Q113901237 description "2021年学术文章" @default.
- Q113901237 description "2021年学术文章" @default.
- Q113901237 description "2021年学术文章" @default.
- Q113901237 description "2021年學術文章" @default.
- Q113901237 description "2021年學術文章" @default.
- Q113901237 description "2021年學術文章" @default.
- Q113901237 description "2021年學術文章" @default.
- Q113901237 description "2021年學術文章" @default.
- Q113901237 description "2021년 논문" @default.
- Q113901237 description "article científic" @default.
- Q113901237 description "article scientific" @default.
- Q113901237 description "article scientifique" @default.
- Q113901237 description "articol științific" @default.
- Q113901237 description "articolo scientifico" @default.
- Q113901237 description "artigo científico" @default.
- Q113901237 description "artigo científico" @default.
- Q113901237 description "artigo científico" @default.
- Q113901237 description "artikel ilmiah" @default.
- Q113901237 description "artikull shkencor" @default.
- Q113901237 description "artikulong pang-agham" @default.
- Q113901237 description "artykuł naukowy" @default.
- Q113901237 description "artículo científico publicado en 2021" @default.
- Q113901237 description "artículu científicu espublizáu en 2021" @default.
- Q113901237 description "bilimsel makale" @default.
- Q113901237 description "bài báo khoa học" @default.
- Q113901237 description "naučni članak" @default.
- Q113901237 description "scienca artikolo" @default.
- Q113901237 description "scientific article published in 2021" @default.
- Q113901237 description "scientific article published on 28 August 2021" @default.
- Q113901237 description "scientific article published on 28 August 2021" @default.
- Q113901237 description "teaduslik artikkel" @default.
- Q113901237 description "tieteellinen artikkeli" @default.
- Q113901237 description "tudományos cikk" @default.
- Q113901237 description "vedecký článok" @default.
- Q113901237 description "vetenskaplig artikel" @default.
- Q113901237 description "videnskabelig artikel udgivet 28. august 2021" @default.
- Q113901237 description "vitenskapelig artikkel" @default.
- Q113901237 description "vitskapeleg artikkel" @default.
- Q113901237 description "vědecký článek" @default.
- Q113901237 description "wetenschappelijk artikel" @default.
- Q113901237 description "wissenschaftlicher Artikel" @default.
- Q113901237 description "επιστημονικό άρθρο" @default.
- Q113901237 description "мақолаи илмӣ" @default.
- Q113901237 description "наукова стаття, опублікована в серпні 2021" @default.
- Q113901237 description "научна статия" @default.
- Q113901237 description "научная статья" @default.
- Q113901237 description "научни чланак" @default.
- Q113901237 description "научни чланак" @default.
- Q113901237 description "מאמר מדעי" @default.
- Q113901237 description "مقالة بحثية نشرت في 28 أغسطس 2021" @default.
- Q113901237 description "২৮ আগস্ট ২০২১-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113901237 description "บทความทางวิทยาศาสตร์" @default.
- Q113901237 description "სამეცნიერო სტატია" @default.
- Q113901237 name "Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant" @default.
- Q113901237 type Item @default.
- Q113901237 label "Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant" @default.
- Q113901237 prefLabel "Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant" @default.
- Q113901237 P1433 Q113901237-A8BDA3A0-AEBF-40D6-8609-92DB005CF51D @default.
- Q113901237 P1476 Q113901237-1E7A6BE6-EF9A-4785-8F32-E9110FDE109F @default.
- Q113901237 P2093 Q113901237-0C44C21C-655F-4654-98DF-F28513755691 @default.
- Q113901237 P2093 Q113901237-4E205C8E-15C6-4F91-BA4B-EF0FC093B98B @default.
- Q113901237 P304 Q113901237-5BE125DF-9187-4B10-8246-4C2A86BA6383 @default.
- Q113901237 P31 Q113901237-502D277B-F39A-4231-BBB3-57ECBCBF7150 @default.
- Q113901237 P356 Q113901237-AF530BA2-78F4-41B3-8DAD-76EF8C9CD58D @default.
- Q113901237 P433 Q113901237-702C20F8-BBE5-40CA-8845-97E6CABBB9C7 @default.
- Q113901237 P478 Q113901237-78F382E7-2E65-4E58-AD92-468874B09C3A @default.
- Q113901237 P577 Q113901237-E0AD5053-B8D6-4AC4-85B1-E3A3C2DC9856 @default.
- Q113901237 P921 Q113901237-EE4E140A-816D-4DB7-91CC-255F558FA422 @default.
- Q113901237 P356 S10817-021-09599-8 @default.
- Q113901237 P1433 Q6294821 @default.
- Q113901237 P1476 "Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant" @default.
- Q113901237 P2093 "Andrei Popescu" @default.
- Q113901237 P2093 "Dmitriy Traytel" @default.
- Q113901237 P304 "1027-1070" @default.
- Q113901237 P31 Q13442814 @default.
- Q113901237 P356 "10.1007/S10817-021-09599-8" @default.
- Q113901237 P433 "7" @default.
- Q113901237 P478 "65" @default.
- Q113901237 P577 "2021-08-28T00:00:00Z" @default.
- Q113901237 P921 Q11387554 @default.