Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317966> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q113317966 description "2013 nî lūn-bûn" @default.
- Q113317966 description "2013年の論文" @default.
- Q113317966 description "2013年学术文章" @default.
- Q113317966 description "2013年学术文章" @default.
- Q113317966 description "2013年学术文章" @default.
- Q113317966 description "2013年学术文章" @default.
- Q113317966 description "2013年学术文章" @default.
- Q113317966 description "2013年学术文章" @default.
- Q113317966 description "2013年學術文章" @default.
- Q113317966 description "2013年學術文章" @default.
- Q113317966 description "2013年學術文章" @default.
- Q113317966 description "2013年學術文章" @default.
- Q113317966 description "2013年學術文章" @default.
- Q113317966 description "2013년 논문" @default.
- Q113317966 description "article científic" @default.
- Q113317966 description "article scientific" @default.
- Q113317966 description "article scientifique" @default.
- Q113317966 description "articol științific" @default.
- Q113317966 description "articolo scientifico" @default.
- Q113317966 description "artigo científico" @default.
- Q113317966 description "artigo científico" @default.
- Q113317966 description "artigo científico" @default.
- Q113317966 description "artikel ilmiah" @default.
- Q113317966 description "artikull shkencor" @default.
- Q113317966 description "artikulong pang-agham" @default.
- Q113317966 description "artykuł naukowy" @default.
- Q113317966 description "artículo científico publicado en 2013" @default.
- Q113317966 description "artículu científicu espublizáu en payares de 2013" @default.
- Q113317966 description "bilimsel makale" @default.
- Q113317966 description "bài báo khoa học" @default.
- Q113317966 description "naučni članak" @default.
- Q113317966 description "scienca artikolo" @default.
- Q113317966 description "scientific article published on 11 November 2013" @default.
- Q113317966 description "scientific article published on 11 November 2013" @default.
- Q113317966 description "scientific article published on 11 November 2013" @default.
- Q113317966 description "teaduslik artikkel" @default.
- Q113317966 description "tieteellinen artikkeli" @default.
- Q113317966 description "tudományos cikk" @default.
- Q113317966 description "vedecký článok" @default.
- Q113317966 description "vetenskaplig artikel" @default.
- Q113317966 description "videnskabelig artikel udgivet 11. november 2013" @default.
- Q113317966 description "vitenskapelig artikkel" @default.
- Q113317966 description "vitskapeleg artikkel" @default.
- Q113317966 description "vědecký článek" @default.
- Q113317966 description "wetenschappelijk artikel" @default.
- Q113317966 description "wissenschaftlicher Artikel" @default.
- Q113317966 description "επιστημονικό άρθρο" @default.
- Q113317966 description "мақолаи илмӣ" @default.
- Q113317966 description "наукова стаття, опублікована в листопаді 2013" @default.
- Q113317966 description "научна статия" @default.
- Q113317966 description "научная статья" @default.
- Q113317966 description "научни чланак" @default.
- Q113317966 description "научни чланак" @default.
- Q113317966 description "מאמר מדעי" @default.
- Q113317966 description "مقالة بحثية نشرت في 11 نوفمبر 2013" @default.
- Q113317966 description "১১ নভেম্বর ২০১৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317966 description "บทความทางวิทยาศาสตร์" @default.
- Q113317966 description "სამეცნიერო სტატია" @default.
- Q113317966 name "Continuity of Gödelʼs System T Definable Functionals via Effectful Forcing" @default.
- Q113317966 type Item @default.
- Q113317966 label "Continuity of Gödelʼs System T Definable Functionals via Effectful Forcing" @default.
- Q113317966 prefLabel "Continuity of Gödelʼs System T Definable Functionals via Effectful Forcing" @default.
- Q113317966 P1433 Q113317966-B8120513-FFE1-4A04-9D64-8B46FA981C0F @default.
- Q113317966 P1476 Q113317966-C46BB6EB-348F-4CED-9D98-8EF08C3F0BAC @default.
- Q113317966 P2093 Q113317966-F9A2BF77-E224-4458-86A6-D40BFF5FA921 @default.
- Q113317966 P304 Q113317966-791F2ECE-D709-4D24-8FF3-EB9F5DF53B16 @default.
- Q113317966 P31 Q113317966-C355C0F9-7596-4F87-AB08-6B72E0DE5D90 @default.
- Q113317966 P356 Q113317966-6784AEED-D6BF-42C8-A528-566B8A7704AB @default.
- Q113317966 P478 Q113317966-756BE9D1-E4B1-45D6-9651-41589F84C486 @default.
- Q113317966 P577 Q113317966-994A82C5-5A80-49D8-84D7-C985801146D2 @default.
- Q113317966 P6104 Q113317966-5F1BC146-F36E-43B8-A076-97473404AEB0 @default.
- Q113317966 P894 Q113317966-D0E2EFA4-DE63-43D1-91BE-FF8F70B40235 @default.
- Q113317966 P356 J.ENTCS.2013.09.010 @default.
- Q113317966 P1433 Q5358287 @default.
- Q113317966 P1476 "Continuity of Gödelʼs System T Definable Functionals via Effectful Forcing" @default.
- Q113317966 P2093 "Martín Escardó" @default.
- Q113317966 P304 "119-141" @default.
- Q113317966 P31 Q13442814 @default.
- Q113317966 P356 "10.1016/J.ENTCS.2013.09.010" @default.
- Q113317966 P478 "298" @default.
- Q113317966 P577 "2013-11-11T00:00:00Z" @default.
- Q113317966 P6104 Q8487137 @default.
- Q113317966 P894 "1334.68126" @default.