Matches in Wikidata for { <http://www.wikidata.org/entity/Q113691882> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q113691882 description "2019 nî lūn-bûn" @default.
- Q113691882 description "2019年の論文" @default.
- Q113691882 description "2019年学术文章" @default.
- Q113691882 description "2019年学术文章" @default.
- Q113691882 description "2019年学术文章" @default.
- Q113691882 description "2019年学术文章" @default.
- Q113691882 description "2019年学术文章" @default.
- Q113691882 description "2019年学术文章" @default.
- Q113691882 description "2019年學術文章" @default.
- Q113691882 description "2019年學術文章" @default.
- Q113691882 description "2019年學術文章" @default.
- Q113691882 description "2019年學術文章" @default.
- Q113691882 description "2019年學術文章" @default.
- Q113691882 description "2019년 논문" @default.
- Q113691882 description "article científic" @default.
- Q113691882 description "article scientific" @default.
- Q113691882 description "article scientifique" @default.
- Q113691882 description "articol științific" @default.
- Q113691882 description "articolo scientifico" @default.
- Q113691882 description "artigo científico" @default.
- Q113691882 description "artigo científico" @default.
- Q113691882 description "artigo científico" @default.
- Q113691882 description "artikel ilmiah" @default.
- Q113691882 description "artikull shkencor" @default.
- Q113691882 description "artikulong pang-agham" @default.
- Q113691882 description "artykuł naukowy" @default.
- Q113691882 description "artículo científico publicado en 2019" @default.
- Q113691882 description "artículu científicu espublizáu en 2019" @default.
- Q113691882 description "bilimsel makale" @default.
- Q113691882 description "bài báo khoa học" @default.
- Q113691882 description "naučni članak" @default.
- Q113691882 description "scienca artikolo" @default.
- Q113691882 description "scientific article published in 2019" @default.
- Q113691882 description "scientific article published on 2 September 2019" @default.
- Q113691882 description "scientific article published on 2 September 2019" @default.
- Q113691882 description "teaduslik artikkel" @default.
- Q113691882 description "tieteellinen artikkeli" @default.
- Q113691882 description "tudományos cikk" @default.
- Q113691882 description "vedecký článok" @default.
- Q113691882 description "vetenskaplig artikel" @default.
- Q113691882 description "videnskabelig artikel udgivet 2. september 2019" @default.
- Q113691882 description "vitenskapelig artikkel" @default.
- Q113691882 description "vitskapeleg artikkel" @default.
- Q113691882 description "vědecký článek" @default.
- Q113691882 description "wetenschappelijk artikel" @default.
- Q113691882 description "wissenschaftlicher Artikel" @default.
- Q113691882 description "επιστημονικό άρθρο" @default.
- Q113691882 description "мақолаи илмӣ" @default.
- Q113691882 description "наукова стаття, опублікована у вересні 2019" @default.
- Q113691882 description "научна статия" @default.
- Q113691882 description "научная статья" @default.
- Q113691882 description "научни чланак" @default.
- Q113691882 description "научни чланак" @default.
- Q113691882 description "מאמר מדעי" @default.
- Q113691882 description "مقالة بحثية نشرت في 2 سبتمبر 2019" @default.
- Q113691882 description "২ সেপ্টেম্বর ২০১৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113691882 description "บทความทางวิทยาศาสตร์" @default.
- Q113691882 description "სამეცნიერო სტატია" @default.
- Q113691882 name "(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic" @default.
- Q113691882 type Item @default.
- Q113691882 label "(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic" @default.
- Q113691882 prefLabel "(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic" @default.
- Q113691882 P1433 Q113691882-3A5F7F66-3B49-43A8-ADC4-46EAA2420018 @default.
- Q113691882 P1476 Q113691882-0E7F177A-74E9-448D-B6DB-BCE659F7077B @default.
- Q113691882 P2093 Q113691882-7C973B59-4E5F-4D43-A17E-7948061E8882 @default.
- Q113691882 P2093 Q113691882-F64B6676-4D6C-4912-8719-0F75C679786A @default.
- Q113691882 P304 Q113691882-1E8FA2CA-F00B-48C7-888B-4429DFA31374 @default.
- Q113691882 P31 Q113691882-25CB5BDD-C145-4AE2-A9FB-57E231AEF08F @default.
- Q113691882 P356 Q113691882-F9CB453D-6FD2-4462-B7D1-921F2E9365E8 @default.
- Q113691882 P478 Q113691882-7C23CAAD-83CE-4C49-BD94-CF9E8BC120D3 @default.
- Q113691882 P577 Q113691882-BC525652-5320-48DD-95BE-91BDA17CEB87 @default.
- Q113691882 P818 Q113691882-5ea52808-fb79-4cc7-a38f-aa8792f343b7 @default.
- Q113691882 P356 EPTCS.303.3 @default.
- Q113691882 P1433 Q5358295 @default.
- Q113691882 P1476 "(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic" @default.
- Q113691882 P2093 "David Nowak" @default.
- Q113691882 P2093 "Vlad Rusu" @default.
- Q113691882 P304 "32-47" @default.
- Q113691882 P31 Q13442814 @default.
- Q113691882 P356 "10.4204/EPTCS.303.3" @default.
- Q113691882 P478 "303" @default.
- Q113691882 P577 "2019-09-02T00:00:00Z" @default.
- Q113691882 P818 "1909.01744" @default.