Matches in Wikidata for { <http://www.wikidata.org/entity/Q124843390> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- Q124843390 description "1976 nî lūn-bûn" @default.
- Q124843390 description "1976年の論文" @default.
- Q124843390 description "1976年学术文章" @default.
- Q124843390 description "1976年学术文章" @default.
- Q124843390 description "1976年学术文章" @default.
- Q124843390 description "1976年學術文章" @default.
- Q124843390 description "1976年學術文章" @default.
- Q124843390 description "1976년 논문" @default.
- Q124843390 description "article científic" @default.
- Q124843390 description "article scientific" @default.
- Q124843390 description "article scientifique" @default.
- Q124843390 description "articol științific" @default.
- Q124843390 description "articolo scientifico" @default.
- Q124843390 description "artigo científico" @default.
- Q124843390 description "artigo científico" @default.
- Q124843390 description "artigo científico" @default.
- Q124843390 description "artikel ilmiah" @default.
- Q124843390 description "artikull shkencor" @default.
- Q124843390 description "artikulong pang-agham" @default.
- Q124843390 description "artykuł naukowy" @default.
- Q124843390 description "artículo científico publicado en 1976" @default.
- Q124843390 description "artículu científicu" @default.
- Q124843390 description "bilimsel makale" @default.
- Q124843390 description "bài báo khoa học" @default.
- Q124843390 description "naučni članak" @default.
- Q124843390 description "scienca artikolo" @default.
- Q124843390 description "scientific article published in 1976" @default.
- Q124843390 description "teaduslik artikkel" @default.
- Q124843390 description "tieteellinen artikkeli" @default.
- Q124843390 description "tudományos cikk" @default.
- Q124843390 description "vedecký článok" @default.
- Q124843390 description "vetenskaplig artikel" @default.
- Q124843390 description "videnskabelig artikel udgivet oktober 1976" @default.
- Q124843390 description "vitenskapelig artikkel" @default.
- Q124843390 description "vitskapeleg artikkel" @default.
- Q124843390 description "vědecký článek" @default.
- Q124843390 description "wetenschappelijk artikel" @default.
- Q124843390 description "wissenschaftlicher Artikel" @default.
- Q124843390 description "znanstveni članek" @default.
- Q124843390 description "επιστημονικό άρθρο" @default.
- Q124843390 description "мақолаи илмӣ" @default.
- Q124843390 description "наукова стаття, опублікована в жовтні 1976" @default.
- Q124843390 description "научна статия" @default.
- Q124843390 description "научная статья" @default.
- Q124843390 description "научни чланак" @default.
- Q124843390 description "научни чланак" @default.
- Q124843390 description "מאמר מדעי" @default.
- Q124843390 description "مقالة بحثية نشرت في أكتوبر 1976" @default.
- Q124843390 description "অক্টোবর ১৯৭৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124843390 description "บทความทางวิทยาศาสตร์" @default.
- Q124843390 description "სამეცნიერო სტატია" @default.
- Q124843390 name "Theorem Proving with Lemmas" @default.
- Q124843390 type Item @default.
- Q124843390 label "Theorem Proving with Lemmas" @default.
- Q124843390 prefLabel "Theorem Proving with Lemmas" @default.
- Q124843390 P1433 Q124843390-3DCAF15F-7BDB-4499-A2F1-41F085F14468 @default.
- Q124843390 P1476 Q124843390-A6ECDDC8-01E5-4A02-9901-754834F27F26 @default.
- Q124843390 P2093 Q124843390-CA767014-5EBD-433E-B7E8-5FE21C057135 @default.
- Q124843390 P304 Q124843390-D1C760E5-EB38-4C5A-BB17-AC6168E4AA5B @default.
- Q124843390 P31 Q124843390-491B6B66-D470-4C07-BF47-EE4E7483663E @default.
- Q124843390 P356 Q124843390-D926F623-CBB7-436C-9145-56C0AF0F441D @default.
- Q124843390 P433 Q124843390-E1A2E9F8-FF2A-4197-90AF-FC4D752ACD0D @default.
- Q124843390 P478 Q124843390-4D8F6EDC-63B0-48C9-94F3-4E99DB6532A6 @default.
- Q124843390 P577 Q124843390-2DE947AB-66ED-4106-B697-39229220484E @default.
- Q124843390 P6104 Q124843390-A63A1E4B-4720-44B3-8162-CBEF00C9F7C9 @default.
- Q124843390 P894 Q124843390-73C87BC8-388B-4493-AE8A-04566092F8CF @default.
- Q124843390 P356 321978.321979 @default.
- Q124843390 P1433 Q1709878 @default.
- Q124843390 P1476 "Theorem Proving with Lemmas" @default.
- Q124843390 P2093 "G. E. Peterson" @default.
- Q124843390 P304 "573-581" @default.
- Q124843390 P31 Q13442814 @default.
- Q124843390 P356 "10.1145/321978.321979" @default.
- Q124843390 P433 "4" @default.
- Q124843390 P478 "23" @default.
- Q124843390 P577 "1976-10-01T00:00:00Z" @default.
- Q124843390 P6104 Q8487137 @default.
- Q124843390 P894 "0333.68061" @default.