Matches in DBpedia 2015-10 for { ?s ?p <http://rdf.freebase.com/ns/m.0_8m> }
Showing triples 1 to 16 of
16
with 100 triples per page.
- Automated_deduction sameAs m.0_8m.
- Automated_prover sameAs m.0_8m.
- Automated_theorem_prover sameAs m.0_8m.
- Automated_theorem_provers sameAs m.0_8m.
- Automated_theorem_proving sameAs m.0_8m.
- Automatic_proof_system sameAs m.0_8m.
- Automatic_theorem_prover sameAs m.0_8m.
- Automatic_theorem_proving sameAs m.0_8m.
- Automating_theorem_proving sameAs m.0_8m.
- First-order_theorem_provers sameAs m.0_8m.
- Formalized_theorem_proving sameAs m.0_8m.
- Proof_assistent sameAs m.0_8m.
- Theorem-prover sameAs m.0_8m.
- Theorem-proving_system sameAs m.0_8m.
- Theorem-proving_systems sameAs m.0_8m.
- Theorem_proving sameAs m.0_8m.