Matches in Wikidata for { <http://www.wikidata.org/entity/Q62040435> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- Q62040435 description "2014 nî lūn-bûn" @default.
- Q62040435 description "2014年の論文" @default.
- Q62040435 description "2014年学术文章" @default.
- Q62040435 description "2014年学术文章" @default.
- Q62040435 description "2014年学术文章" @default.
- Q62040435 description "2014年学术文章" @default.
- Q62040435 description "2014年学术文章" @default.
- Q62040435 description "2014年学术文章" @default.
- Q62040435 description "2014年學術文章" @default.
- Q62040435 description "2014年學術文章" @default.
- Q62040435 description "2014年學術文章" @default.
- Q62040435 description "2014年學術文章" @default.
- Q62040435 description "2014年學術文章" @default.
- Q62040435 description "2014년 논문" @default.
- Q62040435 description "article científic" @default.
- Q62040435 description "article scientific" @default.
- Q62040435 description "article scientifique" @default.
- Q62040435 description "articol științific" @default.
- Q62040435 description "articolo scientifico" @default.
- Q62040435 description "artigo científico" @default.
- Q62040435 description "artigo científico" @default.
- Q62040435 description "artigo científico" @default.
- Q62040435 description "artikel ilmiah" @default.
- Q62040435 description "artikull shkencor" @default.
- Q62040435 description "artikulong pang-agham" @default.
- Q62040435 description "artykuł naukowy" @default.
- Q62040435 description "artículo científico publicado en 2014" @default.
- Q62040435 description "artículu científicu" @default.
- Q62040435 description "bilimsel makale" @default.
- Q62040435 description "bài báo khoa học" @default.
- Q62040435 description "naučni članak" @default.
- Q62040435 description "scienca artikolo" @default.
- Q62040435 description "scientific article published in 2014" @default.
- Q62040435 description "scientific article published in 2014" @default.
- Q62040435 description "scientific article published in 2014" @default.
- Q62040435 description "teaduslik artikkel" @default.
- Q62040435 description "tieteellinen artikkeli" @default.
- Q62040435 description "tudományos cikk" @default.
- Q62040435 description "vedecký článok" @default.
- Q62040435 description "vetenskaplig artikel" @default.
- Q62040435 description "videnskabelig artikel" @default.
- Q62040435 description "vitenskapelig artikkel" @default.
- Q62040435 description "vitskapeleg artikkel" @default.
- Q62040435 description "vědecký článek" @default.
- Q62040435 description "wetenschappelijk artikel" @default.
- Q62040435 description "wissenschaftlicher Artikel" @default.
- Q62040435 description "επιστημονικό άρθρο" @default.
- Q62040435 description "мақолаи илмӣ" @default.
- Q62040435 description "наукова стаття, опублікована у 2014" @default.
- Q62040435 description "научна статия" @default.
- Q62040435 description "научная статья" @default.
- Q62040435 description "научни чланак" @default.
- Q62040435 description "научни чланак" @default.
- Q62040435 description "מאמר מדעי" @default.
- Q62040435 description "مقالة علمية نشرت في 2014" @default.
- Q62040435 description "২০১৪-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62040435 description "บทความทางวิทยาศาสตร์" @default.
- Q62040435 description "სამეცნიერო სტატია" @default.
- Q62040435 name "Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)" @default.
- Q62040435 name "Counterexample to Induction-Guided Abstraction-Refinement" @default.
- Q62040435 type Item @default.
- Q62040435 label "Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)" @default.
- Q62040435 label "Counterexample to Induction-Guided Abstraction-Refinement" @default.
- Q62040435 prefLabel "Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)" @default.
- Q62040435 prefLabel "Counterexample to Induction-Guided Abstraction-Refinement" @default.
- Q62040435 P1433 Q62040435-8A1DA67B-1C06-4A6E-A826-992D6250B1FA @default.
- Q62040435 P1476 Q62040435-A2CB7A8E-F0E6-46D7-975C-174909F04D2C @default.
- Q62040435 P2093 Q62040435-599B9B22-EFB7-4FCA-85ED-F82D02F3BDCE @default.
- Q62040435 P2093 Q62040435-8014B43B-B6C5-4760-947F-C35557B67896 @default.
- Q62040435 P2860 Q62040435-180BDF59-D08C-4937-9275-29D6EFE03085 @default.
- Q62040435 P2860 Q62040435-23D93F3F-3DA9-41C4-BDDE-2834C78504F3 @default.
- Q62040435 P2860 Q62040435-6DC3E1F1-1F57-4E52-8B84-35EDD875973E @default.
- Q62040435 P2860 Q62040435-7B5FF8D0-2205-4389-BA2D-4956ED91B33F @default.
- Q62040435 P2860 Q62040435-CB95D4B0-3E7D-43FB-9A57-D2A3E1AB6A56 @default.
- Q62040435 P304 Q62040435-5FE69D80-A04B-4110-B649-847C8B2BC0CC @default.
- Q62040435 P31 Q62040435-2CFEB11E-13DA-49A6-9200-F9AE470EB083 @default.
- Q62040435 P356 Q62040435-D1A31A3D-6B9B-4584-AF3E-850DB73CA168 @default.
- Q62040435 P407 Q62040435-E8363FC2-D389-4584-968A-6B0455403B8C @default.
- Q62040435 P50 Q62040435-0B8601DC-8162-41BD-9291-8FBD7523FE1E @default.
- Q62040435 P577 Q62040435-4CD74C93-B86C-4C31-ABFB-A745A01CF8B6 @default.
- Q62040435 P8978 Q62040435-DE40D2FC-F4C5-4CA0-8658-73E8B6467C92 @default.
- Q62040435 P356 978-3-319-08867-9_55 @default.
- Q62040435 P8978 BirgmeierBW14 @default.
- Q62040435 P1433 Q924044 @default.
- Q62040435 P1476 "Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)" @default.
- Q62040435 P2093 "Aaron R. Bradley" @default.
- Q62040435 P2093 "Johannes Birgmeier" @default.
- Q62040435 P2860 Q56225930 @default.
- Q62040435 P2860 Q62041146 @default.
- Q62040435 P2860 Q62041183 @default.
- Q62040435 P2860 Q62041196 @default.
- Q62040435 P2860 Q62041309 @default.
- Q62040435 P304 "831-848" @default.
- Q62040435 P31 Q13442814 @default.
- Q62040435 P356 "10.1007/978-3-319-08867-9_55" @default.
- Q62040435 P407 Q1860 @default.
- Q62040435 P50 Q62036599 @default.
- Q62040435 P577 "2014-01-01T00:00:00Z" @default.
- Q62040435 P8978 "conf/cav/BirgmeierBW14" @default.