Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Resolution_prover> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Resolution_prover wikiPageID "43815774".
- Resolution_prover wikiPageLength "54".
- Resolution_prover wikiPageOutDegree "1".
- Resolution_prover wikiPageRedirects Resolution_(logic).
- Resolution_prover wikiPageRevisionID "625392420".
- Resolution_prover wikiPageWikiLink Resolution_(logic).
- Resolution_prover wikiPageWikiLinkText "resolution prover".
- Resolution_prover wikiPageUsesTemplate Template:R_from_short_name.
- Resolution_prover label "Resolution prover".
- Resolution_prover sameAs m.07_36n.
- Resolution_prover wasDerivedFrom Resolution_prover?oldid=625392420.
- Resolution_prover isPrimaryTopicOf Resolution_prover.