Matches in Wikidata for { <http://www.wikidata.org/entity/Q60512205> ?p ?o ?g. }
- Q60512205 description "2004 nî lūn-bûn" @default.
- Q60512205 description "2004年の論文" @default.
- Q60512205 description "2004年学术文章" @default.
- Q60512205 description "2004年学术文章" @default.
- Q60512205 description "2004年学术文章" @default.
- Q60512205 description "2004年学术文章" @default.
- Q60512205 description "2004年学术文章" @default.
- Q60512205 description "2004年学术文章" @default.
- Q60512205 description "2004年學術文章" @default.
- Q60512205 description "2004年學術文章" @default.
- Q60512205 description "2004年學術文章" @default.
- Q60512205 description "2004年學術文章" @default.
- Q60512205 description "2004年學術文章" @default.
- Q60512205 description "2004년 논문" @default.
- Q60512205 description "article científic" @default.
- Q60512205 description "article scientific" @default.
- Q60512205 description "article scientifique" @default.
- Q60512205 description "articol științific" @default.
- Q60512205 description "articolo scientifico" @default.
- Q60512205 description "artigo científico" @default.
- Q60512205 description "artigo científico" @default.
- Q60512205 description "artigo científico" @default.
- Q60512205 description "artikel ilmiah" @default.
- Q60512205 description "artikull shkencor" @default.
- Q60512205 description "artikulong pang-agham" @default.
- Q60512205 description "artykuł naukowy" @default.
- Q60512205 description "artículo científico publicado en 2004" @default.
- Q60512205 description "artículu científicu" @default.
- Q60512205 description "bilimsel makale" @default.
- Q60512205 description "bài báo khoa học" @default.
- Q60512205 description "naučni članak" @default.
- Q60512205 description "scienca artikolo" @default.
- Q60512205 description "scientific article published in December 2004" @default.
- Q60512205 description "scientific article published in December 2004" @default.
- Q60512205 description "scientific article published in December 2004" @default.
- Q60512205 description "teaduslik artikkel" @default.
- Q60512205 description "tieteellinen artikkeli" @default.
- Q60512205 description "tudományos cikk" @default.
- Q60512205 description "vedecký článok" @default.
- Q60512205 description "vetenskaplig artikel" @default.
- Q60512205 description "videnskabelig artikel" @default.
- Q60512205 description "vitenskapelig artikkel" @default.
- Q60512205 description "vitskapeleg artikkel" @default.
- Q60512205 description "vědecký článek" @default.
- Q60512205 description "wetenschappelijk artikel" @default.
- Q60512205 description "wissenschaftlicher Artikel" @default.
- Q60512205 description "επιστημονικό άρθρο" @default.
- Q60512205 description "мақолаи илмӣ" @default.
- Q60512205 description "наукова стаття, опублікована в грудні 2004" @default.
- Q60512205 description "научна статия" @default.
- Q60512205 description "научная статья" @default.
- Q60512205 description "научни чланак" @default.
- Q60512205 description "научни чланак" @default.
- Q60512205 description "מאמר מדעי" @default.
- Q60512205 description "مقالة علمية نشرت في ديسمبر 2004" @default.
- Q60512205 description "ডিসেম্বর ২০০৪-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q60512205 description "บทความทางวิทยาศาสตร์" @default.
- Q60512205 description "სამეცნიერო სტატია" @default.
- Q60512205 name "Non-Automatizability of Bounded-Depth Frege Proofs" @default.
- Q60512205 name "Non-Automatizability of Bounded-Depth Frege Proofs" @default.
- Q60512205 type Item @default.
- Q60512205 label "Non-Automatizability of Bounded-Depth Frege Proofs" @default.
- Q60512205 label "Non-Automatizability of Bounded-Depth Frege Proofs" @default.
- Q60512205 prefLabel "Non-Automatizability of Bounded-Depth Frege Proofs" @default.
- Q60512205 prefLabel "Non-Automatizability of Bounded-Depth Frege Proofs" @default.
- Q60512205 P1433 Q60512205-42000DC7-E9AE-4E64-9A9E-4CFF62C021E3 @default.
- Q60512205 P1476 Q60512205-BEDFD9B6-C2FD-43D7-AFC8-93706B472853 @default.
- Q60512205 P2093 Q60512205-39DA3179-EB12-4E67-B4CD-9C474C34672C @default.
- Q60512205 P2093 Q60512205-88745640-185A-4735-B016-C6FB6C5D8E91 @default.
- Q60512205 P2093 Q60512205-BA338E30-F9A3-4E83-88CA-D8A09291BE50 @default.
- Q60512205 P2888 Q60512205-A5BCF721-AB91-4B35-B77A-2F0868BE1784 @default.
- Q60512205 P304 Q60512205-9B392074-7A75-4DDB-A684-6E6A223D3055 @default.
- Q60512205 P31 Q60512205-87B5560E-4DDB-436E-A253-309AD6B9CDBB @default.
- Q60512205 P356 Q60512205-3C45B0CC-5CE2-4E77-8CDC-8C82575C750C @default.
- Q60512205 P433 Q60512205-F28E46A6-A535-4387-80CE-F1EC5B3CCA25 @default.
- Q60512205 P478 Q60512205-A5851AD3-1A9D-42A3-9457-E061355A9432 @default.
- Q60512205 P50 Q60512205-41F68D58-C3C0-4162-978D-0E0B600080DE @default.
- Q60512205 P50 Q60512205-C6BA3F8B-7193-4408-8386-AAFCA0042A5B @default.
- Q60512205 P577 Q60512205-6E5E7C8C-9117-4370-9FEA-7830043BEDF1 @default.
- Q60512205 P6104 Q60512205-292045FD-373F-4CD7-9EA0-B70D0983A4D3 @default.
- Q60512205 P894 Q60512205-077C3A72-FCEE-4139-8EC4-D0D9EBD15589 @default.
- Q60512205 P8978 Q60512205-C4916AE2-F29C-46FA-A828-B597DC3D03D9 @default.
- Q60512205 P356 S00037-004-0183-5 @default.
- Q60512205 P8978 BonetDGMP04 @default.
- Q60512205 P1433 Q15754732 @default.
- Q60512205 P1476 "Non-Automatizability of Bounded-Depth Frege Proofs" @default.
- Q60512205 P2093 "Alexis Maciel" @default.
- Q60512205 P2093 "Carlos Domingo" @default.
- Q60512205 P2093 "Ricard Gavald�" @default.
- Q60512205 P2888 s00037-004-0183-5 @default.
- Q60512205 P304 "47-68" @default.
- Q60512205 P31 Q13442814 @default.
- Q60512205 P356 "10.1007/S00037-004-0183-5" @default.
- Q60512205 P433 "1-2" @default.
- Q60512205 P478 "13" @default.
- Q60512205 P50 Q51545286 @default.
- Q60512205 P50 Q7821369 @default.
- Q60512205 P577 "2004-12-01T00:00:00Z" @default.
- Q60512205 P6104 Q8487137 @default.
- Q60512205 P894 "1058.03063" @default.