DBpedia-association
/
dbpedia
/
Login
Register
TriplyDB
DBpedia
Browser
Table
SPARQL
Graphs
1
1
Services
2
2
Assets
66
66
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