Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Conference_on_automated_deduction> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Conference_on_automated_deduction wikiPageID "23372778".
- Conference_on_automated_deduction wikiPageRedirects Conference_on_Automated_Deduction.
- Conference_on_automated_deduction wikiPageRevisionID "298388127".
- 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.