Matches in Wikidata for { <http://www.wikidata.org/entity/Q125060994> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- Q125060994 description "2003 nî lūn-bûn" @default.
- Q125060994 description "2003年の論文" @default.
- Q125060994 description "2003年学术文章" @default.
- Q125060994 description "2003年学术文章" @default.
- Q125060994 description "2003年学术文章" @default.
- Q125060994 description "2003年學術文章" @default.
- Q125060994 description "2003年學術文章" @default.
- Q125060994 description "2003년 논문" @default.
- Q125060994 description "article científic" @default.
- Q125060994 description "article scientific" @default.
- Q125060994 description "article scientifique" @default.
- Q125060994 description "articol științific" @default.
- Q125060994 description "articolo scientifico" @default.
- Q125060994 description "artigo científico" @default.
- Q125060994 description "artigo científico" @default.
- Q125060994 description "artigo científico" @default.
- Q125060994 description "artikel ilmiah" @default.
- Q125060994 description "artikull shkencor" @default.
- Q125060994 description "artikulong pang-agham" @default.
- Q125060994 description "artykuł naukowy" @default.
- Q125060994 description "artículo científico publicado en 2003" @default.
- Q125060994 description "artículu científicu" @default.
- Q125060994 description "bilimsel makale" @default.
- Q125060994 description "bài báo khoa học" @default.
- Q125060994 description "naučni članak" @default.
- Q125060994 description "scienca artikolo" @default.
- Q125060994 description "scientific article published in 2003" @default.
- Q125060994 description "teaduslik artikkel" @default.
- Q125060994 description "tieteellinen artikkeli" @default.
- Q125060994 description "tudományos cikk" @default.
- Q125060994 description "vedecký článok" @default.
- Q125060994 description "vetenskaplig artikel" @default.
- Q125060994 description "videnskabelig artikel udgivet august 2003" @default.
- Q125060994 description "vitenskapelig artikkel" @default.
- Q125060994 description "vitskapeleg artikkel" @default.
- Q125060994 description "vědecký článek" @default.
- Q125060994 description "wetenschappelijk artikel" @default.
- Q125060994 description "wissenschaftlicher Artikel" @default.
- Q125060994 description "znanstveni članek" @default.
- Q125060994 description "επιστημονικό άρθρο" @default.
- Q125060994 description "мақолаи илмӣ" @default.
- Q125060994 description "наукова стаття, опублікована в серпні 2003" @default.
- Q125060994 description "научна статия" @default.
- Q125060994 description "научная статья" @default.
- Q125060994 description "научни чланак" @default.
- Q125060994 description "научни чланак" @default.
- Q125060994 description "מאמר מדעי" @default.
- Q125060994 description "مقالة بحثية نشرت في أغسطس 2003" @default.
- Q125060994 description "আগস্ট ২০০৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q125060994 description "บทความทางวิทยาศาสตร์" @default.
- Q125060994 description "სამეცნიერო სტატია" @default.
- Q125060994 name "Efficient Counterexample Generation for Game Solving in NuSMV" @default.
- Q125060994 type Item @default.
- Q125060994 label "Efficient Counterexample Generation for Game Solving in NuSMV" @default.
- Q125060994 prefLabel "Efficient Counterexample Generation for Game Solving in NuSMV" @default.
- Q125060994 P1433 Q125060994-1F89A02B-5952-4DD1-B2A1-7CB7FA77AED3 @default.
- Q125060994 P1476 Q125060994-57C34E31-32B1-4536-8219-B83AAA0C0DE8 @default.
- Q125060994 P304 Q125060994-F1FFCA09-3EE4-4394-9F29-E4B13CD303D7 @default.
- Q125060994 P31 Q125060994-A4A9F649-6937-466D-AEF2-C60041A14893 @default.
- Q125060994 P356 Q125060994-94F09200-AF29-4C2B-80FB-634C4C84D3EB @default.
- Q125060994 P433 Q125060994-B6B9F356-C04C-4C61-8620-AE13C18D8452 @default.
- Q125060994 P478 Q125060994-E6B97693-295D-4979-AE9A-FE5C47B31C0D @default.
- Q125060994 P577 Q125060994-DC58D2D3-EA47-4D07-8DB5-E1477B9BAB01 @default.
- Q125060994 P356 KIPSTD.2003.10D.5.813 @default.
- Q125060994 P1433 Q96736920 @default.
- Q125060994 P1476 "Efficient Counterexample Generation for Game Solving in NuSMV" @default.
- Q125060994 P304 "813-820" @default.
- Q125060994 P31 Q13442814 @default.
- Q125060994 P356 "10.3745/KIPSTD.2003.10D.5.813" @default.
- Q125060994 P433 "5" @default.
- Q125060994 P478 "10D" @default.
- Q125060994 P577 "2003-08-01T00:00:00Z" @default.