Matches in Wikidata for { <http://www.wikidata.org/entity/Q124819746> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- Q124819746 description "2005 nî lūn-bûn" @default.
- Q124819746 description "2005年の論文" @default.
- Q124819746 description "2005年学术文章" @default.
- Q124819746 description "2005年学术文章" @default.
- Q124819746 description "2005年学术文章" @default.
- Q124819746 description "2005年學術文章" @default.
- Q124819746 description "2005年學術文章" @default.
- Q124819746 description "2005년 논문" @default.
- Q124819746 description "article científic" @default.
- Q124819746 description "article scientific" @default.
- Q124819746 description "article scientifique" @default.
- Q124819746 description "articol științific" @default.
- Q124819746 description "articolo scientifico" @default.
- Q124819746 description "artigo científico" @default.
- Q124819746 description "artigo científico" @default.
- Q124819746 description "artigo científico" @default.
- Q124819746 description "artikel ilmiah" @default.
- Q124819746 description "artikull shkencor" @default.
- Q124819746 description "artikulong pang-agham" @default.
- Q124819746 description "artykuł naukowy" @default.
- Q124819746 description "artículo científico publicado en 2005" @default.
- Q124819746 description "artículu científicu" @default.
- Q124819746 description "bilimsel makale" @default.
- Q124819746 description "bài báo khoa học" @default.
- Q124819746 description "naučni članak" @default.
- Q124819746 description "scienca artikolo" @default.
- Q124819746 description "scientific article published in 2005" @default.
- Q124819746 description "teaduslik artikkel" @default.
- Q124819746 description "tieteellinen artikkeli" @default.
- Q124819746 description "tudományos cikk" @default.
- Q124819746 description "vedecký článok" @default.
- Q124819746 description "vetenskaplig artikel" @default.
- Q124819746 description "videnskabelig artikel udgivet februar 2005" @default.
- Q124819746 description "vitenskapelig artikkel" @default.
- Q124819746 description "vitskapeleg artikkel" @default.
- Q124819746 description "vědecký článek" @default.
- Q124819746 description "wetenschappelijk artikel" @default.
- Q124819746 description "wissenschaftlicher Artikel" @default.
- Q124819746 description "znanstveni članek" @default.
- Q124819746 description "επιστημονικό άρθρο" @default.
- Q124819746 description "мақолаи илмӣ" @default.
- Q124819746 description "наукова стаття, опублікована в лютому 2005" @default.
- Q124819746 description "научна статия" @default.
- Q124819746 description "научная статья" @default.
- Q124819746 description "научни чланак" @default.
- Q124819746 description "научни чланак" @default.
- Q124819746 description "מאמר מדעי" @default.
- Q124819746 description "مقالة بحثية نشرت في فبراير 2005" @default.
- Q124819746 description "ফেব্রুয়ারি ২০০৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124819746 description "บทความทางวิทยาศาสตร์" @default.
- Q124819746 description "სამეცნიერო სტატია" @default.
- Q124819746 name "Efficient Counterexample Generation for Safety Violation in Model Checking" @default.
- Q124819746 type Item @default.
- Q124819746 label "Efficient Counterexample Generation for Safety Violation in Model Checking" @default.
- Q124819746 prefLabel "Efficient Counterexample Generation for Safety Violation in Model Checking" @default.
- Q124819746 P1433 Q124819746-562066C4-B9A5-45AF-A05B-802DEBDB5452 @default.
- Q124819746 P1476 Q124819746-FA90F9FE-E2F7-4AC2-9022-C4F38231A29F @default.
- Q124819746 P2093 Q124819746-475ADF90-A7B3-42FC-B20A-C0925524B952 @default.
- Q124819746 P2093 Q124819746-8A144ACA-1588-48BC-B22D-38643AF3E6C1 @default.
- Q124819746 P304 Q124819746-4D6F82A3-9ABE-4AE6-8BB9-AE5C640579DF @default.
- Q124819746 P31 Q124819746-C60C7045-17F0-4923-A082-5E126D713F35 @default.
- Q124819746 P356 Q124819746-BC9960E4-B7A1-4648-84A1-3371693230C3 @default.
- Q124819746 P433 Q124819746-D8B347AA-EF81-4433-B618-26DAE237256C @default.
- Q124819746 P478 Q124819746-CB678EAE-F213-4C21-9B06-6E59EB843F87 @default.
- Q124819746 P577 Q124819746-49AFBCDD-4F32-4CEF-907F-E22E39FD7E2D @default.
- Q124819746 P356 KIPSTD.2005.12D.1.081 @default.
- Q124819746 P1433 Q96736920 @default.
- Q124819746 P1476 "Efficient Counterexample Generation for Safety Violation in Model Checking" @default.
- Q124819746 P2093 "Gi-hwon Kwon" @default.
- Q124819746 P2093 "Tae-hoon Lee" @default.
- Q124819746 P304 "81-90" @default.
- Q124819746 P31 Q13442814 @default.
- Q124819746 P356 "10.3745/KIPSTD.2005.12D.1.081" @default.
- Q124819746 P433 "1" @default.
- Q124819746 P478 "12D" @default.
- Q124819746 P577 "2005-02-01T00:00:00Z" @default.