MikelEganaAranguren
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
6
Assets
5
Deduction_theorem?oldid=744233948
Deduction_theorem?oldid=744233948
http://en.wikipedia.org/wiki/Deduction_theorem?oldid=744233948
Deduction theorem
wasDerivedFrom
Deduction_theorem?oldid=744233948
http://en.wikipedia.org/wiki/Deduction_theorem?oldid=744233948