Matches in DBpedia 2015-10 for { ?s ?p <http://rdf.freebase.com/ns/m.027b81f> }
Showing triples 1 to 18 of
18
with 100 triples per page.
- Automated_proof_checker sameAs m.027b81f.
- Automated_proof_checking sameAs m.027b81f.
- Automated_proof_verifier sameAs m.027b81f.
- Automated_proof_verifiicator sameAs m.027b81f.
- Automated_theorem_check sameAs m.027b81f.
- Automated_theorem_checker sameAs m.027b81f.
- Automated_theorem_checkers sameAs m.027b81f.
- Automated_theorem_checking sameAs m.027b81f.
- Automated_theorem_verification sameAs m.027b81f.
- Automated_theorem_verificator sameAs m.027b81f.
- Automated_theorem_verifier sameAs m.027b81f.
- Automated_theorem_verifying sameAs m.027b81f.
- Proof_checker sameAs m.027b81f.
- Proof_checking sameAs m.027b81f.
- Proof_verification sameAs m.027b81f.
- Proof_verifier sameAs m.027b81f.
- Theorem_checker sameAs m.027b81f.
- Theorem_checking sameAs m.027b81f.