Matches in Wikidata for { <http://www.wikidata.org/entity/Q118123555> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- Q118123555 description "2009 nî lūn-bûn" @default.
- Q118123555 description "2009年の論文" @default.
- Q118123555 description "2009年学术文章" @default.
- Q118123555 description "2009年学术文章" @default.
- Q118123555 description "2009年学术文章" @default.
- Q118123555 description "2009年学术文章" @default.
- Q118123555 description "2009年学术文章" @default.
- Q118123555 description "2009年学术文章" @default.
- Q118123555 description "2009年學術文章" @default.
- Q118123555 description "2009年學術文章" @default.
- Q118123555 description "2009年學術文章" @default.
- Q118123555 description "2009年學術文章" @default.
- Q118123555 description "2009年學術文章" @default.
- Q118123555 description "2009년 논문" @default.
- Q118123555 description "article científic" @default.
- Q118123555 description "article scientific" @default.
- Q118123555 description "article scientifique" @default.
- Q118123555 description "articol științific" @default.
- Q118123555 description "articolo scientifico" @default.
- Q118123555 description "artigo científico" @default.
- Q118123555 description "artigo científico" @default.
- Q118123555 description "artigo científico" @default.
- Q118123555 description "artikel ilmiah" @default.
- Q118123555 description "artikull shkencor" @default.
- Q118123555 description "artikulong pang-agham" @default.
- Q118123555 description "artykuł naukowy" @default.
- Q118123555 description "artículo científico publicado en 2009" @default.
- Q118123555 description "artículu científicu" @default.
- Q118123555 description "bilimsel makale" @default.
- Q118123555 description "bài báo khoa học" @default.
- Q118123555 description "naučni članak" @default.
- Q118123555 description "scienca artikolo" @default.
- Q118123555 description "scientific article published in 2009" @default.
- Q118123555 description "scientific article published in January 2009" @default.
- Q118123555 description "scientific article published in January 2009" @default.
- Q118123555 description "teaduslik artikkel" @default.
- Q118123555 description "tieteellinen artikkeli" @default.
- Q118123555 description "tudományos cikk" @default.
- Q118123555 description "vedecký článok" @default.
- Q118123555 description "vetenskaplig artikel" @default.
- Q118123555 description "videnskabelig artikel udgivet januar 2009" @default.
- Q118123555 description "vitenskapelig artikkel" @default.
- Q118123555 description "vitskapeleg artikkel" @default.
- Q118123555 description "vědecký článek" @default.
- Q118123555 description "wetenschappelijk artikel" @default.
- Q118123555 description "wissenschaftlicher Artikel" @default.
- Q118123555 description "επιστημονικό άρθρο" @default.
- Q118123555 description "мақолаи илмӣ" @default.
- Q118123555 description "наукова стаття, опублікована в січні 2009" @default.
- Q118123555 description "научна статия" @default.
- Q118123555 description "научная статья" @default.
- Q118123555 description "научни чланак" @default.
- Q118123555 description "научни чланак" @default.
- Q118123555 description "מאמר מדעי" @default.
- Q118123555 description "مقالة بحثية نشرت في يناير 2009" @default.
- Q118123555 description "জানুয়ারি ২০০৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q118123555 description "บทความทางวิทยาศาสตร์" @default.
- Q118123555 description "სამეცნიერო სტატია" @default.
- Q118123555 name "New results on rewrite-based satisfiability procedures" @default.
- Q118123555 type Item @default.
- Q118123555 label "New results on rewrite-based satisfiability procedures" @default.
- Q118123555 prefLabel "New results on rewrite-based satisfiability procedures" @default.
- Q118123555 P1433 Q118123555-0A6D8DD6-533E-41F7-9C49-C7A0D7C04119 @default.
- Q118123555 P1476 Q118123555-4CBFCEFC-1EBF-49B3-99C0-18D24685F95D @default.
- Q118123555 P2093 Q118123555-16F075AF-E391-4336-86DB-F9B7C56E280F @default.
- Q118123555 P2093 Q118123555-6C41C088-9438-4222-BE6F-21488009B030 @default.
- Q118123555 P2093 Q118123555-9A2F4D78-A3EF-4629-9888-61E31A138FD6 @default.
- Q118123555 P2093 Q118123555-E2A1E772-D25F-49D7-A391-1BF263AB0003 @default.
- Q118123555 P304 Q118123555-D2E879F6-2243-4BE9-AB40-6EBCE080ED1D @default.
- Q118123555 P31 Q118123555-7104E28E-9996-46C6-B151-8A67B52A4267 @default.
- Q118123555 P356 Q118123555-C72BAB9C-B700-4D0A-A8D1-64A8FB9B62F3 @default.
- Q118123555 P433 Q118123555-8C85DEB6-EFB9-4FA6-B457-0168778932B4 @default.
- Q118123555 P478 Q118123555-79482486-7086-4B83-9A27-D9B6CCF235F1 @default.
- Q118123555 P577 Q118123555-9EF2EF6B-2B17-4A5A-8054-DC312D43513A @default.
- Q118123555 P6104 Q118123555-6CCDC5E7-0E5A-4EF5-ABF9-22228C7AFF05 @default.
- Q118123555 P818 Q118123555-14f76b20-6001-4f61-a881-a671ead7c07c @default.
- Q118123555 P894 Q118123555-80134644-60A8-4A96-A55D-4CBDA7EDD4F7 @default.
- Q118123555 P356 1459010.1459014 @default.
- Q118123555 P1433 Q4650732 @default.
- Q118123555 P1476 "New results on rewrite-based satisfiability procedures" @default.
- Q118123555 P2093 "Alessandro Armando" @default.
- Q118123555 P2093 "Maria Paola Bonacina" @default.
- Q118123555 P2093 "Silvio Ranise" @default.
- Q118123555 P2093 "Stephan Schulz" @default.
- Q118123555 P304 "1-51" @default.
- Q118123555 P31 Q13442814 @default.
- Q118123555 P356 "10.1145/1459010.1459014" @default.
- Q118123555 P433 "1" @default.
- Q118123555 P478 "10" @default.
- Q118123555 P577 "2009-01-01T00:00:00Z" @default.
- Q118123555 P6104 Q8487137 @default.
- Q118123555 P818 "cs/0604054" @default.
- Q118123555 P894 "1367.68243" @default.