Matches in Wikidata for { <http://www.wikidata.org/entity/Q122178586> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- Q122178586 description "2023 nî lūn-bûn" @default.
- Q122178586 description "2023年の論文" @default.
- Q122178586 description "2023年学术文章" @default.
- Q122178586 description "2023年学术文章" @default.
- Q122178586 description "2023年学术文章" @default.
- Q122178586 description "2023年学术文章" @default.
- Q122178586 description "2023年学术文章" @default.
- Q122178586 description "2023年学术文章" @default.
- Q122178586 description "2023年學術文章" @default.
- Q122178586 description "2023年學術文章" @default.
- Q122178586 description "2023年學術文章" @default.
- Q122178586 description "2023年學術文章" @default.
- Q122178586 description "2023年學術文章" @default.
- Q122178586 description "2023년 논문" @default.
- Q122178586 description "article científic" @default.
- Q122178586 description "article scientific" @default.
- Q122178586 description "article scientifique publié en 2023" @default.
- Q122178586 description "articol științific" @default.
- Q122178586 description "articolo scientifico" @default.
- Q122178586 description "artigo científico" @default.
- Q122178586 description "artigo científico" @default.
- Q122178586 description "artigo científico" @default.
- Q122178586 description "artikel ilmiah" @default.
- Q122178586 description "artikull shkencor" @default.
- Q122178586 description "artikulong pang-agham" @default.
- Q122178586 description "artykuł naukowy" @default.
- Q122178586 description "artículo científico publicado en 2023" @default.
- Q122178586 description "artículu científicu espublizáu en 2023" @default.
- Q122178586 description "bilimsel makale" @default.
- Q122178586 description "bài báo khoa học" @default.
- Q122178586 description "naučni članak" @default.
- Q122178586 description "scienca artikolo" @default.
- Q122178586 description "scientific article published in 2023" @default.
- Q122178586 description "scientific article published on 13 March 2023" @default.
- Q122178586 description "scientific article published on 13 March 2023" @default.
- Q122178586 description "teaduslik artikkel" @default.
- Q122178586 description "tieteellinen artikkeli" @default.
- Q122178586 description "tudományos cikk" @default.
- Q122178586 description "vedecký článok" @default.
- Q122178586 description "vetenskaplig artikel" @default.
- Q122178586 description "videnskabelig artikel udgivet 13. marts 2023" @default.
- Q122178586 description "vitenskapelig artikkel" @default.
- Q122178586 description "vitskapeleg artikkel" @default.
- Q122178586 description "vědecký článek" @default.
- Q122178586 description "wetenschappelijk artikel" @default.
- Q122178586 description "wissenschaftlicher Artikel" @default.
- Q122178586 description "znanstveni članek" @default.
- Q122178586 description "επιστημονικό άρθρο" @default.
- Q122178586 description "мақолаи илмӣ" @default.
- Q122178586 description "наукова стаття, опублікована в березні 2023" @default.
- Q122178586 description "научна статия" @default.
- Q122178586 description "научная статья" @default.
- Q122178586 description "научни чланак" @default.
- Q122178586 description "научни чланак" @default.
- Q122178586 description "מאמר מדעי" @default.
- Q122178586 description "مقالة بحثية نشرت في 13 مارس 2023" @default.
- Q122178586 description "১৩ মার্চ ২০২৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q122178586 description "บทความทางวิทยาศาสตร์" @default.
- Q122178586 description "სამეცნიერო სტატია" @default.
- Q122178586 name "K‐Go: An executable formal semantics of Go language in K framework" @default.
- Q122178586 type Item @default.
- Q122178586 label "K‐Go: An executable formal semantics of Go language in K framework" @default.
- Q122178586 prefLabel "K‐Go: An executable formal semantics of Go language in K framework" @default.
- Q122178586 P1476 Q122178586-BC12C0B0-8818-47C2-B389-48712A1E6A18 @default.
- Q122178586 P2093 Q122178586-03CEE04B-E542-4807-9960-8B7F4FF17AF5 @default.
- Q122178586 P2093 Q122178586-083361B7-0B94-47FC-9F4E-1BE696116EC2 @default.
- Q122178586 P2093 Q122178586-19BACE35-A96B-493A-B821-23A7D8F58970 @default.
- Q122178586 P2093 Q122178586-40773553-1926-458D-8CD9-4E64A97B0F64 @default.
- Q122178586 P2093 Q122178586-D28F608D-B7A2-4B04-8F16-F7EFC161AB7D @default.
- Q122178586 P2093 Q122178586-DBD5EBA7-2E68-408E-B4C9-FE767C788182 @default.
- Q122178586 P304 Q122178586-CC26AEB4-F8FB-4A6D-B4E7-43C37F8F6AA7 @default.
- Q122178586 P31 Q122178586-CC4DC91F-47D4-4C1C-9F1D-DC9FBE6897C7 @default.
- Q122178586 P356 Q122178586-8B18122F-05CD-4F42-8157-062AB74FA9AB @default.
- Q122178586 P433 Q122178586-C9B66095-C153-4E3A-8869-E419533F18B9 @default.
- Q122178586 P478 Q122178586-AA10506F-127F-4CA1-8E81-67FCCB6B7864 @default.
- Q122178586 P577 Q122178586-EE1F1A0A-C1FF-4A85-9D7E-3251FD099460 @default.
- Q122178586 P356 BLC2.12024 @default.
- Q122178586 P1476 "K‐Go: An executable formal semantics of Go language in K framework" @default.
- Q122178586 P2093 "Bo Meng" @default.
- Q122178586 P2093 "Can Zhao" @default.
- Q122178586 P2093 "Dejun Wang" @default.
- Q122178586 P2093 "Qin Liu" @default.
- Q122178586 P2093 "Ze Yu" @default.
- Q122178586 P2093 "Zonghua Hu" @default.
- Q122178586 P304 "61-73" @default.
- Q122178586 P31 Q13442814 @default.
- Q122178586 P356 "10.1049/BLC2.12024" @default.
- Q122178586 P433 "2" @default.
- Q122178586 P478 "3" @default.
- Q122178586 P577 "2023-03-13T00:00:00Z" @default.