Matches in Wikidata for { <http://www.wikidata.org/entity/Q110512615> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- Q110512615 description "2005 nî lūn-bûn" @default.
- Q110512615 description "2005年の論文" @default.
- Q110512615 description "2005年学术文章" @default.
- Q110512615 description "2005年学术文章" @default.
- Q110512615 description "2005年学术文章" @default.
- Q110512615 description "2005年学术文章" @default.
- Q110512615 description "2005年学术文章" @default.
- Q110512615 description "2005年學術文章" @default.
- Q110512615 description "2005年學術文章" @default.
- Q110512615 description "2005年學術文章" @default.
- Q110512615 description "2005年學術文章" @default.
- Q110512615 description "2005年學術文章" @default.
- Q110512615 description "2005年學術文章" @default.
- Q110512615 description "2005년 논문" @default.
- Q110512615 description "article científic" @default.
- Q110512615 description "article scientific" @default.
- Q110512615 description "article scientifique (publié 2005)" @default.
- Q110512615 description "articol științific" @default.
- Q110512615 description "articolo scientifico" @default.
- Q110512615 description "artigo científico (publicado na 2005)" @default.
- Q110512615 description "artigo científico (publicado na 2005)" @default.
- Q110512615 description "artigo científico" @default.
- Q110512615 description "artikel ilmiah" @default.
- Q110512615 description "artikull shkencor" @default.
- Q110512615 description "artikulong pang-agham" @default.
- Q110512615 description "artykuł naukowy" @default.
- Q110512615 description "artículo científico publicado en 2005" @default.
- Q110512615 description "artículu científicu" @default.
- Q110512615 description "bilimsel makale" @default.
- Q110512615 description "bài báo khoa học" @default.
- Q110512615 description "maqolai ilmiy" @default.
- Q110512615 description "mokslinis straipsnis" @default.
- Q110512615 description "naučni članak" @default.
- Q110512615 description "scienca artikolo" @default.
- Q110512615 description "scientific article" @default.
- Q110512615 description "teaduslik artikkel" @default.
- Q110512615 description "tieteellinen artikkeli" @default.
- Q110512615 description "tudományos cikk" @default.
- Q110512615 description "vedecký článok" @default.
- Q110512615 description "vetenskaplig artikel" @default.
- Q110512615 description "videnskabelig artikel (udgivet 2005)" @default.
- Q110512615 description "vitenskapelig artikkel" @default.
- Q110512615 description "vitskapeleg artikkel" @default.
- Q110512615 description "vědecký článek" @default.
- Q110512615 description "wetenschappelijk artikel" @default.
- Q110512615 description "wissenschaftlicher Artikel" @default.
- Q110512615 description "επιστημονικό άρθρο" @default.
- Q110512615 description "мақолаи илмӣ" @default.
- Q110512615 description "мақолаи илмӣ" @default.
- Q110512615 description "наукова стаття" @default.
- Q110512615 description "научна статия" @default.
- Q110512615 description "научная статья" @default.
- Q110512615 description "научни чланак" @default.
- Q110512615 description "научни чланак" @default.
- Q110512615 description "գիտական հոդված" @default.
- Q110512615 description "מאמר מדעי" @default.
- Q110512615 description "سائنسی مضمون" @default.
- Q110512615 description "مقالة علمية" @default.
- Q110512615 description "مقالهٔ علمی" @default.
- Q110512615 description "২০০৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q110512615 description "บทความทางวิทยาศาสตร์" @default.
- Q110512615 description "სამეცნიერო სტატია" @default.
- Q110512615 name "Formal verification of software source code through semi-automatic modeling" @default.
- Q110512615 type Item @default.
- Q110512615 label "Formal verification of software source code through semi-automatic modeling" @default.
- Q110512615 prefLabel "Formal verification of software source code through semi-automatic modeling" @default.
- Q110512615 P1433 Q110512615-B1E8A02F-02A1-4FC3-8183-42F56CB0B2C1 @default.
- Q110512615 P1476 Q110512615-8EAAF0C4-5B99-4C5A-9BE2-434FE039643C @default.
- Q110512615 P2093 Q110512615-C89CCA7E-8945-44AD-846F-932C59644079 @default.
- Q110512615 P304 Q110512615-6FBC8BF6-A164-42BD-BAF7-6272FAC330BC @default.
- Q110512615 P31 Q110512615-1CE0F625-0F41-44EC-8747-8E268F469A22 @default.
- Q110512615 P356 Q110512615-F4DBB8EC-4EF5-49DE-9AAF-F03E7C49ABDE @default.
- Q110512615 P433 Q110512615-2F5D7E3F-666A-4E96-9DFE-33C8F25684C0 @default.
- Q110512615 P478 Q110512615-2C578B03-9385-4064-BCF7-A2C458565AB4 @default.
- Q110512615 P577 Q110512615-DB35D2D9-2A77-4285-AD3B-926843275CAD @default.
- Q110512615 P356 S10270-003-0042-X @default.
- Q110512615 P1433 Q7554240 @default.
- Q110512615 P1476 "Formal verification of software source code through semi-automatic modeling" @default.
- Q110512615 P2093 "Cindy Eisner" @default.
- Q110512615 P304 "14-31" @default.
- Q110512615 P31 Q13442814 @default.
- Q110512615 P356 "10.1007/S10270-003-0042-X" @default.
- Q110512615 P433 "1" @default.
- Q110512615 P478 "4" @default.
- Q110512615 P577 "2005-02-01T00:00:00Z" @default.