Matches in DBpedia 2015-10 for { ?s ?p <http://rdf.freebase.com/ns/m.01_bk0> }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Constructive_proof sameAs m.01_bk0.
- Existence_proof sameAs m.01_bk0.
- Existential_proof sameAs m.01_bk0.
- Non-constructive sameAs m.01_bk0.
- Non-constructive_proof sameAs m.01_bk0.
- Nonconstructive sameAs m.01_bk0.
- Nonconstructive_proof sameAs m.01_bk0.
- Proof_by_construction sameAs m.01_bk0.
- Weak_counterexample sameAs m.01_bk0.