MikelEganaAranguren
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
5
5
Insights
Schema
BETA
Class frequency
Class hierarchy
Labelled_Deductive_Systems
Labelled_Deductive_Systems
http://dbpedia.org/resource/Labelled_Deductive_Systems
Dov Gabbay
known for
Labelled_Deductive_Systems
http://dbpedia.org/resource/Labelled_Deductive_Systems