Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328> ?p ?o }
Showing triples 1 to 18 of
18
with 100 triples per page.
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 contribution "SPASS Version 3.5".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 first1 "Christoph".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 first2 "Dilyana".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 first3 "Arnaud".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 first4 "Rohit".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 first5 "Martin".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 first6 "Patrick".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 isCitedBy SPASS.
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 last1 "Weidenbach".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 last2 "Dimova".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 last3 "Fietzke".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 last4 "Kumar".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 last5 "Suda".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 last6 "Wischnewski".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 pages "140–145".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 publisher "Springer".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 title "CADE-22: 22nd International Conference on Automated Deduction".
- 3d0ca5d7cb795b50429cc84207347ec9e4eddbe12af0159f738c4aea0bd91328 year "2009".