Matches in DBpedia 2015-10 for { ?s ?p <http://rdf.freebase.com/ns/m.01_0xk> }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Correctness_(computer_science) sameAs m.01_0xk.
- Correctness_of_computer_programs sameAs m.01_0xk.
- Formal_proof_of_correctness sameAs m.01_0xk.
- Partial_algorithm sameAs m.01_0xk.
- Partial_correctness sameAs m.01_0xk.
- Program_correctness sameAs m.01_0xk.
- Proof_of_correctness sameAs m.01_0xk.
- Provably_correct sameAs m.01_0xk.
- Total_correctness sameAs m.01_0xk.