Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Conference_on_automated_deduction> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Conference_on_automated_deduction wikiPageID "23372778".
- Conference_on_automated_deduction wikiPageLength "79".
- Conference_on_automated_deduction wikiPageOutDegree "1".
- Conference_on_automated_deduction wikiPageRedirects Conference_on_Automated_Deduction.
- Conference_on_automated_deduction wikiPageRevisionID "298388127".
- Conference_on_automated_deduction wikiPageWikiLink Conference_on_Automated_Deduction.
- Conference_on_automated_deduction wikiPageUsesTemplate Template:R_from_other_capitalisation.
- Conference_on_automated_deduction type Redirect.
- Conference_on_automated_deduction label "Conference on automated deduction".
- Conference_on_automated_deduction sameAs m.07g2vn.
- Conference_on_automated_deduction wasDerivedFrom Conference_on_automated_deduction?oldid=298388127.
- Conference_on_automated_deduction isPrimaryTopicOf Conference_on_automated_deduction.