Parallelizing Tableaux-Based Description Logic Reasoning + Has author
Felix Muller + Has identifier
| Felix Muller |
Foaf:firstName
Felix
Foaf:name
Felix Muller
Foaf:surname
Muller
Has given name
Felix
Has surname
Muller
Foaf:depiction
Anonymous.png +
Has identifier
Felix Muller +
Categories Person +
|