Data Portal @ linkeddatafragments.org
DBpedia 2014
Search DBpedia 2014 by triple pattern
subject
predicate
object
Matches in DBpedia 2014 for
{ ?s ?p <http://dbpedia.org/class/yago/MethodsOfProof> . }
Showing items 1 to 7 of
7
with
100
items per page.
Case_analysis
type
MethodsOfProof
.
Conditional_proof
type
MethodsOfProof
.
Method_of_analytic_tableaux
type
MethodsOfProof
.
Natural_deduction
type
MethodsOfProof
.
Proof_by_contradiction
type
MethodsOfProof
.
Proof_by_contrapositive
type
MethodsOfProof
.
Proof_by_exhaustion
type
MethodsOfProof
.
