Matches in Wikidata for { <http://www.wikidata.org/entity/Q111901231> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- Q111901231 description "2006 nî lūn-bûn" @default.
- Q111901231 description "2006年の論文" @default.
- Q111901231 description "2006年学术文章" @default.
- Q111901231 description "2006年学术文章" @default.
- Q111901231 description "2006年学术文章" @default.
- Q111901231 description "2006年学术文章" @default.
- Q111901231 description "2006年学术文章" @default.
- Q111901231 description "2006年学术文章" @default.
- Q111901231 description "2006年學術文章" @default.
- Q111901231 description "2006年學術文章" @default.
- Q111901231 description "2006年學術文章" @default.
- Q111901231 description "2006年學術文章" @default.
- Q111901231 description "2006年學術文章" @default.
- Q111901231 description "2006년 논문" @default.
- Q111901231 description "article científic" @default.
- Q111901231 description "article scientific" @default.
- Q111901231 description "article scientifique" @default.
- Q111901231 description "articol științific" @default.
- Q111901231 description "articolo scientifico" @default.
- Q111901231 description "artigo científico" @default.
- Q111901231 description "artigo científico" @default.
- Q111901231 description "artigo científico" @default.
- Q111901231 description "artikel ilmiah" @default.
- Q111901231 description "artikull shkencor" @default.
- Q111901231 description "artikulong pang-agham" @default.
- Q111901231 description "artykuł naukowy" @default.
- Q111901231 description "artículo científico publicado en 2006" @default.
- Q111901231 description "artículu científicu" @default.
- Q111901231 description "bilimsel makale" @default.
- Q111901231 description "bài báo khoa học" @default.
- Q111901231 description "maqolai ilmiy" @default.
- Q111901231 description "naučni članak" @default.
- Q111901231 description "scienca artikolo" @default.
- Q111901231 description "scientific article published on 17 August 2006" @default.
- Q111901231 description "scientific article published on 17 August 2006" @default.
- Q111901231 description "scientific article published on 17 August 2006" @default.
- Q111901231 description "teaduslik artikkel" @default.
- Q111901231 description "tieteellinen artikkeli" @default.
- Q111901231 description "tudományos cikk" @default.
- Q111901231 description "vedecký článok" @default.
- Q111901231 description "vetenskaplig artikel" @default.
- Q111901231 description "videnskabelig artikel udgivet 17. august 2006" @default.
- Q111901231 description "vitenskapelig artikkel" @default.
- Q111901231 description "vitskapeleg artikkel" @default.
- Q111901231 description "vědecký článek" @default.
- Q111901231 description "wetenschappelijk artikel" @default.
- Q111901231 description "wissenschaftlicher Artikel" @default.
- Q111901231 description "επιστημονικό άρθρο" @default.
- Q111901231 description "мақолаи илмӣ" @default.
- Q111901231 description "наукова стаття, опублікована в серпні 2006" @default.
- Q111901231 description "научна статия" @default.
- Q111901231 description "научная статья" @default.
- Q111901231 description "научни чланак" @default.
- Q111901231 description "научни чланак" @default.
- Q111901231 description "מאמר מדעי" @default.
- Q111901231 description "مقالة علمية نشرت في 17 أغسطس 2006" @default.
- Q111901231 description "১৭ আগস্ট ২০০৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q111901231 description "บทความทางวิทยาศาสตร์" @default.
- Q111901231 description "სამეცნიერო სტატია" @default.
- Q111901231 name "Experiences with software specification and verification using LP, the Larch proof assistant" @default.
- Q111901231 type Item @default.
- Q111901231 label "Experiences with software specification and verification using LP, the Larch proof assistant" @default.
- Q111901231 prefLabel "Experiences with software specification and verification using LP, the Larch proof assistant" @default.
- Q111901231 P1433 Q111901231-85B4BA35-7ADA-46D7-BA0E-79BC68067327 @default.
- Q111901231 P1476 Q111901231-E2DB1ED9-14C4-471A-8B26-D61E88715B9E @default.
- Q111901231 P2093 Q111901231-96172A28-ABFA-4B4B-A88F-50345BD0ACE2 @default.
- Q111901231 P304 Q111901231-3BD0C6B5-8C5D-46A1-A718-9EF0644BC7AC @default.
- Q111901231 P31 Q111901231-B018492E-5755-4CB4-AC9B-3AA44C89AF9D @default.
- Q111901231 P356 Q111901231-37BD3F3D-B633-4CE6-8127-3A76994472D3 @default.
- Q111901231 P433 Q111901231-1E2A1685-E3C7-4A57-B540-C93E3C8C547D @default.
- Q111901231 P478 Q111901231-BEA08F19-94A0-463D-9811-460D76CF0B53 @default.
- Q111901231 P577 Q111901231-C269ABBF-FC22-4AC9-B86A-03226FDCC773 @default.
- Q111901231 P921 Q111901231-A2033E2C-60F2-4BD3-9122-1336DF05D763 @default.
- Q111901231 P356 BF00709138 @default.
- Q111901231 P1433 Q15755416 @default.
- Q111901231 P1476 "Experiences with software specification and verification using LP, the Larch proof assistant" @default.
- Q111901231 P2093 "Manfred Broy" @default.
- Q111901231 P304 "221-272" @default.
- Q111901231 P31 Q13442814 @default.
- Q111901231 P356 "10.1007/BF00709138" @default.
- Q111901231 P433 "3" @default.
- Q111901231 P478 "8" @default.
- Q111901231 P577 "2006-08-17T00:00:00Z" @default.
- Q111901231 P921 Q11387554 @default.