Matches in Wikidata for { <http://www.wikidata.org/entity/Q110512457> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q110512457 description "1998 nî lūn-bûn" @default.
- Q110512457 description "1998年の論文" @default.
- Q110512457 description "1998年学术文章" @default.
- Q110512457 description "1998年学术文章" @default.
- Q110512457 description "1998年学术文章" @default.
- Q110512457 description "1998年学术文章" @default.
- Q110512457 description "1998年学术文章" @default.
- Q110512457 description "1998年學術文章" @default.
- Q110512457 description "1998年學術文章" @default.
- Q110512457 description "1998年學術文章" @default.
- Q110512457 description "1998年學術文章" @default.
- Q110512457 description "1998年學術文章" @default.
- Q110512457 description "1998年學術文章" @default.
- Q110512457 description "1998년 논문" @default.
- Q110512457 description "article científic" @default.
- Q110512457 description "article scientific" @default.
- Q110512457 description "article scientifique (publié 1998)" @default.
- Q110512457 description "articol științific" @default.
- Q110512457 description "articolo scientifico" @default.
- Q110512457 description "artigo científico (publicado na 1998)" @default.
- Q110512457 description "artigo científico (publicado na 1998)" @default.
- Q110512457 description "artigo científico" @default.
- Q110512457 description "artikel ilmiah" @default.
- Q110512457 description "artikull shkencor" @default.
- Q110512457 description "artikulong pang-agham" @default.
- Q110512457 description "artykuł naukowy" @default.
- Q110512457 description "artículo científico publicado en 1998" @default.
- Q110512457 description "artículu científicu" @default.
- Q110512457 description "bilimsel makale" @default.
- Q110512457 description "bài báo khoa học" @default.
- Q110512457 description "maqolai ilmiy" @default.
- Q110512457 description "mokslinis straipsnis" @default.
- Q110512457 description "naučni članak" @default.
- Q110512457 description "scienca artikolo" @default.
- Q110512457 description "scientific article" @default.
- Q110512457 description "teaduslik artikkel" @default.
- Q110512457 description "tieteellinen artikkeli" @default.
- Q110512457 description "tudományos cikk" @default.
- Q110512457 description "vedecký článok" @default.
- Q110512457 description "vetenskaplig artikel" @default.
- Q110512457 description "videnskabelig artikel (udgivet 1998)" @default.
- Q110512457 description "vitenskapelig artikkel" @default.
- Q110512457 description "vitskapeleg artikkel" @default.
- Q110512457 description "vědecký článek" @default.
- Q110512457 description "wetenschappelijk artikel" @default.
- Q110512457 description "wissenschaftlicher Artikel" @default.
- Q110512457 description "επιστημονικό άρθρο" @default.
- Q110512457 description "мақолаи илмӣ" @default.
- Q110512457 description "мақолаи илмӣ" @default.
- Q110512457 description "наукова стаття" @default.
- Q110512457 description "научна статия" @default.
- Q110512457 description "научная статья" @default.
- Q110512457 description "научни чланак" @default.
- Q110512457 description "научни чланак" @default.
- Q110512457 description "գիտական հոդված" @default.
- Q110512457 description "מאמר מדעי" @default.
- Q110512457 description "سائنسی مضمون" @default.
- Q110512457 description "مقالة علمية" @default.
- Q110512457 description "مقالهٔ علمی" @default.
- Q110512457 description "১৯৯৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q110512457 description "บทความทางวิทยาศาสตร์" @default.
- Q110512457 description "სამეცნიერო სტატია" @default.
- Q110512457 name "Addressing the shortcomings of traditional formal reasoning methods for concurrent programs: New tools and techniques for source code correctness" @default.
- Q110512457 type Item @default.
- Q110512457 label "Addressing the shortcomings of traditional formal reasoning methods for concurrent programs: New tools and techniques for source code correctness" @default.
- Q110512457 prefLabel "Addressing the shortcomings of traditional formal reasoning methods for concurrent programs: New tools and techniques for source code correctness" @default.
- Q110512457 P1433 Q110512457-689A5CD8-426B-4C68-8C03-C74E8838FF74 @default.
- Q110512457 P1476 Q110512457-76B74631-060C-4DCC-80DE-D643F9B47A83 @default.
- Q110512457 P2093 Q110512457-B32052A4-2871-40E0-88FE-95FDB2195760 @default.
- Q110512457 P2093 Q110512457-E8C25BD9-2326-44CD-86F6-124C7F93C181 @default.
- Q110512457 P304 Q110512457-C7F559B1-502E-4C4A-9F0A-795BCF21CE56 @default.
- Q110512457 P31 Q110512457-3C2343DB-A6F5-442A-99B3-1196F8C4E9B2 @default.
- Q110512457 P356 Q110512457-07D111FB-9CA6-410D-B601-60780FBD907B @default.
- Q110512457 P433 Q110512457-A1B85F43-2DBC-4C21-8B30-20490609C5B2 @default.
- Q110512457 P478 Q110512457-E7EC4726-C6F0-45A1-A13B-A91DF2490F1F @default.
- Q110512457 P577 Q110512457-C1841EC3-4B5F-43D5-9EA2-E818A80CE9F9 @default.
- Q110512457 P356 S0020-0255(97)10014-7 @default.
- Q110512457 P1433 Q13732670 @default.
- Q110512457 P1476 "Addressing the shortcomings of traditional formal reasoning methods for concurrent programs: New tools and techniques for source code correctness" @default.
- Q110512457 P2093 "Robert J. Shaw" @default.
- Q110512457 P2093 "Ronald A. Olsson" @default.
- Q110512457 P304 "259-275" @default.
- Q110512457 P31 Q13442814 @default.
- Q110512457 P356 "10.1016/S0020-0255(97)10014-7" @default.
- Q110512457 P433 "3-4" @default.
- Q110512457 P478 "106" @default.
- Q110512457 P577 "1998-05-01T00:00:00Z" @default.