Matches in Wikidata for { <http://www.wikidata.org/entity/Q114585010> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q114585010 description "1970 nî lūn-bûn" @default.
- Q114585010 description "1970年の論文" @default.
- Q114585010 description "1970年学术文章" @default.
- Q114585010 description "1970年学术文章" @default.
- Q114585010 description "1970年学术文章" @default.
- Q114585010 description "1970年学术文章" @default.
- Q114585010 description "1970年学术文章" @default.
- Q114585010 description "1970年学术文章" @default.
- Q114585010 description "1970年學術文章" @default.
- Q114585010 description "1970年學術文章" @default.
- Q114585010 description "1970年學術文章" @default.
- Q114585010 description "1970年學術文章" @default.
- Q114585010 description "1970年學術文章" @default.
- Q114585010 description "1970년 논문" @default.
- Q114585010 description "article científic" @default.
- Q114585010 description "article scientific" @default.
- Q114585010 description "article scientifique" @default.
- Q114585010 description "articol științific" @default.
- Q114585010 description "articolo scientifico" @default.
- Q114585010 description "artigo científico" @default.
- Q114585010 description "artigo científico" @default.
- Q114585010 description "artigo científico" @default.
- Q114585010 description "artikel ilmiah" @default.
- Q114585010 description "artikull shkencor" @default.
- Q114585010 description "artikulong pang-agham" @default.
- Q114585010 description "artykuł naukowy" @default.
- Q114585010 description "artículo científico publicado en 1970" @default.
- Q114585010 description "artículu científicu espublizáu en 1970" @default.
- Q114585010 description "bilimsel makale" @default.
- Q114585010 description "bài báo khoa học" @default.
- Q114585010 description "naučni članak" @default.
- Q114585010 description "scienca artikolo" @default.
- Q114585010 description "scientific article published in 1970" @default.
- Q114585010 description "scientific article published in July 1970" @default.
- Q114585010 description "scientific article published in July 1970" @default.
- Q114585010 description "teaduslik artikkel" @default.
- Q114585010 description "tieteellinen artikkeli" @default.
- Q114585010 description "tudományos cikk" @default.
- Q114585010 description "vedecký článok" @default.
- Q114585010 description "vetenskaplig artikel" @default.
- Q114585010 description "videnskabelig artikel udgivet juli 1970" @default.
- Q114585010 description "vitenskapelig artikkel" @default.
- Q114585010 description "vitskapeleg artikkel" @default.
- Q114585010 description "vědecký článek" @default.
- Q114585010 description "wetenschappelijk artikel" @default.
- Q114585010 description "wissenschaftlicher Artikel" @default.
- Q114585010 description "επιστημονικό άρθρο" @default.
- Q114585010 description "мақолаи илмӣ" @default.
- Q114585010 description "наукова стаття, опублікована в липні 1970" @default.
- Q114585010 description "научна статия" @default.
- Q114585010 description "научная статья" @default.
- Q114585010 description "научни чланак" @default.
- Q114585010 description "научни чланак" @default.
- Q114585010 description "מאמר מדעי" @default.
- Q114585010 description "مقالة بحثية نشرت في يوليو 1970" @default.
- Q114585010 description "জুলাই ১৯৭০-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q114585010 description "บทความทางวิทยาศาสตร์" @default.
- Q114585010 description "სამეცნიერო სტატია" @default.
- Q114585010 name "Cut elimination theorem for second order arithmetic with the $\Pi_{1}^{1}$ -comprehension axiom and the $\omega$ -rule" @default.
- Q114585010 type Item @default.
- Q114585010 label "Cut elimination theorem for second order arithmetic with the $\Pi_{1}^{1}$ -comprehension axiom and the $\omega$ -rule" @default.
- Q114585010 prefLabel "Cut elimination theorem for second order arithmetic with the $\Pi_{1}^{1}$ -comprehension axiom and the $\omega$ -rule" @default.
- Q114585010 P1433 Q114585010-978D32D5-BF26-4D18-9F8E-7D35BE1C26EA @default.
- Q114585010 P1476 Q114585010-822783C2-3390-4D39-A5B7-E46492D2142B @default.
- Q114585010 P2093 Q114585010-093C51B8-C315-49D2-8800-AB026DFE33B2 @default.
- Q114585010 P31 Q114585010-3776EB75-E9DC-4EB2-B8E1-671CD4CB1FE7 @default.
- Q114585010 P356 Q114585010-B1B84057-6C88-43D3-8EF4-81863CE68FC6 @default.
- Q114585010 P433 Q114585010-87F4B582-4AA3-488D-94F6-DE226546F420 @default.
- Q114585010 P478 Q114585010-5B709312-9296-4BB1-A65E-D35B0FC0DAA8 @default.
- Q114585010 P577 Q114585010-D39E92E6-95FC-4F8D-9688-F57A898A2704 @default.
- Q114585010 P6104 Q114585010-89A000D8-CFEC-4029-AC6E-ACB24E7A99CB @default.
- Q114585010 P894 Q114585010-D78FA3B0-F266-4D67-890C-4FDB400A1629 @default.
- Q114585010 P356 02230308 @default.
- Q114585010 P1433 Q15441291 @default.
- Q114585010 P1476 "Cut elimination theorem for second order arithmetic with the $\Pi_{1}^{1}$ -comprehension axiom and the $\omega$ -rule" @default.
- Q114585010 P2093 "Mariko YASUGI" @default.
- Q114585010 P31 Q13442814 @default.
- Q114585010 P356 "10.2969/JMSJ/02230308" @default.
- Q114585010 P433 "3" @default.
- Q114585010 P478 "22" @default.
- Q114585010 P577 "1970-07-01T00:00:00Z" @default.
- Q114585010 P6104 Q8487137 @default.
- Q114585010 P894 "0191.29401" @default.