Matches in Wikidata for { <http://www.wikidata.org/entity/Q29544733> ?p ?o ?g. }
- Q29544733 description "2004 nî lūn-bûn" @default.
- Q29544733 description "2004 թուականի Դեկտեմբերին հրատարակուած գիտական յօդուած" @default.
- Q29544733 description "2004 թվականի դեկտեմբերին հրատարակված գիտական հոդված" @default.
- Q29544733 description "2004年の論文" @default.
- Q29544733 description "2004年論文" @default.
- Q29544733 description "2004年論文" @default.
- Q29544733 description "2004年論文" @default.
- Q29544733 description "2004年論文" @default.
- Q29544733 description "2004年論文" @default.
- Q29544733 description "2004年论文" @default.
- Q29544733 description "2004年论文" @default.
- Q29544733 description "2004年论文" @default.
- Q29544733 description "2004年论文" @default.
- Q29544733 description "2004年论文" @default.
- Q29544733 description "2004年论文" @default.
- Q29544733 description "2004년 논문" @default.
- Q29544733 description "article científic" @default.
- Q29544733 description "article scientific" @default.
- Q29544733 description "article scientifique" @default.
- Q29544733 description "articol științific" @default.
- Q29544733 description "articolo scientifico" @default.
- Q29544733 description "artigo científico" @default.
- Q29544733 description "artigo científico" @default.
- Q29544733 description "artigo científico" @default.
- Q29544733 description "artikull shkencor" @default.
- Q29544733 description "artikulong pang-agham" @default.
- Q29544733 description "artykuł naukowy" @default.
- Q29544733 description "artículo científico publicado en 2004" @default.
- Q29544733 description "artículu científicu espublizáu en 2004" @default.
- Q29544733 description "bilimsel makale" @default.
- Q29544733 description "bài báo khoa học" @default.
- Q29544733 description "mokslinis straipsnis" @default.
- Q29544733 description "naučni članak" @default.
- Q29544733 description "scienca artikolo" @default.
- Q29544733 description "scientific article (publication date: 14 December 2004)" @default.
- Q29544733 description "teaduslik artikkel" @default.
- Q29544733 description "tieteellinen artikkeli" @default.
- Q29544733 description "tudományos cikk" @default.
- Q29544733 description "vedecký článok" @default.
- Q29544733 description "vetenskaplig artikel" @default.
- Q29544733 description "videnskabelig artikel" @default.
- Q29544733 description "vitenskapelig artikkel" @default.
- Q29544733 description "vitskapeleg artikkel" @default.
- Q29544733 description "vědecký článek" @default.
- Q29544733 description "wetenschappelijk artikel" @default.
- Q29544733 description "wissenschaftlicher Artikel" @default.
- Q29544733 description "επιστημονικό άρθρο" @default.
- Q29544733 description "мақолаи илмӣ" @default.
- Q29544733 description "мақолаи илмӣ" @default.
- Q29544733 description "наукова стаття, опублікована в грудні 2004" @default.
- Q29544733 description "научна статия" @default.
- Q29544733 description "научная статья" @default.
- Q29544733 description "научни чланак" @default.
- Q29544733 description "научни чланак" @default.
- Q29544733 description "מאמר מדעי" @default.
- Q29544733 description "مقالة علمية (نشرت في 14-12-2004)" @default.
- Q29544733 description "২০০৪-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q29544733 description "บทความทางวิทยาศาสตร์" @default.
- Q29544733 description "სამეცნიერო სტატია" @default.
- Q29544733 name "An overview of JML tools and applications" @default.
- Q29544733 name "An overview of JML tools and applications" @default.
- Q29544733 type Item @default.
- Q29544733 label "An overview of JML tools and applications" @default.
- Q29544733 label "An overview of JML tools and applications" @default.
- Q29544733 prefLabel "An overview of JML tools and applications" @default.
- Q29544733 prefLabel "An overview of JML tools and applications" @default.
- Q29544733 P1433 Q29544733-DCDB586A-C894-44BB-99C6-D851398C6EE4 @default.
- Q29544733 P1476 Q29544733-877837EC-59C9-4A09-B202-2C0693F90B2A @default.
- Q29544733 P2093 Q29544733-1112CF3D-42AB-4999-BC17-736A937B2442 @default.
- Q29544733 P2093 Q29544733-5AA5C7BA-68A4-48C8-AA73-5E7920197C8C @default.
- Q29544733 P2093 Q29544733-60AD1E3C-392A-40FF-8B59-A754D90344D8 @default.
- Q29544733 P2093 Q29544733-714FB543-58A4-4259-9D44-4235CAFAA305 @default.
- Q29544733 P2093 Q29544733-9A37EFD0-9FB0-433C-9948-F75F2B673686 @default.
- Q29544733 P2093 Q29544733-9AA81CE9-CC9E-43CB-9748-EC94E25B6163 @default.
- Q29544733 P2093 Q29544733-9BDD5C8F-7FA9-4F3C-9CF0-A50535AA9359 @default.
- Q29544733 P2093 Q29544733-9FB2F799-DA61-4817-A056-31E8ED8C67FC @default.
- Q29544733 P2860 Q29544733-079797F7-DD3E-4B51-9388-CBEEE7D27FD2 @default.
- Q29544733 P2860 Q29544733-937D1A92-3844-4391-A9FE-DB38955D8E85 @default.
- Q29544733 P2860 Q29544733-E8E88222-FD21-4796-BACA-A1788C2DD072 @default.
- Q29544733 P2888 Q29544733-FDEFF6DB-0511-4783-AC2D-152FACF9DC1C @default.
- Q29544733 P304 Q29544733-26A6DF02-17DC-42F4-B253-71E2C77EF81A @default.
- Q29544733 P31 Q29544733-9EE27244-9367-4F17-AEEB-218988A42026 @default.
- Q29544733 P356 Q29544733-70B21D74-8ACA-4F9A-A53F-C49AD0107A61 @default.
- Q29544733 P433 Q29544733-69B29C67-A1F4-4ED5-884F-9EEAF8815200 @default.
- Q29544733 P478 Q29544733-3A3F5B85-0516-40AB-99AB-8F9B2DEAB290 @default.
- Q29544733 P577 Q29544733-5CC97C23-3FD7-4BC6-96AC-76202CD56F65 @default.
- Q29544733 P5875 Q29544733-90E79623-486B-4FE7-A155-38B29EE0E3D6 @default.
- Q29544733 P6179 Q29544733-9BEA7163-CFED-4D41-8553-1567185E75C4 @default.
- Q29544733 P8978 Q29544733-D50D63C4-B5C9-45C3-BF92-354789043E39 @default.
- Q29544733 P356 S10009-004-0167-4 @default.
- Q29544733 P8978 BurdyCCEKLLP05 @default.
- Q29544733 P1433 Q15762441 @default.
- Q29544733 P1476 "An overview of JML tools and applications" @default.
- Q29544733 P2093 "David R. Cok" @default.
- Q29544733 P2093 "Erik Poll" @default.
- Q29544733 P2093 "Gary T. Leavens" @default.
- Q29544733 P2093 "Joseph R. Kiniry" @default.
- Q29544733 P2093 "K. Rustan M. Leino" @default.
- Q29544733 P2093 "Lilian Burdy" @default.
- Q29544733 P2093 "Michael D. Ernst" @default.