awgldk
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
0004-3702(81)90015-1
0004-3702(81)90015-1
http://dx.doi.org/10.1016/0004-3702(81)90015-1
Theorem proving with abstraction
P356
Q30052608-592389BF-A64D-4AFF-A123-7F341AA0416E
P356
0004-3702(81)90015-1
http://dx.doi.org/10.1016/0004-3702(81)90015-1