Matches in Wikidata for { <http://www.wikidata.org/entity/Q123905803> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- Q123905803 description "2021 nî lūn-bûn" @default.
- Q123905803 description "2021年の論文" @default.
- Q123905803 description "2021年学术文章" @default.
- Q123905803 description "2021年学术文章" @default.
- Q123905803 description "2021年学术文章" @default.
- Q123905803 description "2021年學術文章" @default.
- Q123905803 description "2021年學術文章" @default.
- Q123905803 description "2021년 논문" @default.
- Q123905803 description "article científic" @default.
- Q123905803 description "article scientific" @default.
- Q123905803 description "article scientifique" @default.
- Q123905803 description "articol științific" @default.
- Q123905803 description "articolo scientifico" @default.
- Q123905803 description "artigo científico" @default.
- Q123905803 description "artigo científico" @default.
- Q123905803 description "artigo científico" @default.
- Q123905803 description "artikel ilmiah" @default.
- Q123905803 description "artikull shkencor" @default.
- Q123905803 description "artikulong pang-agham" @default.
- Q123905803 description "artykuł naukowy" @default.
- Q123905803 description "artículo científico publicado en 2021" @default.
- Q123905803 description "artículu científicu" @default.
- Q123905803 description "bilimsel makale" @default.
- Q123905803 description "bài báo khoa học" @default.
- Q123905803 description "naučni članak" @default.
- Q123905803 description "scienca artikolo" @default.
- Q123905803 description "scientific article published in November 2021" @default.
- Q123905803 description "teaduslik artikkel" @default.
- Q123905803 description "tieteellinen artikkeli" @default.
- Q123905803 description "tudományos cikk" @default.
- Q123905803 description "vedecký článok" @default.
- Q123905803 description "vetenskaplig artikel" @default.
- Q123905803 description "videnskabelig artikel udgivet november 2021" @default.
- Q123905803 description "vitenskapelig artikkel" @default.
- Q123905803 description "vitskapeleg artikkel" @default.
- Q123905803 description "vědecký článek" @default.
- Q123905803 description "wetenschappelijk artikel" @default.
- Q123905803 description "wissenschaftlicher Artikel" @default.
- Q123905803 description "znanstveni članek" @default.
- Q123905803 description "επιστημονικό άρθρο" @default.
- Q123905803 description "мақолаи илмӣ" @default.
- Q123905803 description "наукова стаття, опублікована в листопаді 2021" @default.
- Q123905803 description "научна статия" @default.
- Q123905803 description "научная статья" @default.
- Q123905803 description "научни чланак" @default.
- Q123905803 description "научни чланак" @default.
- Q123905803 description "מאמר מדעי" @default.
- Q123905803 description "مقالة بحثية نشرت في نوفمبر 2021" @default.
- Q123905803 description "নভেম্বর ২০২১-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q123905803 description "บทความทางวิทยาศาสตร์" @default.
- Q123905803 description "სამეცნიერო სტატია" @default.
- Q123905803 name "Strategies, model checking and branching-time properties in Maude" @default.
- Q123905803 type Item @default.
- Q123905803 label "Strategies, model checking and branching-time properties in Maude" @default.
- Q123905803 prefLabel "Strategies, model checking and branching-time properties in Maude" @default.
- Q123905803 P1433 Q123905803-DA4E452A-66A0-4546-AC38-7CF9AAB88A30 @default.
- Q123905803 P1476 Q123905803-4A185366-27FB-4588-9B6B-6B831BF1D142 @default.
- Q123905803 P2093 Q123905803-A1CA3823-9CD2-49A5-AB91-47C4A81C7B96 @default.
- Q123905803 P304 Q123905803-EE9D4C5B-0974-4732-BCD2-08F2CF43174F @default.
- Q123905803 P31 Q123905803-3AA017C5-637F-4B5C-94DA-1F681186274B @default.
- Q123905803 P356 Q123905803-BE695D0E-F133-418C-95D0-641AA3E70865 @default.
- Q123905803 P478 Q123905803-05C343DD-4327-43A8-ABD7-98E1FEEAC2DD @default.
- Q123905803 P50 Q123905803-15E272C1-581B-40A7-AF53-1F6032803E91 @default.
- Q123905803 P50 Q123905803-7A12E1A5-A7FA-4ADD-BDD6-1A684BE53272 @default.
- Q123905803 P50 Q123905803-B4EE5847-514E-4FD3-9E3A-3718F21DE842 @default.
- Q123905803 P577 Q123905803-53DC4E54-6836-4790-840D-4BF0A9F8BCB4 @default.
- Q123905803 P818 Q123905803-93e8c91e-c696-4eea-b0a0-12441fa3f450 @default.
- Q123905803 P356 J.JLAMP.2021.100700 @default.
- Q123905803 P1433 Q53971485 @default.
- Q123905803 P1476 "Strategies, model checking and branching-time properties in Maude" @default.
- Q123905803 P2093 "Rubén Rubio" @default.
- Q123905803 P304 "100700" @default.
- Q123905803 P31 Q13442814 @default.
- Q123905803 P356 "10.1016/J.JLAMP.2021.100700" @default.
- Q123905803 P478 "123" @default.
- Q123905803 P50 Q102424196 @default.
- Q123905803 P50 Q124261222 @default.
- Q123905803 P50 Q62056271 @default.
- Q123905803 P577 "2021-11-01T00:00:00Z" @default.
- Q123905803 P818 "2401.07680" @default.