Matches in Wikidata for { <http://www.wikidata.org/entity/Q113772971> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- Q113772971 description "2021 nî lūn-bûn" @default.
- Q113772971 description "2021年の論文" @default.
- Q113772971 description "2021年学术文章" @default.
- Q113772971 description "2021年学术文章" @default.
- Q113772971 description "2021年学术文章" @default.
- Q113772971 description "2021年学术文章" @default.
- Q113772971 description "2021年学术文章" @default.
- Q113772971 description "2021年学术文章" @default.
- Q113772971 description "2021年學術文章" @default.
- Q113772971 description "2021年學術文章" @default.
- Q113772971 description "2021年學術文章" @default.
- Q113772971 description "2021年學術文章" @default.
- Q113772971 description "2021年學術文章" @default.
- Q113772971 description "2021년 논문" @default.
- Q113772971 description "article científic" @default.
- Q113772971 description "article scientific" @default.
- Q113772971 description "article scientifique" @default.
- Q113772971 description "articol științific" @default.
- Q113772971 description "articolo scientifico" @default.
- Q113772971 description "artigo científico" @default.
- Q113772971 description "artigo científico" @default.
- Q113772971 description "artigo científico" @default.
- Q113772971 description "artikel ilmiah" @default.
- Q113772971 description "artikull shkencor" @default.
- Q113772971 description "artikulong pang-agham" @default.
- Q113772971 description "artykuł naukowy" @default.
- Q113772971 description "artículo científico publicado en 2021" @default.
- Q113772971 description "artículu científicu espublizáu en 2021" @default.
- Q113772971 description "bilimsel makale" @default.
- Q113772971 description "bài báo khoa học" @default.
- Q113772971 description "naučni članak" @default.
- Q113772971 description "scienca artikolo" @default.
- Q113772971 description "scientific article published in 2021" @default.
- Q113772971 description "scientific article published on 24 June 2021" @default.
- Q113772971 description "scientific article published on 24 June 2021" @default.
- Q113772971 description "teaduslik artikkel" @default.
- Q113772971 description "tieteellinen artikkeli" @default.
- Q113772971 description "tudományos cikk" @default.
- Q113772971 description "vedecký článok" @default.
- Q113772971 description "vetenskaplig artikel" @default.
- Q113772971 description "videnskabelig artikel udgivet 24. juni 2021" @default.
- Q113772971 description "vitenskapelig artikkel" @default.
- Q113772971 description "vitskapeleg artikkel" @default.
- Q113772971 description "vědecký článek" @default.
- Q113772971 description "wetenschappelijk artikel" @default.
- Q113772971 description "wissenschaftlicher Artikel" @default.
- Q113772971 description "επιστημονικό άρθρο" @default.
- Q113772971 description "мақолаи илмӣ" @default.
- Q113772971 description "наукова стаття, опублікована в червні 2021" @default.
- Q113772971 description "научна статия" @default.
- Q113772971 description "научная статья" @default.
- Q113772971 description "научни чланак" @default.
- Q113772971 description "научни чланак" @default.
- Q113772971 description "מאמר מדעי" @default.
- Q113772971 description "مقالة بحثية نشرت في 24 يونيو 2021" @default.
- Q113772971 description "২৪ জুন ২০২১-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113772971 description "บทความทางวิทยาศาสตร์" @default.
- Q113772971 description "სამეცნიერო სტატია" @default.
- Q113772971 name "Display to Labeled Proofs and Back Again for Tense Logics" @default.
- Q113772971 type Item @default.
- Q113772971 label "Display to Labeled Proofs and Back Again for Tense Logics" @default.
- Q113772971 prefLabel "Display to Labeled Proofs and Back Again for Tense Logics" @default.
- Q113772971 P1433 Q113772971-D8BCB49C-4F9F-4D76-96C0-453A0B4C56B7 @default.
- Q113772971 P1476 Q113772971-146BDBE4-D3C9-4CDE-A9A1-F4191457C598 @default.
- Q113772971 P2093 Q113772971-394B61E9-BFBD-40BE-A360-582A1A16089E @default.
- Q113772971 P2093 Q113772971-4680679A-071A-4EAA-AF0D-855553695F84 @default.
- Q113772971 P2093 Q113772971-493F4BF0-BC08-46DA-BE62-4112FF927449 @default.
- Q113772971 P2093 Q113772971-CE02D2C6-D909-4FF2-B2B8-E4F687F9DB50 @default.
- Q113772971 P304 Q113772971-2358F771-80F1-46A6-99A9-7573B4248207 @default.
- Q113772971 P31 Q113772971-67C4EBD2-4249-431E-B61F-C88137A1760C @default.
- Q113772971 P356 Q113772971-E8051DAE-27E9-4C29-ABF3-BCABD0ABEDB0 @default.
- Q113772971 P433 Q113772971-0C5C1F24-F1D7-47ED-B89C-587F886CD2C6 @default.
- Q113772971 P478 Q113772971-67F9526C-A369-4AAC-9975-3B3B73EECD9E @default.
- Q113772971 P577 Q113772971-F0861DCE-315A-4C0A-9614-673D84B91144 @default.
- Q113772971 P6104 Q113772971-06732161-DFCA-488B-AF7F-E29601DD75B8 @default.
- Q113772971 P818 Q113772971-5cef4fc6-84ac-44ec-b434-00b26f8c5d09 @default.
- Q113772971 P894 Q113772971-3549E6E6-058B-455D-B74E-21AD84E70A5B @default.
- Q113772971 P356 3460492 @default.
- Q113772971 P1433 Q4650732 @default.
- Q113772971 P1476 "Display to Labeled Proofs and Back Again for Tense Logics" @default.
- Q113772971 P2093 "Agata Ciabattoni" @default.
- Q113772971 P2093 "Alwen Tiu" @default.
- Q113772971 P2093 "Revantha Ramanayake" @default.
- Q113772971 P2093 "Tim S. Lyon" @default.
- Q113772971 P304 "1-31" @default.
- Q113772971 P31 Q13442814 @default.
- Q113772971 P356 "10.1145/3460492" @default.
- Q113772971 P433 "3" @default.
- Q113772971 P478 "22" @default.
- Q113772971 P577 "2021-06-24T00:00:00Z" @default.
- Q113772971 P6104 Q8487137 @default.
- Q113772971 P818 "1911.02289" @default.
- Q113772971 P894 "1505.03047" @default.