Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Otter_(theorem_prover)> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Otter_(theorem_prover) wikiPageID "265263".
- Otter_(theorem_prover) wikiPageLength "33".
- Otter_(theorem_prover) wikiPageOutDegree "1".
- Otter_(theorem_prover) wikiPageRedirects Prover9.
- Otter_(theorem_prover) wikiPageRevisionID "705994359".
- Otter_(theorem_prover) wikiPageWikiLink Prover9.
- Otter_(theorem_prover) wikiPageWikiLinkText "Otter (theorem prover)".
- Otter_(theorem_prover) wikiPageWikiLinkText "Otter".
- Otter_(theorem_prover) label "Otter (theorem prover)".
- Otter_(theorem_prover) sameAs Q7109350.
- Otter_(theorem_prover) sameAs Q7109350.
- Otter_(theorem_prover) wasDerivedFrom Otter_(theorem_prover)?oldid=705994359.
- Otter_(theorem_prover) isPrimaryTopicOf Otter_(theorem_prover).