Matches in Wikidata for { <http://www.wikidata.org/entity/Q123905894> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- Q123905894 description "2005 nî lūn-bûn" @default.
- Q123905894 description "2005年の論文" @default.
- Q123905894 description "2005年学术文章" @default.
- Q123905894 description "2005年学术文章" @default.
- Q123905894 description "2005年学术文章" @default.
- Q123905894 description "2005年學術文章" @default.
- Q123905894 description "2005年學術文章" @default.
- Q123905894 description "2005년 논문" @default.
- Q123905894 description "article científic" @default.
- Q123905894 description "article scientific" @default.
- Q123905894 description "article scientifique" @default.
- Q123905894 description "articol științific" @default.
- Q123905894 description "articolo scientifico" @default.
- Q123905894 description "artigo científico" @default.
- Q123905894 description "artigo científico" @default.
- Q123905894 description "artigo científico" @default.
- Q123905894 description "artikel ilmiah" @default.
- Q123905894 description "artikull shkencor" @default.
- Q123905894 description "artikulong pang-agham" @default.
- Q123905894 description "artykuł naukowy" @default.
- Q123905894 description "artículo científico publicado en 2005" @default.
- Q123905894 description "artículu científicu" @default.
- Q123905894 description "bilimsel makale" @default.
- Q123905894 description "bài báo khoa học" @default.
- Q123905894 description "naučni članak" @default.
- Q123905894 description "scienca artikolo" @default.
- Q123905894 description "scientific article published in June 2005" @default.
- Q123905894 description "teaduslik artikkel" @default.
- Q123905894 description "tieteellinen artikkeli" @default.
- Q123905894 description "tudományos cikk" @default.
- Q123905894 description "vedecký článok" @default.
- Q123905894 description "vetenskaplig artikel" @default.
- Q123905894 description "videnskabelig artikel udgivet juni 2005" @default.
- Q123905894 description "vitenskapelig artikkel" @default.
- Q123905894 description "vitskapeleg artikkel" @default.
- Q123905894 description "vědecký článek" @default.
- Q123905894 description "wetenschappelijk artikel" @default.
- Q123905894 description "wissenschaftlicher Artikel" @default.
- Q123905894 description "znanstveni članek" @default.
- Q123905894 description "επιστημονικό άρθρο" @default.
- Q123905894 description "мақолаи илмӣ" @default.
- Q123905894 description "наукова стаття, опублікована в червні 2005" @default.
- Q123905894 description "научна статия" @default.
- Q123905894 description "научная статья" @default.
- Q123905894 description "научни чланак" @default.
- Q123905894 description "научни чланак" @default.
- Q123905894 description "מאמר מדעי" @default.
- Q123905894 description "مقالة بحثية نشرت في يونيو 2005" @default.
- Q123905894 description "জুন ২০০৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q123905894 description "บทความทางวิทยาศาสตร์" @default.
- Q123905894 description "სამეცნიერო სტატია" @default.
- Q123905894 name "A Verification Logic for Rewriting Logic" @default.
- Q123905894 type Item @default.
- Q123905894 label "A Verification Logic for Rewriting Logic" @default.
- Q123905894 prefLabel "A Verification Logic for Rewriting Logic" @default.
- Q123905894 P1433 Q123905894-50FCDEC6-D632-4B5F-8FD8-E98C0A934D3C @default.
- Q123905894 P1476 Q123905894-A4E5E1A1-049F-4C13-99B5-C01922D374C9 @default.
- Q123905894 P2093 Q123905894-22B7F2B1-FEB3-4CBE-A1BA-00071C50C9F8 @default.
- Q123905894 P2093 Q123905894-552B2A08-8432-4ED0-9750-452A9096DFF4 @default.
- Q123905894 P2093 Q123905894-D0DF52BC-6002-4441-A80F-B278308944CD @default.
- Q123905894 P304 Q123905894-57F9A1C7-A70E-4A12-BD87-6ED98D3C6076 @default.
- Q123905894 P31 Q123905894-936FD93E-C038-404F-B028-89309524148E @default.
- Q123905894 P356 Q123905894-1499C1E2-E7A7-4D2A-83CB-CAE40004E760 @default.
- Q123905894 P433 Q123905894-1E4432F2-DA18-49BB-A2DE-71006EB7E7DA @default.
- Q123905894 P478 Q123905894-B9E9AF36-5554-4384-9462-C1AE62E271D8 @default.
- Q123905894 P50 Q123905894-52054E2F-8593-4985-924A-58148488B665 @default.
- Q123905894 P50 Q123905894-92E63DC3-54D1-4D69-BCA5-E4F5077B47A0 @default.
- Q123905894 P577 Q123905894-B81BE38E-0329-47A1-BEAA-33FC60836093 @default.
- Q123905894 P356 EXI015 @default.
- Q123905894 P1433 Q6295460 @default.
- Q123905894 P1476 "A Verification Logic for Rewriting Logic" @default.
- Q123905894 P2093 "José Luiz Fiadeiro" @default.
- Q123905894 P2093 "José Meseguer" @default.
- Q123905894 P2093 "Tom Maibaum" @default.
- Q123905894 P304 "317-352" @default.
- Q123905894 P31 Q13442814 @default.
- Q123905894 P356 "10.1093/LOGCOM/EXI015" @default.
- Q123905894 P433 "3" @default.
- Q123905894 P478 "15" @default.
- Q123905894 P50 Q102424196 @default.
- Q123905894 P50 Q124261222 @default.
- Q123905894 P577 "2005-06-01T00:00:00Z" @default.