Matches in Wikidata for { <http://www.wikidata.org/entity/Q113691898> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q113691898 description "2016 nî lūn-bûn" @default.
- Q113691898 description "2016年の論文" @default.
- Q113691898 description "2016年学术文章" @default.
- Q113691898 description "2016年学术文章" @default.
- Q113691898 description "2016年学术文章" @default.
- Q113691898 description "2016年学术文章" @default.
- Q113691898 description "2016年学术文章" @default.
- Q113691898 description "2016年学术文章" @default.
- Q113691898 description "2016年學術文章" @default.
- Q113691898 description "2016年學術文章" @default.
- Q113691898 description "2016年學術文章" @default.
- Q113691898 description "2016年學術文章" @default.
- Q113691898 description "2016年學術文章" @default.
- Q113691898 description "2016년 논문" @default.
- Q113691898 description "article científic" @default.
- Q113691898 description "article scientific" @default.
- Q113691898 description "article scientifique" @default.
- Q113691898 description "articol științific" @default.
- Q113691898 description "articolo scientifico" @default.
- Q113691898 description "artigo científico" @default.
- Q113691898 description "artigo científico" @default.
- Q113691898 description "artigo científico" @default.
- Q113691898 description "artikel ilmiah" @default.
- Q113691898 description "artikull shkencor" @default.
- Q113691898 description "artikulong pang-agham" @default.
- Q113691898 description "artykuł naukowy" @default.
- Q113691898 description "artículo científico publicado en 2016" @default.
- Q113691898 description "artículu científicu espublizáu en 2016" @default.
- Q113691898 description "bilimsel makale" @default.
- Q113691898 description "bài báo khoa học" @default.
- Q113691898 description "naučni članak" @default.
- Q113691898 description "scienca artikolo" @default.
- Q113691898 description "scientific article published in 2016" @default.
- Q113691898 description "scientific article published on 13 September 2016" @default.
- Q113691898 description "scientific article published on 13 September 2016" @default.
- Q113691898 description "teaduslik artikkel" @default.
- Q113691898 description "tieteellinen artikkeli" @default.
- Q113691898 description "tudományos cikk" @default.
- Q113691898 description "vedecký článok" @default.
- Q113691898 description "vetenskaplig artikel" @default.
- Q113691898 description "videnskabelig artikel udgivet 13. september 2016" @default.
- Q113691898 description "vitenskapelig artikkel" @default.
- Q113691898 description "vitskapeleg artikkel" @default.
- Q113691898 description "vědecký článek" @default.
- Q113691898 description "wetenschappelijk artikel" @default.
- Q113691898 description "wissenschaftlicher Artikel" @default.
- Q113691898 description "επιστημονικό άρθρο" @default.
- Q113691898 description "мақолаи илмӣ" @default.
- Q113691898 description "наукова стаття, опублікована у вересні 2016" @default.
- Q113691898 description "научна статия" @default.
- Q113691898 description "научная статья" @default.
- Q113691898 description "научни чланак" @default.
- Q113691898 description "научни чланак" @default.
- Q113691898 description "מאמר מדעי" @default.
- Q113691898 description "مقالة بحثية نشرت في 13 سبتمبر 2016" @default.
- Q113691898 description "১৩ সেপ্টেম্বর ২০১৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113691898 description "บทความทางวิทยาศาสตร์" @default.
- Q113691898 description "სამეცნიერო სტატია" @default.
- Q113691898 name "Certification of Prefixed Tableau Proofs for Modal Logic" @default.
- Q113691898 type Item @default.
- Q113691898 label "Certification of Prefixed Tableau Proofs for Modal Logic" @default.
- Q113691898 prefLabel "Certification of Prefixed Tableau Proofs for Modal Logic" @default.
- Q113691898 P1433 Q113691898-5999E738-2DAD-4175-AB72-DD9FEE30C53B @default.
- Q113691898 P1476 Q113691898-769A6E8B-C233-4497-A7F3-CB87809B7075 @default.
- Q113691898 P2093 Q113691898-05DC96D6-F4E3-4063-A96B-CF393B7443EC @default.
- Q113691898 P2093 Q113691898-631462F3-448C-48C5-AAED-2C9026F705DC @default.
- Q113691898 P304 Q113691898-4F15A706-927E-4762-BA6C-A0382674E13D @default.
- Q113691898 P31 Q113691898-8C1FED88-1E7B-467A-AE4B-02C0CE881448 @default.
- Q113691898 P356 Q113691898-FDD29F79-8A38-41FA-957F-3B62C96F9C3F @default.
- Q113691898 P478 Q113691898-FE46FCA9-2A08-46A7-A0E9-34AFB0EFE359 @default.
- Q113691898 P577 Q113691898-2A027F52-0F73-49C5-9252-07523ED2910F @default.
- Q113691898 P818 Q113691898-0163faf4-2ebb-4cc7-98a4-cb206ac5f9a4 @default.
- Q113691898 P356 EPTCS.226.18 @default.
- Q113691898 P1433 Q5358295 @default.
- Q113691898 P1476 "Certification of Prefixed Tableau Proofs for Modal Logic" @default.
- Q113691898 P2093 "Marco Volpe" @default.
- Q113691898 P2093 "Tomer Libal" @default.
- Q113691898 P304 "257-271" @default.
- Q113691898 P31 Q13442814 @default.
- Q113691898 P356 "10.4204/EPTCS.226.18" @default.
- Q113691898 P478 "226" @default.
- Q113691898 P577 "2016-09-13T00:00:00Z" @default.
- Q113691898 P818 "1609.04100" @default.