Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/First-order_theorem_provers> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- First-order_theorem_provers wikiPageID "2102310".
- First-order_theorem_provers wikiPageLength "39".
- First-order_theorem_provers wikiPageOutDegree "1".
- First-order_theorem_provers wikiPageRedirects Automated_theorem_proving.
- First-order_theorem_provers wikiPageRevisionID "17711418".
- First-order_theorem_provers wikiPageWikiLink Automated_theorem_proving.
- First-order_theorem_provers wikiPageWikiLinkText "First-order theorem provers".
- First-order_theorem_provers wikiPageWikiLinkText "first-order theorem provers".
- First-order_theorem_provers label "First-order theorem provers".
- First-order_theorem_provers sameAs m.0_8m.
- First-order_theorem_provers wasDerivedFrom First-order_theorem_provers?oldid=17711418.
- First-order_theorem_provers isPrimaryTopicOf First-order_theorem_provers.