Matches in Wikidata for { <http://www.wikidata.org/entity/Q115188990> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- Q115188990 description "2023 nî lūn-bûn" @default.
- Q115188990 description "2023年の論文" @default.
- Q115188990 description "2023年学术文章" @default.
- Q115188990 description "2023年学术文章" @default.
- Q115188990 description "2023年学术文章" @default.
- Q115188990 description "2023年学术文章" @default.
- Q115188990 description "2023年学术文章" @default.
- Q115188990 description "2023年学术文章" @default.
- Q115188990 description "2023年學術文章" @default.
- Q115188990 description "2023年學術文章" @default.
- Q115188990 description "2023年學術文章" @default.
- Q115188990 description "2023年學術文章" @default.
- Q115188990 description "2023年學術文章" @default.
- Q115188990 description "2023년 논문" @default.
- Q115188990 description "article científic" @default.
- Q115188990 description "article scientific" @default.
- Q115188990 description "article scientifique" @default.
- Q115188990 description "articol științific" @default.
- Q115188990 description "articolo scientifico" @default.
- Q115188990 description "artigo científico" @default.
- Q115188990 description "artigo científico" @default.
- Q115188990 description "artigo científico" @default.
- Q115188990 description "artikel ilmiah" @default.
- Q115188990 description "artikull shkencor" @default.
- Q115188990 description "artikulong pang-agham" @default.
- Q115188990 description "artykuł naukowy" @default.
- Q115188990 description "artículo científico publicado en 2023" @default.
- Q115188990 description "artículu científicu" @default.
- Q115188990 description "bilimsel makale" @default.
- Q115188990 description "bài báo khoa học" @default.
- Q115188990 description "naučni članak" @default.
- Q115188990 description "scienca artikolo" @default.
- Q115188990 description "scientific article published in 2023" @default.
- Q115188990 description "scientific article published in January 2023" @default.
- Q115188990 description "scientific article published in January 2023" @default.
- Q115188990 description "teaduslik artikkel" @default.
- Q115188990 description "tieteellinen artikkeli" @default.
- Q115188990 description "tudományos cikk" @default.
- Q115188990 description "vedecký článok" @default.
- Q115188990 description "vetenskaplig artikel" @default.
- Q115188990 description "videnskabelig artikel udgivet januar 2023" @default.
- Q115188990 description "vitenskapelig artikkel" @default.
- Q115188990 description "vitskapeleg artikkel" @default.
- Q115188990 description "vědecký článek" @default.
- Q115188990 description "wetenschappelijk artikel" @default.
- Q115188990 description "wissenschaftlicher Artikel" @default.
- Q115188990 description "επιστημονικό άρθρο" @default.
- Q115188990 description "мақолаи илмӣ" @default.
- Q115188990 description "наукова стаття, опублікована в січні 2023" @default.
- Q115188990 description "научна статия" @default.
- Q115188990 description "научная статья" @default.
- Q115188990 description "научни чланак" @default.
- Q115188990 description "научни чланак" @default.
- Q115188990 description "գիտական հոդված հրատարակված 2023 թվականին" @default.
- Q115188990 description "מאמר מדעי" @default.
- Q115188990 description "مقالة بحثية نشرت في يناير 2023" @default.
- Q115188990 description "জানুয়ারি ২০২৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q115188990 description "บทความทางวิทยาศาสตร์" @default.
- Q115188990 description "სამეცნიერო სტატია" @default.
- Q115188990 name "A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems" @default.
- Q115188990 type Item @default.
- Q115188990 label "A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems" @default.
- Q115188990 prefLabel "A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems" @default.
- Q115188990 P1433 Q115188990-963B7B69-73C3-4103-A4B5-554D603C1AB7 @default.
- Q115188990 P1476 Q115188990-BC4AC7EB-21D6-428C-A643-472FED9D6600 @default.
- Q115188990 P2093 Q115188990-7A5161FE-F3A6-4995-A7A8-0587FFBDC2D6 @default.
- Q115188990 P304 Q115188990-855FF822-E73F-4BB0-B0A8-D12E21D5B5E9 @default.
- Q115188990 P31 Q115188990-9193F908-8BDD-46D9-A427-AC3048D630D6 @default.
- Q115188990 P356 Q115188990-AE91D66D-2992-4DA2-801D-5CC1427ECF14 @default.
- Q115188990 P478 Q115188990-F336DBDC-A1A1-4D18-A5B9-BB6519DD5885 @default.
- Q115188990 P50 Q115188990-206DAF5D-1CB9-4879-9D23-FD39369E45E7 @default.
- Q115188990 P50 Q115188990-EB8A5A21-5604-44CB-9DE7-9D2E1742BB0D @default.
- Q115188990 P577 Q115188990-B56D3E31-784F-48A6-9DEA-F04F707B08A6 @default.
- Q115188990 P356 J.JLAMP.2022.100827 @default.
- Q115188990 P1433 Q53971485 @default.
- Q115188990 P1476 "A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems" @default.
- Q115188990 P2093 "Camilo Rocha" @default.
- Q115188990 P304 "100827" @default.
- Q115188990 P31 Q13442814 @default.
- Q115188990 P356 "10.1016/J.JLAMP.2022.100827" @default.
- Q115188990 P478 "130" @default.
- Q115188990 P50 Q57305639 @default.
- Q115188990 P50 Q58232836 @default.
- Q115188990 P577 "2023-01-01T00:00:00Z" @default.