Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Franz_Baader> }
Showing triples 1 to 24 of
24
with 100 triples per page.
- Ulrike_Sattler doctoralAdvisor Franz_Baader.
- Academic_genealogy_of_computer_scientists wikiPageWikiLink Franz_Baader.
- Christoph_Walther wikiPageWikiLink Franz_Baader.
- Conference_on_Automated_Deduction wikiPageWikiLink Franz_Baader.
- Confluence_(abstract_rewriting) wikiPageWikiLink Franz_Baader.
- Critical_pair_(logic) wikiPageWikiLink Franz_Baader.
- Description_logic wikiPageWikiLink Franz_Baader.
- List_of_people_by_Erdős_number wikiPageWikiLink Franz_Baader.
- Reflexive_closure wikiPageWikiLink Franz_Baader.
- Symmetric_closure wikiPageWikiLink Franz_Baader.
- Tobias_Nipkow wikiPageWikiLink Franz_Baader.
- Ulrike_Sattler wikiPageWikiLink Franz_Baader.
- Unification_(computer_science) wikiPageWikiLink Franz_Baader.
- Wayne_Snyder wikiPageWikiLink Franz_Baader.
- UnifChapter.pdf author Franz_Baader.
- books?vid=ISBN0-521-77920-0 author1 Franz_Baader.
- books?vid=ISBN978-0-521-77920-3 author1 Franz_Baader.
- Ulrike_Sattler doctoralAdvisor Franz_Baader.
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 editor1 Franz_Baader.
- Brandt-PhD-2006.pdf isCitedBy Franz_Baader.
- Sattler-diss.ps.gz isCitedBy Franz_Baader.
- books?vid=ISBN978-0-521-78176-3 isCitedBy Franz_Baader.
- books?vid=ISBN978-3-540-25236-8 isCitedBy Franz_Baader.
- Franz_Baader primaryTopic Franz_Baader.