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
Q30052608-1A23BB1D-03EA-4856-B22A-9B6BD160D93F
Q30052608-1A23BB1D-03EA-4856-B22A-9B6BD160D93F
BestRank
Statement
http://www.wikidata.org/entity/statement/Q30052608-1A23BB1D-03EA-4856-B22A-9B6BD160D93F
Theorem proving with abstraction
P2093
Q30052608-1A23BB1D-03EA-4856-B22A-9B6BD160D93F
BestRank
Statement
http://www.wikidata.org/entity/statement/Q30052608-1A23BB1D-03EA-4856-B22A-9B6BD160D93F
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
ec71755041c9bbf1aa8f61cbc7f51eff8df9e40d
P1545
1
http://www.w3.org/2001/XMLSchema#string
P2093
David A. Plaisted
http://www.w3.org/2001/XMLSchema#string