Matches in Wikidata for { <http://www.wikidata.org/entity/Q124982279> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- Q124982279 description "2004 nî lūn-bûn" @default.
- Q124982279 description "2004年の論文" @default.
- Q124982279 description "2004年学术文章" @default.
- Q124982279 description "2004年学术文章" @default.
- Q124982279 description "2004年学术文章" @default.
- Q124982279 description "2004年學術文章" @default.
- Q124982279 description "2004年學術文章" @default.
- Q124982279 description "2004년 논문" @default.
- Q124982279 description "article científic" @default.
- Q124982279 description "article scientific" @default.
- Q124982279 description "article scientifique" @default.
- Q124982279 description "articol științific" @default.
- Q124982279 description "articolo scientifico" @default.
- Q124982279 description "artigo científico" @default.
- Q124982279 description "artigo científico" @default.
- Q124982279 description "artigo científico" @default.
- Q124982279 description "artikel ilmiah" @default.
- Q124982279 description "artikull shkencor" @default.
- Q124982279 description "artikulong pang-agham" @default.
- Q124982279 description "artykuł naukowy" @default.
- Q124982279 description "artículo científico publicado en 2004" @default.
- Q124982279 description "artículu científicu" @default.
- Q124982279 description "bilimsel makale" @default.
- Q124982279 description "bài báo khoa học" @default.
- Q124982279 description "naučni članak" @default.
- Q124982279 description "scienca artikolo" @default.
- Q124982279 description "scientific article published in 2004" @default.
- Q124982279 description "teaduslik artikkel" @default.
- Q124982279 description "tieteellinen artikkeli" @default.
- Q124982279 description "tudományos cikk" @default.
- Q124982279 description "vedecký článok" @default.
- Q124982279 description "vetenskaplig artikel" @default.
- Q124982279 description "videnskabelig artikel udgivet juli 2004" @default.
- Q124982279 description "vitenskapelig artikkel" @default.
- Q124982279 description "vitskapeleg artikkel" @default.
- Q124982279 description "vědecký článek" @default.
- Q124982279 description "wetenschappelijk artikel" @default.
- Q124982279 description "wissenschaftlicher Artikel" @default.
- Q124982279 description "znanstveni članek" @default.
- Q124982279 description "επιστημονικό άρθρο" @default.
- Q124982279 description "мақолаи илмӣ" @default.
- Q124982279 description "наукова стаття, опублікована в липні 2004" @default.
- Q124982279 description "научна статия" @default.
- Q124982279 description "научная статья" @default.
- Q124982279 description "научни чланак" @default.
- Q124982279 description "научни чланак" @default.
- Q124982279 description "מאמר מדעי" @default.
- Q124982279 description "مقالة بحثية نشرت في يوليو 2004" @default.
- Q124982279 description "জুলাই ২০০৪-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124982279 description "บทความทางวิทยาศาสตร์" @default.
- Q124982279 description "სამეცნიერო სტატია" @default.
- Q124982279 name "SAT-Based Counterexample-Guided Abstraction Refinement" @default.
- Q124982279 type Item @default.
- Q124982279 label "SAT-Based Counterexample-Guided Abstraction Refinement" @default.
- Q124982279 prefLabel "SAT-Based Counterexample-Guided Abstraction Refinement" @default.
- Q124982279 P1433 Q124982279-3EFDB67E-3C60-4F6F-B37B-BCE0BA3465B0 @default.
- Q124982279 P1476 Q124982279-A4F1274C-BE4C-4622-8B8E-780C799971A6 @default.
- Q124982279 P2093 Q124982279-3150CCBC-A586-41C7-A78B-11EE84C1C824 @default.
- Q124982279 P2093 Q124982279-A739E5C2-E5C5-4CE4-8BC4-A8B8A73562D4 @default.
- Q124982279 P2093 Q124982279-BA758D26-4BC0-48AC-B97F-185BCB5484B4 @default.
- Q124982279 P304 Q124982279-3B8EDC84-C726-47C4-96DE-E96978A64823 @default.
- Q124982279 P31 Q124982279-B47744DE-D296-430E-ABE6-D55872B4D422 @default.
- Q124982279 P356 Q124982279-99E15641-6D34-4417-885A-449BA2FF9BD6 @default.
- Q124982279 P433 Q124982279-EC1C3DC1-94AC-4CD6-9052-0A41F67D6918 @default.
- Q124982279 P478 Q124982279-32C85E9E-F8EA-4F20-8ECF-B6FFB492DE19 @default.
- Q124982279 P577 Q124982279-302E2F9E-6F81-431B-9E07-2ADA5F88FBC5 @default.
- Q124982279 P356 TCAD.2004.829807 @default.
- Q124982279 P1433 Q5970503 @default.
- Q124982279 P1476 "SAT-Based Counterexample-Guided Abstraction Refinement" @default.
- Q124982279 P2093 "A. Gupta" @default.
- Q124982279 P2093 "E. Clarke" @default.
- Q124982279 P2093 "O. Strichman" @default.
- Q124982279 P304 "1113-1123" @default.
- Q124982279 P31 Q13442814 @default.
- Q124982279 P356 "10.1109/TCAD.2004.829807" @default.
- Q124982279 P433 "7" @default.
- Q124982279 P478 "23" @default.
- Q124982279 P577 "2004-07-01T00:00:00Z" @default.